一种基于抽象解释和通用单调数据流框架的值范围分析方法.pdfVIP

计算机研究与发展 !# $%%%$’()!*# $$$+++!,- （ ）： ， ./01234/5*/6 0891:9;931=32?9@94/6928 A( $$ ’%’%’%’B ’%%B 7 7 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 一种基于抽象解释和通用单调数据流框架的值范围分析方法 姬孟洛 王怀民 李梦君 董 威 齐治昌 （国防科学技术大学计算机学院 长沙 ） A$%%+( （ ） H69240/# 3=//K/6K2 G I J ! #$%’ ($’ !$%+,+-$+’. / !0+12$3141’22’1$1,/ $. 6’’2$%,7’. ) *