Geek Repo
followers
following
stars
Github PK Tool:Github PK Tool
KLEE Symbolic Execution Engine
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Pointer Analysis and Program Dependence Analysis for C and C++ Programs