Pinned Repositories
jiachunpeng's Repositories
jiachunpeng/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
jiachunpeng/klee
KLEE Symbolic Execution Engine
jiachunpeng/SVF
Pointer Analysis and Program Dependence Analysis for C and C++ Programs