T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
A new version of Soot with a completely overhauled architecture
use asm to parse classNode then get method invoke relations.解析获得方法调用链路
Static source code analyzer that extracts an interprocedural dataflow graph from Java source code.
A fluent interface for defining and computing typestate analyses
Java Analyzer: mirrored from https://github.com/Leehwajung/JavaAnalyzer.git
Whole-program static analyzer that computes immutability, modification and independence for Java and Kotlin.
Complete, tested implementations of all 8 NJU 'Static Program Analysis' assignments on the Tai-e framework (dataflow, CHA, pointer & taint analysis) — 65/65 tests passing
To associate your repository with the dataflow-analysis topic, visit your repo's landing page and select "manage topics."