Static Value-Flow Analysis Framework for Source Code
-
Updated
Sep 3, 2024 - C++
Static Value-Flow Analysis Framework for Source Code
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
Static program analysis for TIP
Teaching and Learning Software Analysis via SVF
Efficient and Precise Pointer-Tracking Data-Flow Framework
Static analysis framework for .NET programs.
Anderson points-to analysis implementation based on LLVM
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.
Add a description, image, and links to the points-to-analysis topic page so that developers can more easily learn about it.
To associate your repository with the points-to-analysis topic, visit your repo's landing page and select "manage topics."