Static Value-Flow Analysis Framework for Source Code
C++ 1.49 k
10 天前
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
C++ 496
1 年前
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
Shell 333
1 年前
Static program analysis for TIP
Scala 286
2 年前
Teaching and Learning Software Analysis via SVF
C++ 197
7 天前
Efficient and Precise Pointer-Tracking Data-Flow Framework
Java 40
4 年前
Static analysis framework for .NET programs.
C# 29
4 年前
#算法刷题#Anderson points-to analysis implementation based on LLVM
C++ 12
4 年前
Java 1
2 年前
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.
Python 0
4 年前