#

points-to-analysis

Here are 4 public repositories matching this topic...

SVF-tools / SVF

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 Mar 3, 2025
C++

mchalupa / dg

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

Updated Nov 29, 2023
C++

SVF-tools / Teaching-Software-Analysis

Teaching and Learning Software Analysis via SVF

course static-analysis software-analysis taint-analysis points-to-analysis information-flow

Updated Mar 6, 2025
C++

Lancern / llvm-anderson

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++

Improve this page

Add a description, image, and links to the points-to-analysis topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the points-to-analysis topic, visit your repo's landing page and select "manage topics."