作者:张健静态分析程序路径符号执行数据覆盖
摘要:程序的静态分析是程序语言和编译领域的一个重要研究方向,已经被研究了很多年。近年来,它也引起形式方法和软件工程领域的重视,被用于程序测试和正确性验证。文中从程序的语法特征、所关心的数据类型和程序性质等方面比较了一些静态分析技术。着重描述基于路径的分析方法,特别是符号执行技术,讨论了程序路径可行性分析问题及其分类、复杂度。针对程序分析精度的一种量化指标,说明了其计算方法。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《计算机学报》(CN:11-1826/TP)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
省级期刊
人气 238662 评论 36
部级期刊
人气 230381 评论 65
人气 214967 评论 35
人气 213216 评论 71