2009 - 凤旺森,陈萍,张蓓 - 《北京大学学报:自然科学版》 - 被引量: 1 收藏相关文章 Multiple Round Random Ball Placement: Power of Second Chance 2009 - Xiang-Yang Li,Yajun Wang,Wangsen Feng - 被引量: 9 收藏相关文章 Multiple Round Random Ball Placement: Power of Second Chance 2009 - Xiang...
提出了一种解决静态污点分析方法在进行路径敏感的分析时面临的路径爆炸的问题的方法.该方法将污圹点分析问题转化为加权下推自动机的广义下推后继问题,进一步利用污点数据在程序中的可达性,减少后续分析中需要精确执行的路径数.从而该方法能够以多项式的时间复杂度实现程序状态空间遍历,并能在发现程序违反安全策略时自...