klee, KLEE符号执行引擎.zip

【文件属性】：

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

文件大小：1.26MB

文件格式：ZIP

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

开源

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