liushengahn

Student

BUPTChina

Pinned Repositories

aflgo
Directed Greybox Fuzzing with AFL
Language:C515 21 120139
symcc
SymCC: efficient compiler-based symbolic execution
Language:C++793 26 95141
libming
SWF output library
Language:C107 8 27542
CPlusPlusThings
C++那些事
Language:C++0 0 00
LLVM-Cookbook
Language:C++1 1 00
SVF
Static Value-Flow Analysis Framework for Source Code
Language:C++0 0 00
SymCC
Language:C++0 1 00
dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Language:C++489 20 301135
doop
The official repo of Doop, the declarative pointer analysis framework.
Language:Java168 11 1122
SVF
Static Value-Flow Analysis Framework for Source Code
Language:C++1.5k 56 611439

liushengahn's Repositories

liushengahn/LLVM-Cookbook
Language:C++1 1 00
liushengahn/CPlusPlusThings
C++那些事
Language:C++0 0 00
liushengahn/SVF
Static Value-Flow Analysis Framework for Source Code
Language:C++0 0 00
liushengahn/SymCC
Language:C++0 1 00