鳳凰科技訊 9月15日消息,源傘科技推出了核心產(chǎn)品Pinpoint的Pinpoint 1.3版本。Pinpoint是一款基于人工智能的針對原代碼質(zhì)量和安全缺陷全自動分析和管理系統(tǒng),可無縫接入到軟件開發(fā)人員和測試人員的現(xiàn)有工作流程中,全面分析和管理程序源碼中數(shù)百種常見的高危程序缺陷,并清晰的展示缺陷觸發(fā)的原因。
代碼需要管理和分析工具
目前最初完全支持bazel構(gòu)建系統(tǒng)和基于source的構(gòu)建方案;完全兼容gcc,arm-none-eabi-gcc,clang的命令行選項;改進編譯器,更好的兼容各種版本語法問題;自定義編譯流程重放,可以自由構(gòu)建代碼片段,支持接入第三方靜態(tài)分析工具,提供源代碼索引和統(tǒng)計供分析使用。
包括307個C/C++缺陷檢測器,覆蓋95條CWE規(guī)則;支持四級分析系統(tǒng),從語法缺陷模式匹配器,符號執(zhí)行器,快速全局分析器到深度智能分析器;與之前版本相比,深度分析的智能分析器速度提高四倍,內(nèi)存需求降低3.3倍。百萬行級代碼,最快的分析系統(tǒng)可在10分鐘內(nèi)完成分析,深度智能分析器也可以在2小時內(nèi)完成。
基于web的操作界面,便于本地和遠程操作,便捷的命令配置提示,極大的簡化了程序員操作流程,不再需要學習使用命令行操作;提供了對缺陷展示和缺陷理解的全新體驗,包括函數(shù)調(diào)用圖,缺陷搜索和過濾,缺陷統(tǒng)計圖表等,更好的幫助工程師們理解缺陷觸發(fā)原因,從而迅速修復。
源傘科技2016年由香港科大團隊創(chuàng)立,致力與用自動程序分析技術(shù)保障軟件質(zhì)量,為企業(yè)提供以人工智能為基礎(chǔ)的工業(yè)級程序缺陷自動挖掘技術(shù),工具和解決方案。成立伊始,源傘就獲得了千萬級天使投資,在2017年9月11日,由馬化騰、沈南鵬擔任主席的投資機構(gòu)Hong Kong X正式宣布對源傘進行pre-A輪投資。
- QQ:61149512