静态分析
2016-06-20 12:15
218 查看
程序静态分析(Program
Static Analysis)是指在不运行代码的方式下,通过词法分析、语法分析、控制流、数据流分析等技术对程序代码进行扫描,验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术。目前静态分析技术向模拟执行的技术发展以能够发现更多传统意义上动态测试才能发现的缺陷,例如符号执行、抽象解释、值依赖分析等等并采用数学约束求解工具进行路径约减或者可达性分析以减少误报增加效率。目前的静态分析工具,无论从科研角度还是实用性角度还有很大的提高余地,国际最好分析工具误报率在5-10%之间,能够报出的缺陷种类也仅有几百种。我国较好静态分析工具较少,一些高校正在致力于在此方面的研究和开发(成果较突出的如北京大学等)目前来看与国外还有差距。
Static Analysis)是指在不运行代码的方式下,通过词法分析、语法分析、控制流、数据流分析等技术对程序代码进行扫描,验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术。目前静态分析技术向模拟执行的技术发展以能够发现更多传统意义上动态测试才能发现的缺陷,例如符号执行、抽象解释、值依赖分析等等并采用数学约束求解工具进行路径约减或者可达性分析以减少误报增加效率。目前的静态分析工具,无论从科研角度还是实用性角度还有很大的提高余地,国际最好分析工具误报率在5-10%之间,能够报出的缺陷种类也仅有几百种。我国较好静态分析工具较少,一些高校正在致力于在此方面的研究和开发(成果较突出的如北京大学等)目前来看与国外还有差距。
相关文章推荐
- javascript的同源策略
- Java中的ReentrantLock和synchronized两种锁定机制的对比
- gulp布局构建小结
- String类的基本用法与注意点,StringBuffer类的用法
- Spring四种数据源配置
- mysql日志详细解析
- EntityFramework6写的数据访问框架之五事务
- Java编程思想第四版读书笔记——第七章 复用类
- 新版MATERIAL DESIGN 官方动效指南(二)
- c#.net 生成清晰缩略图
- 新版MATERIAL DESIGN 官方动效指南(二)
- 第k大(小)数,寻找最小的k个数(进一步要求顺序与原数组中元素顺序一致)
- 【Python】 sorted函数
- iOS和android游戏纹理优化和内存优化(cocos2d-x)
- (第3讲)简单排序:冒泡。选择。插入
- [leetcode] 【排序】 21. Merge Two Sorted Lists
- 一个二维码,苹果安卓两种下载方案
- iOS 开发中的各种证书简要说明
- 要嫁就嫁程序员,钱多话少死得早~
- 新版MATERIAL DESIGN 官方动效指南(一)