Jia Chunpeng (jiachunpeng)

jiachunpeng

Geek Repo

0

followers

0

following

Github PK Tool:Github PK Tool

Jia Chunpeng's repositories

dg

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

Language:C++License:MITStargazers:0Issues:0Issues:0

klee

KLEE Symbolic Execution Engine

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

SVF

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

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