当前位置: 首页 > 软件质量 > 代码审计 > 二级分类
高可信代码分析工具集USTCHCS
立即申请 查看相关视频


服务内容:


    高可信代码分析工具集USTCHCS的核心技术源自中科大创业团队,为中科国创自主知识产权产品, 获得10余项软件著作权。工具使用了编译、符号执行、定理证明等领先技术,实现:


      (1)编程规约自动化检测,帮助程序员提高代码质量、可读性,避免潜在风险;


      (2)高精度bug定位和自动修复,大幅度提升debug效率,降低了调试的时间成本。


 


技术优势:

高可信代码分析工具集USTCHCS(图1)


 


目的与意义:


    计算机软件故障给全球经济每年都会带来重大损失:


     2002年美国商务部国家标准与技术研究所(NIST)的调研数据显示,仅美国每年因为软件错误导致的经济损失就高达595亿美元,约占美国国民生产总值的0.6%。


     2013年剑桥大学的一项研究表明,软件漏洞每年对经济造成3120亿美元的损失。


     针对美国低质量软件,CISQ (Consortium for Information & Software Quality)出具的报告中显示,2018年美国低质量软件的成本约为2.84万亿美元。


    程序的正确性是指程序具有用户所期望的性质,既具备可靠安全性又具备保密安全性。一般软件的可靠和安全是通过测试来保障的,而使用高可信软件可以通过使用分析工具来获得更高的保障。


工具集展示:

代码审计服务(图1) 

所需要的材料

高可信代码分析工具集USTCHCS相关资料