Static Value-Flow Analysis Framework for Source Code
[LLVM Static Slicer] Various program analyses, construction of dependenc...
A declarative static analysis tool for jvm bytecode based Datalog like C...
Static program analysis for TIP
Efficient and Precise Pointer-Tracking Data-Flow Framework