2017年5月10日
实验二：klee处理未建模函数和处理error的方式
摘要： 首先，能够分析klee源码固然重要。但是目前尚未到那个地步。我按照我的过程，记录和分析我所做的实验。 结论性内容是： 1、klee处理printf传入符号值的情形时，报为error，不会将符号值具体化以后再调用printf进行具体执行。 2、klee处理error的时候，如果多条路径覆盖该error 阅读全文
posted @ 2017-05-10 16:51 秦皇汉武 阅读(2354) 评论(0) 推荐(0)
KLEE错误汇报一：One phenomenon after the execution using klee
摘要： https://github.com/klee/klee/issues/649#issuecomment-300424204 Hi, all, If you write test.c with an error out of bound and test2.c with an error asser 阅读全文
posted @ 2017-05-10 16:11 秦皇汉武 阅读(336) 评论(1) 推荐(0)