项目负责人：李宽

项目简介：

传统的代码规则检查要靠评测中心人工阅读和审查代码，消耗很多时间和资源在静态代码审查上。C语言安全子集子系统基于国产自主可控处理器以及GCC编译器，以模块化插件形式为GJB 8114-2013 C语言安全子集自动化规则检查提供自主可控工具支撑；实现若干典型场景代码缺陷集成检测与检测报告输出；针对C语言安全子集插件模块，提供完备的自动测试方法和测试程序包。

应用范围：

软件测评结构、军工软件研发机构

技术特性：完全支持GJB 8114-2013中所有强制和建议规则

授权专利：无

推广使用：某军队院校、某军工国企

成果图片：暂无图片，软件形式