Tool to determine if all Java bytecode dependencies are properly satisfied

[Ross Goldberg]

Is there any tool that, for a list of jars (and/or class files), reports
when any Java bytecode dependencies are not satisfied either from those
jars and/or classes, or from jars and/or classes on a class path or module
path (e.g., missing types, methods, constructors, and/or fields)?

Obviously, a compiler does this for source, but I want it for bytecode.  I
want to determine which versions of third-party jars are signature
compatible with my jars.

If any such tools exist, are any smart / flexile enough to handle code
generated from annotations, and/or reflection based on statically-known
information (e.g., using a constant String for reflection)?

Thanks.