飞控系统机载软件是飞机的控制核心,若其设计中存在缺陷,则可能造成极大的安全隐患。为了避免这些问题,开发机载软件的研究所或企业采用国家军用软件C语言使用标准(国军标)来规范代码编写风格,以提高机载软件的可靠性。然而,现阶段由于没有可直接根据国军标编码规范检测软件代码的分析工具,目前绝大多数单位采用人工审查方式检测代码,费时费力且效率不高。本论文针对上述问题,提出了一套完整可行的静态代码分析方法,并利用该方法开发了一套静态代码检测系统。该系统的词法规则、语法规则以及代码检测规则均可由用户制定。利用该系统提供的配置工具,可编辑生成基于国军标编码规范的规则库,以检测机载代码。利用该静态分析系统检查机载代码,能减轻人力资源消耗,缩短软件检测周期,提高了分析效率。本论文在通用静态分析方法的基础上提出了可定制分析规则的代码检测技术,该技术以规则库分析机制为核心。文中阐明了其设计思路和实现方法,并给出了一套基于国军标编码规范的规则库配置方案。同时,文中详述了依据本文开发的静态代码检测系统的数据结构和实现方法,并设计了三个测试用例对该系统进行验证,实验证明,该系统能有效地检测出代码中的缺陷,并指出不符合国军标编码规范的对应代码。