閱讀129 返回首頁    go 機器人


代碼有問題?人工智能現在可以幫你挑出錯誤

騰訊數碼訊(趙陽)9月15消息,源傘科技發布了最新的Pinpoint 1.3版本。Pinpoint是一款基於人工智能的針對原代碼質量和安全缺陷全自動分析和管理係統,可無縫接入到軟件開發人員和測試人員的現有工作流程中,全麵分析和管理程序源碼中數百種常見的高危程序缺陷,並清晰的展示缺陷觸發的原因。

目前最初完全支持bazel構建係統和基於source的構建方案;完全兼容gcc,arm-none-eabi-gcc,clang的命令行選項;改進編譯器,更好的兼容各種版本語法問題;自定義編譯流程重放,可以自由構建代碼片段,支持接入第三方靜態分析工具,提供源代碼索引和統計供分析使用。

包括307個C/C++缺陷檢測器,覆蓋95條CWE規則;支持四級分析係統,從語法缺陷模式匹配器,符號執行器,快速全局分析器到深度智能分析器;與之前版本相比,深度分析的智能分析器速度提高四倍,內存需求降低3.3倍。百萬行級代碼,最快的分析係統可在10分鍾內完成分析,深度智能分析器也可以在2小時內完成。

基於web的操作界麵,便於本地和遠程操作,便捷的命令配置提示,極大的簡化了程序員操作流程,不再需要學習使用命令行操作;提供了對缺陷展示和缺陷理解的全新體驗,包括函數調用圖,缺陷搜索和過濾,缺陷統計圖表等,更好的幫助工程師們理解缺陷觸發原因,從而迅速修複。

由於具備人工智能軟件邏輯推理能力,Pinpoint的檢測準確度和缺陷發現能力均居於世界領先水平。麵市半年,源傘產品已迅速被市場認可,目前已應用於大型互聯網企業,電子消費製造商,智能製造業,和權威軟件測試機構。

最後更新:2017-10-08 03:43:32

  上一篇:go 人工智能時代 傳統航空公司客戶服務的危與機
  下一篇:go 人工智能揚帆起航 相關個股值得關注