SVF-tools / SVF Star 1.3k Code Issues Pull requests Static Value-Flow Analysis Framework for Source Code llvm static-analysis dependency-analysis code-analysis static-analyzer pointer-analysis points-to-analysis source-code-analysis code-security static-value-flow Updated Jun 25, 2024 C++
mchalupa / dg Star 474 Code Issues Pull requests [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode. analysis static-code-analysis llvm static-analysis dependency-graph slice static-analyzer program-analysis llvm-bitcode llvm-slicer dependence-graph reaching-definitions pointer-analysis slicing llvm-ir points-to-analysis data-dependency control-dependency backward-slicing backward-slice Updated Nov 29, 2023 C++
SVF-tools / Teaching-Software-Analysis Star 179 Code Issues Pull requests Teaching and Learning Software Analysis via SVF course static-analysis software-analysis taint-analysis points-to-analysis information-flow Updated May 28, 2024 C++
Lancern / llvm-anderson Star 12 Code Issues Pull requests Anderson points-to analysis implementation based on LLVM algorithm llvm static-analysis program-analysis pointer-analysis llvm-ir points-to-analysis llvm-anderson Updated Jan 3, 2021 C++