基于抽象解释的可执行代码值范围分析

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于抽象解释的可执行代码值范围分析

窦增杰, 王震宇, 姚伟平, 陈楠, 余弦

Value Range Analysis of Executable Code Based on Abstract Interpretation

DOU Ceng-Jie, WANG Shen-Yu, TAO Wei-Beng, CHEN Nan, TU Xian

计算机工程 . 2010, (22): 69 -71 . DOI: 10.3969/j.issn.1000-3428.2010.22.024