jiachunpeng

Pinned Repositories

dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Language:C++00
klee
KLEE Symbolic Execution Engine
Language:C++00
SVF
Pointer Analysis and Program Dependence Analysis for C and C++ Programs
Language:C0 1 00

jiachunpeng's Repositories

jiachunpeng/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Language:C++00
jiachunpeng/klee
KLEE Symbolic Execution Engine
Language:C++00
jiachunpeng/SVF
Pointer Analysis and Program Dependence Analysis for C and C++ Programs
Language:C0 1 00