项目描述 ：
A framework for user-guided symbolic execution (with visualization) of LLVM Bitcode. A demo of the project can be viewed at https://www.youtube.com/watch?v=0VNe4BjjF90

高级语言： C++

项目主页：

项目地址: git://github.com/shalan12/UserGuided-SymbolicExecution.git

创建时间： 2015-06-16T18:02:07Z
项目社区：https://github.com/shalan12/UserGuided-SymbolicExecution
开源协议：
下载