Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: points-to-analysis
SVF-tools/SVF
Static Value-Flow Analysis Framework for Source Code
Language: C++ - Size: 17.9 MB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 1,311 - Forks: 418
SVF-tools/Teaching-Software-Analysis
Teaching and Learning Software Analysis via SVF
Language: C++ - Size: 28.6 MB - Last synced: 9 days ago - Pushed: 10 days ago - Stars: 179 - Forks: 110
CROSSINGTUD/SPDS 📦
Efficient and Precise Pointer-Tracking Data-Flow Framework
Language: Java - Size: 79.3 MB - Last synced: 27 days ago - Pushed: almost 3 years ago - Stars: 39 - Forks: 38
cs-au-dk/TIP
Static program analysis for TIP
Language: Scala - Size: 3.03 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 270 - Forks: 120
mchalupa/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Language: C++ - Size: 5.72 MB - Last synced: 3 months ago - Pushed: 6 months ago - Stars: 456 - Forks: 137
BytecodeDL/ByteCodeDL
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
Language: Shell - Size: 840 KB - Last synced: 3 months ago - Pushed: 5 months ago - Stars: 295 - Forks: 19
edgardozoppi/analysis-net
Static analysis framework for .NET programs.
Language: C# - Size: 2.33 MB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 19 - Forks: 14
thepalbi/souffle-points-to-analysis
Souffle + Soot points to analysis
Language: Java - Size: 98.6 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
Lancern/llvm-anderson
Anderson points-to analysis implementation based on LLVM
Language: C++ - Size: 132 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 9 - Forks: 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.
Language: Python - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0