klee, KLEE符号执行引擎.zip

时间:2022-10-08 00:08:12
【文件属性】:

文件名称:klee, KLEE符号执行引擎.zip

文件大小:1.26MB

文件格式:ZIP

更新时间:2022-10-08 00:08:12

开源

klee, KLEE符号执行引擎 KLEE符号虚拟机 KLEE 是构建在LLVM编译器基础之上的一个符号虚拟机。 目前,主要有两个组件:核心符号虚拟机引擎;负责执行带有符号值支持的LLVM位码模块。 这由 lib/中的代码组成。面向支持of的posix/li


网友评论