I dunno if sdcclib only works with sdcc compiled libraries but it might work on your .lib file.I know that for sdcc compiled stuff it gives the module names in the libraries and various bits of info which might help.