Ok, first you need to establish if this is a GPL or an LGPL. These two are often confused but are quite different.
If a library is GPL, then yes, the resulting combined work must be licensed under terms compatible with the GPL, meaning that the source is available under all of the terms of the GPL with NO added restrictions.
If the library is LGPL, then you are entitled to the source code of any changes made to the library AND the binary must be presented in a way that you could relink the library where you to recompile that library (so depending on the OS, something like object files and headers or whatever). LGPL is specifically designed to allow proprietry software to link with it without letting the proprietary software vendor hide their modifications to the library from you.
Now, assuming you DO have a GPL violations on your hands, that doesn't automatically grant you the right to the code however. Its up to the copyright holder to pursue the violation of their copy rights. You could certainly try to ask for it, you'd be doing the world a favor if you did, and many vendors will go "whoops, looks like we forgot to put out the source" (A recurring theme with hardware embeddings) but if they refuse, your best bet is to contact the owners of the GPL code and report the violation to them. At that point ,they can choose to either pursue it, get lawyers involved, or contact someone like the FSF for help in resolving it. Unfortunately as you probably dont have juristiction (its not your copyright being violated) you probably dont have legal grounds for injunctory relief.
note: I'm not a lawyer, this isnt legal advice.