|
|||||
|
|
| 用代码分析技术检测软件缺陷 | |
| 引用本文： | 赵国亮,蒋勇,孔令兵. 用代码分析技术检测软件缺陷[J]. 计算机工程与设计, 2011, 32(8): 2741-2744,2808 |
| 作者姓名： | 赵国亮 蒋勇 孔令兵 |
| 作者单位： | 1. 中国航天科工集团第二研究院706所,北京,100854 2. 中国空间技术研究院北京卫星信息工程研究所,北京,100086 3. 北京航天时代光电科技有限公司,北京,100094 |
| 摘 要： | 为了查找和发现软件源代码中的漏洞和薄弱环节,进一步提高软件的质量,在深入研究代码分析技术原理的基础上,提出了代码分析技术的应用模式,从内存管理、数组越界、并发缺陷以及空指针引用或异常等多个角度进行了探讨分析,给出具体实例对代码分析技术在解决具体问题中的重要性进行论证。最后给出了代码分析技术用于检测软件缺陷的主要步骤。该研究对软件源代码的测试工作具有一定的理论价值和实际意义。 |
| 关 键 词： | 代码分析 漏洞检测 内存泄露 数组越界 缓冲区溢出 数据流 |
Software bugs detection using code analysis technology |
|
| ZHAO Guo-liang,JIANG Yong,KONG Ling-bing. Software bugs detection using code analysis technology[J]. Computer Engineering and Design, 2011, 32(8): 2741-2744,2808 | |
| Authors: | ZHAO Guo-liang JIANG Yong KONG Ling-bing |
| Affiliation: | 1.Institute 706,Second Academy of China Aerospace Science and Industry Corporation,Beijing 100854,China;2.Beijing Institute of Information Engineering,China Academy of Space Technology,Beijing 100086,China;3.Beijing Aerospace Times Optical-Electronic Technology Limited Company,Beijing 100094,China) |
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |