基于抽象域和数值熵协同的数值程序分析

基于抽象域和数值熵协同的数值程序分析

马国富1，王正谦2，刘久富2

Value range analysis based on abstract domain and value entropy

MA Guofu1, WANG Zhengqian2, LIU Jiufu2

计算机工程与应用 . 2015, (6): 55 -58 .