Klee-test:为我的研究测试克利

克利测试 学习和测试克利 从 xyj 复制安装脚本 *** 测试 klee 的基准 *** 1. for_test: if the loop condition is symbolic, the symbolic execution will result 16 testcases, include 0-0x10 and 0x7fffffff. but exclude 0x2,0x3 2. *** 有些是指 **** 1. https://www.cs.purdue.edu/homes/kim1051/cs490/proj3/description.html * test gnupg by klee, how to compile it into one bc file. * how to use lcov * check a memory leak by klee, whi