points-to-analysis

There are 0 repository under points-to-analysis topic.

SVF-tools / SVF
Static Value-Flow Analysis Framework for Source Code
static-analysis static-value-flow source-code-analysis code-security pointer-analysis llvm dependency-analysis code-analysis points-to-analysis static-analyzer
Language:C++ 1291
mchalupa / dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
analysis backward-slice backward-slicing control-dependency data-dependency dependence-graph dependency-graph llvm llvm-bitcode llvm-ir llvm-slicer pointer-analysis points-to-analysis program-analysis reaching-definitions slice slicing static-analysis static-analyzer static-code-analysis
Language:C++ 466
BytecodeDL / ByteCodeDL
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
static-analysis security-tools sast points-to-analysis taint-analysis
Language:Shell 306
cs-au-dk / TIP
Static program analysis for TIP
static-analyzer points-to-analysis program-analysis pointer-analysis static-code-analysis
Language:Scala 271
SVF-tools / Teaching-Software-Analysis
Teaching and Learning Software Analysis via SVF
software-analysis static-analysis information-flow taint-analysis course points-to-analysis
Language:C++ 177
CROSSINGTUD / SPDS
Efficient and Precise Pointer-Tracking Data-Flow Framework
static-analysis java points-to-analysis weighted-pushdown-systems pushdown-automaton typestate-analysis
Language:Java 38
edgardozoppi / analysis-net
Static analysis framework for .NET programs.
static-code-analysis net-framework control-flow-analysis static-single-assignment ssa cil bytecode three-address-code data-flow-analysis api dotnet library framework c-sharp visual-basic points-to-analysis call-graph-analysis analysis static-analysis backend
Language:C# 27
Lancern / llvm-anderson
Anderson points-to analysis implementation based on LLVM
llvm llvm-ir points-to-analysis program-analysis static-analysis pointer-analysis llvm-anderson algorithm
Language:C++ 12
thepalbi / souffle-points-to-analysis
Souffle + Soot points to analysis
soot souffle points-to-analysis
Language:Java 1
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.
cpp python game points-to-analysis rock-paper-scissors
Language:Python 0