复杂航电架构系统软件的常见代码缺陷与安全漏洞分析  

作　　者：冯扬帆 王昆 杨兵 

机构地区：[1]航空工业西安航空计算技术研究所,西安710065

出　　处：《电脑编程技巧与维护》2023年第3期161-163,共3页Computer Programming Skills & Maintenance

摘　　要：目前航空电子系统复杂程度越来越高,随之而来的系统开发、验证、优化及维护等挑战也越来越大。作为军用装备系统软件的航电系统,其安全性与稳定性是软件开发过程中的重中之重。然而,在军用软件的开发过程中,会不可避免地出现人为因素的错误。有的错误甚至能够在编译过程中顺利通过,而在运行过程中才会出现,且不定期复现,给开发人员排查故障造成了很大困扰。Klocwork作为一款优秀的代码静态分析工具,可以快速识别出软件中严重的安全和质量缺陷,可以有效提高开发人员的开发效率,又可以及时地、准确地分析系统软件,极大提高系统软件的开发效率和软件的安全性与稳定性。总结归纳了航电系统软件中常见的代码缺陷和安全漏洞,分析并给出了具体的修改方法。

关 键 词：Klocwork 代码缺陷 静态测试 安全漏洞 内存泄漏 

分 类 号：V243[航空宇航科学与技术—飞行器设计] TP311.52[自动化与计算机技术—计算机软件与理论]