作者:赵国亮 蒋勇 孔令兵代码分析漏洞检测内存泄露数组越界缓冲区溢出数据流
摘要:为了查找和发现软件源代码中的漏洞和薄弱环节,进一步提高软件的质量,在深入研究代码分析技术原理的基础上,提出了代码分析技术的应用模式,从内存管理、数组越界、并发缺陷以及空指针引用或异常等多个角度进行了探讨分析,给出具体实例对代码分析技术在解决具体问题中的重要性进行论证。最后给出了代码分析技术用于检测软件缺陷的主要步骤。该研究对软件源代码的测试工作具有一定的理论价值和实际意义。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社