2021年1月2日
Proj THUDBFuzz Paper Reading: 北京大学软件分析课程2019，熊英飞, 02 数据流分析I
摘要： 近似方案-忽略所有条件判断，认为所有分支都能到达 对停机问题分析， 此时还是分不出来到底是否停机。 或者可以将条件抽象为不确定选择。 这种情况下，抽象程序的潜在执行路径是远远超过真实执行路径数量的。（这里条件本身是不会再改变数据的） 为了优化，不在路径末尾做合并，在控制流汇合的所有位置提前做合并（这 阅读全文
posted @ 2021-01-02 19:12 雪溯 阅读(284) 评论(0) 推荐(0) 编辑