Jia Chunpeng (jiachunpeng)

jiachunpeng

Geek Repo

0

followers

0

following

Github PK Tool:Github PK Tool

Jia Chunpeng's repositories

klee

KLEE Symbolic Execution Engine

License:NOASSERTIONStargazers:0Issues:0Issues:0

dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

License:MITStargazers:0Issues:0Issues:0

SVF

Pointer Analysis and Program Dependence Analysis for C and C++ Programs

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0