[Program Analysis] Soundiness and soundness

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

1. One solution: String Constant analysis + Pointer Analysis
   
2. List and Array propagation
   
   

JNI Call

1. One Solution: Transcode from C to Java
2. scanning on the binary