Beast code in Giters

Jia Chunpeng's repositories

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

Language:C++MIT000

KLEE Symbolic Execution Engine

Language:C++NOASSERTION000

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

Language:CNOASSERTION010