為解決軟件開發(fā)中的諸多痛點(diǎn),本公司推出了USTCHCS高可信分析工具集。
該工具集核心技術(shù)源自中科大創(chuàng)業(yè)團(tuán)隊(duì),為中科國創(chuàng)自主知識(shí)產(chǎn)權(quán)產(chǎn)品,
獲得10余項(xiàng)軟件著作權(quán)。工具使用了編譯、符號(hào)執(zhí)行、定理證明等領(lǐng)先技術(shù),實(shí)現(xiàn):
(1)編程規(guī)約自動(dòng)化檢測(cè),幫助程序員提高代碼質(zhì)量、可讀性,避免潛在風(fēng)險(xiǎn);
(2)高精度bug定位和自動(dòng)修復(fù),大幅度提升debug效率,降低了調(diào)試的時(shí)間成本。
MISRA C:2012
MISRA C++:2008
CERT C/C++
AUTOSAR C++14
CWE C/C++
GJB航天C標(biāo)準(zhǔn)
GBT嵌入式C標(biāo)準(zhǔn)
…
數(shù)組越界(緩沖區(qū)溢出)
空指針解引用
內(nèi)存泄露
多次釋放
除零錯(cuò)
永真/永假條件表達(dá)式
庫函數(shù)使用不當(dāng)
Copy-pasted錯(cuò)誤模式
…
Request-Review-Refactor
Bug報(bào)告和跟蹤
代碼度量集成
缺陷分析集成
代碼質(zhì)量的歷史曲線
代碼質(zhì)量評(píng)價(jià)
…