2017年5月29日
klee源码阅读笔记1--STPBuilder类
摘要： 初始化过程中四个数据成员中的两个数据成员被初始化： 一、vc被初始化为STP提供的C调用接口函数vc_createValidityChecker()； 二、optimizeDivides被初始化为false 重点探讨另外两个数据成员。 一、ExprHashMap constructed ExprHa 阅读全文
posted @ 2017-05-29 17:47 秦皇汉武 阅读(1471) 评论(0) 推荐(0)