项目描述 ：
KLEE Symbolic Execution Engine

高级语言： C++

项目主页： http://klee.github.io/

项目地址: git://github.com/klee/klee.git

创建时间： 2013-07-21T22:03:03Z
项目社区：https://github.com/klee/klee
开源协议：Other
下载