Dependency Recovery

[HongshuW]

Implementation Problems:

1. Data Dependency (Constructor not instrumented). Example: Codec 16.
2. Control Dependency (Try-Catch-Finally). Example: JacksonDatabind 4.

Research Problem: Some libraries in Java are utilised as blackboxes. e.g.: Java Built-in classes, C++ libraries, native library etc. Recover dependencies without knowing the details of blackboxes. Example: Codec 16. Array.length not captured as read variable.