klee错误汇报二：KLEE的optimize选项的一个困惑

问题已经提交github：https://github.com/klee/klee/issues/650 在一个对命令行参数进行建模的符号执行过程中，添加optimize选项与不添加optimize选项，其执行结果完全不同。示例代码test5.c如下： #include <stdio.h> //test5.c #include <string.h> #include <stdlib.h> int

>>阅读原文<<