points-to-analysis topic

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

mchalupa

Static program analysis for TIP

cs-au-dk

Static Value-Flow Analysis Framework for Source Code

SVF-tools

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

BytecodeDL

Teaching and Learning Software Analysis via SVF

SVF-tools

Static analysis framework for .NET programs.

edgardozoppi

Efficient and Precise Pointer-Tracking Data-Flow Framework

CROSSINGTUD