qingmuAdore/accrue-bytecode
Interprocedural Java byte code analysis framework together with several analyses. Notably includes a multi-threaded points-to analysis (flow-sensitive and flow-insensitive) and a PDG construction analysis.
Java
No issues in this repository yet.