klee KLEE符号执行引擎.zip
klee, KLEE符号执行引擎 KLEE符号虚拟机 KLEE 是构建在LLVM编译器基础之上的一个符号虚拟机。 目前,主要有两个组件:核心符号虚拟机引擎;负责执行带有符号值支持的LLVM位码模块。 这由 lib/中的代码组成。面向支持of的posix/li
文件列表
klee, KLEE符号执行引擎.zip
(预估有个715文件)
klee-replay.c
13KB
file-creator.c
14KB
floating_point_ops_constant.c
4KB
integer_ops_constant.c
5KB
test-mix.c
7KB
test_nier.c
12KB
FunctionAlias.c
5KB
_utils._ll
2KB
pcregrep.c
700KB
stubs.c
16KB
暂无评论