Pointer Analysis Collection

◆

◆

◆

◆

🔥Fire

★★

“Static Value-Flow Analysis Framework for Source Code”

◆

◆

◆

◆

⚡Thunder

★★

“T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.”

◆

◆

◆

◆

🔥Fire

★★

“[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.”

◆

◆

◆

◆

🌊Water

★

“Chronos - A static race detector for the go language”

◆

◆

◆

◆

🔥Fire

★

“Static program analysis for TIP”

◆

◆

◆

◆

⚡Thunder

★

“The official repo of Doop, the declarative pointer analysis framework.”

◆

◆

◆

◆

🔥Fire

★

“A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.”

◆

◆

◆

◆

🔥Fire

★

“cclyzer++ is a precise and scalable pointer analysis for LLVM code.”

◆

◆

◆

◆

🔥Fire

★

“A tool for analyzing LLVM bitcode using Datalog.”

◆

◆

◆

◆

🔮Psychic

★

“Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale”

◆

◆

◆

◆

⚔️Fighting

★

“A precise and scalable pointer analysis for LLVM, written in Ascent”