In defense to a situation where no program analysis in the program is soundness, so given term soundness for that program claims that they can cover most cases.
Reflection in Java
First on Java reflection: Class + Method + Field Metaobject
- One solution: String Constant analysis + Pointer Analysis
- List and Array propagation
- One Solution: Transcode from C to Java
- scanning on the binary