安全质量产品

首页 技术领先安全质量产品

【产品】可配置的C程序编码标准检测系统

发布时间:2015/11/20 字号:【大 中 小】 来源:北大软件-611376666


COBOT_Rule是一种C程序编码标准检测工具,采用全新的静态分析框架,可以有效地降低误报率和漏报率。工具特点:

1.可配置,本工具除支持GJB5369,MISRA等标准外,还提供编码规则规约与查询语言RQL,用户可以自己定义新规则,以进行更全面的规则检查。

2.可扩展性好,提供缺陷和编码规则描述语言,用户可以用简单的方式自己定义新规则,以进行更为全面的按需规则检测。

3.检测误漏报率低,采用面向函数间的值依赖图、指向分析、区间分析等众多新技术,有效地降低了缺陷的误报率和漏报率。

4.效率高,检测速度基本在千行每秒左右,1万行代码10余秒即可完成。对数十万行的程序,可以在15分钟内检测完毕。

5.可视化,用户无需在命令行输入复杂的指令,通过界面点击即可完成操作,使用方便;同时,检测结果分类展示,便于用户分析,结果可以精准定位到相应代码行。

  • 案例简介

    自2005年起,北大软件持续10年通过考核评价系统,向全国组织系统提供届中考核、换届考核、年度考核与一报告两评议等工作的技术支持服务。随着考核工作范围不断扩大、工作标准逐步提高、工作强度逐渐加大,工作及支持服务方式已不能满足后续考核工作要求,迫切需要改变现有工作模式,优化工作流程、减少人工投入,缩减沟通环节、提高工作效率,优化系统支撑,提高工作水平。

    领导班子和领导干部年度考核系统创新应用
  • 案例简介

    北大软件为中央直属机关单位、国资委系统、直属金融机构及北京、重庆、辽宁、吉林、新疆、西藏等省市提供服务

    中组部全国党员统计服务
  • 案例简介

    中共中央组织部领导干部考试测试平台可应用于领导干部竞争性选拔、干部培训和干部考察等工作。能够解决人为考试测评误差;异地考核时物力、人力成本过高等问题;降低试题印刷、运送、保管等工作环节中漏题、泄题的风险。

    中组部领导干部考试测试平台
  • 案例简介

    完成从传统人事管理工作模式到人力资源全业务流程、全生命周期管理的信息化模式转变;实现北京市民政局内部组织人事数据共享、业务工作协同,与相关委办局之间组织人事数据共享与协同;促进组织人事管理由粗放型向精细型、阶段型向持续型、经验型向智能型的转变,达到组织人事管理工作科学化、决策智能化。

    民生服务丨民政人力资源管理