Points To Analysis Collection

◆

◆

◆

◆

🔥Fire

★★

“Static Value-Flow Analysis Framework for Source Code”

◆

◆

◆

◆

🔥Fire

★★

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

◆

◆

◆

◆

💻Normal

★

“A declarative static analysis tool for jvm bytecode based Datalog like CodeQL”

◆

◆

◆

◆

🔥Fire

★

“Static program analysis for TIP”

◆

◆

◆

◆

🔥Fire

★

“Teaching and Learning Software Analysis via SVF”