摘要：
转载请注明出处：https://www.cnblogs.com/linkJ/ 阅读全文
随笔档案-2018年09月
KLEE概览
2018-09-04 16:01 by huhee, 3117 阅读, 收藏,
摘要：
klee是什么 klee是通过对llvm bitcode进行解释以实现符号执行的工具。它通过插入函数调用（klee_make_symbolic）对内存进行符号化。并且会跟踪符号内存的使用，并收集使用这些符号内存的约束。如果有使用前面符号内存的其他内存，那么该内存也将会被符号化。当遇到一个使用符号化内 阅读全文
浙公网安备 33010602011771号