Repositories tagged with "points-to-analysis"
SVF
SVF-tools
โStatic Value-Flow Analysis Framework for Source Codeโ
dg
mchalupa
โ[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.โ
ByteCodeDL
BytecodeDL
โA declarative static analysis tool for jvm bytecode based Datalog like CodeQLโ
TIP
cs-au-dk
โStatic program analysis for TIPโ
Software-Analysis-Studio
โTeaching and Learning Software Analysis via SVFโ