points-to-analysis

There are 10 repositories under points-to-analysis topic.

SVF-tools/SVF
Static Value-Flow Analysis Framework for Source Code
Language:C++1.4k 57 596435
mchalupa/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Language:C++484 20 299135
BytecodeDL/ByteCodeDL
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
Language:Shell327 7 218
cs-au-dk/TIP
Static program analysis for TIP
Language:Scala281 24 13125
SVF-tools/Teaching-Software-Analysis
Teaching and Learning Software Analysis via SVF
Language:C++194 24 8116
CROSSINGTUD/SPDS
Efficient and Precise Pointer-Tracking Data-Flow Framework
Language:Java41 8 4237
edgardozoppi/analysis-net
Static analysis framework for .NET programs.
Language:C#28 4 815
Lancern/llvm-anderson
Anderson points-to analysis implementation based on LLVM
Language:C++12 3 01
thepalbi/souffle-points-to-analysis
Souffle + Soot points to analysis
Language:Java1 2 00
gustavoerivero/-Rock-Paper-Scissors-Game
The classic 'Rock, Paper, Scissors' game with a little more difficulty than a regular randomizer. This game is available in two versions; C++ and Python.
Language:Python0 1 00