|
个人信息Personal Information
教授
博士生导师
硕士生导师
主要任职：Dean of School of Software
性别：男
毕业院校：哈尔滨工程大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 计算机应用技术
联系方式：wgwdut@dlut.edu.cn
电子邮箱：wgwdut@dlut.edu.cn
扫描关注
快速自动程序流分析方法研究
点击次数：
论文类型：期刊论文
发表时间：2010-08-05
发表刊物：计算机工程
收录刊物：PKU、ISTIC、CSCD
卷号：36
期号：15
页面范围：55-56
ISSN号：1000-3428
关键字：嵌入式软件;静态单赋值;程序切片;抽象解释
摘要：介绍一种自动程序流信息分析方法,使用静态单赋值简化程序切片中的数据依赖关系,利用简单快速程序切片算法删除对循环控制无影响的语句和控制谓词,利用抽象解释自动精确获得程序流信息.实验结果表明,在不失精度的情况下,该方法的分析速度较普通方法快了近25%,且未假定任何程序格式,适用于任何程序格式的流分析过程.