A framework for data-flow based program analysis, implemented as a set of Java APIs. By using this framework, researchers and developers can easily implement analyses, test their correctness, and evaluate their performance. In addition, the framework all
There are no reported vulnerabilities
30 Day SummaryJan 8 2025 — Feb 7 2025
|
12 Month SummaryFeb 7 2024 — Feb 7 2025
|