科研之友
微信
新浪微博
Facebook
分享链接
摘要
软件代码的静态分析是一种针对代码的自动验证的非常有效的方法,其目的是在不运行代码的情况下,通过分析软件代码本身的语法和数据流,检查代码是否满足安全性和可靠性要求。为控制程序的复杂性,便于后期的检测与维护,《GJBZ 102A-2012军用软件安全性设计指南》对软件的复杂性提出了控制要求,对此引入Understand软件对程序代码的模块规模进行分析。在分析Understand软件及其在分析程序代码后生成的TXT文件后,设计一种统计工具,利用C++语言对文件中的数据进行筛选,提取所需数据并对其进行处理,以此提高静态分析时的工作效率。
