獲馬化騰投資,源傘推出Pinpoint 1.3 基于AI管理代碼
鳳凰科技訊 9月15日消息,源傘科技推出了核心產(chǎn)品Pinpoint的Pinpoint 1.3版本。Pinpoint是一款基于人工智能的針對原代碼質量和安全缺陷全自動分析和管理系統(tǒng),可無縫接入到軟件開發(fā)人員和測試人員的現(xiàn)有工作流程中,全面分析和管理程序源碼中數(shù)百種常見的高危程序缺陷,并清晰的展示缺陷觸發(fā)的原因。代碼需要管理和分析工具目前最初完全支持bazel構建系統(tǒng)和基于source的構建方案;完全
2017-09-16 09:45:09
來源:鳳凰科技??

鳳凰科技訊 9月15日消息,源傘科技推出了核心產(chǎn)品Pinpoint的Pinpoint 1.3版本。Pinpoint是一款基于人工智能的針對原代碼質量和安全缺陷全自動分析和管理系統(tǒng),可無縫接入到軟件開發(fā)人員和測試人員的現(xiàn)有工作流程中,全面分析和管理程序源碼中數(shù)百種常見的高危程序缺陷,并清晰的展示缺陷觸發(fā)的原因。

代碼需要管理和分析工具

目前最初完全支持bazel構建系統(tǒng)和基于source的構建方案;完全兼容gcc,arm-none-eabi-gcc,clang的命令行選項;改進編譯器,更好的兼容各種版本語法問題;自定義編譯流程重放,可以自由構建代碼片段,支持接入第三方靜態(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)立,致力與用自動程序分析技術保障軟件質量,為企業(yè)提供以人工智能為基礎的工業(yè)級程序缺陷自動挖掘技術,工具和解決方案。成立伊始,源傘就獲得了千萬級天使投資,在2017年9月11日,由馬化騰、沈南鵬擔任主席的投資機構Hong Kong X正式宣布對源傘進行pre-A輪投資。

最新文章
1
5月我國高技術制造業(yè)增加值同比增長8.6%
2
當健康成為“奢侈品”,三星AI神家電重新定義它的“日?!睂傩?/a>
3
困守高毛利?廚電企業(yè)正陷入一場苦熬
4
廣東開展智慧養(yǎng)老試點 “機器人養(yǎng)老”按下加速鍵
5
線上互動掀新潮:“聽勸”背后的家電企業(yè)發(fā)展新解法
6
天璣9400+游戲神器!REDMI K Pad采用芯片中置架構:高負載不燙手
7
折疊屏性能天花板!榮耀Magic V5定檔:7月2日見
8
“國補”階段性管控背景下,家電騙補最終會自我反噬
9
騰訊元寶更新!支持雙欄AI編程,可直接預覽運行
10
20年老舊廚房煥新顏!凱度電器助力國宴大師在家復刻招牌菜
11
智能終端從“硬”到“軟”,下一個爆點在哪?
12
三星電子為何瞄上了具身智能機器人
13
國補+618雙促銷驅動,助力2025年家電行業(yè)迎來回暖時刻
14
國補只是暫?;蛳蘖?后期依然會延續(xù)
15
很多用戶正持幣等搶!雷軍:小米YU7留資量是SU7三倍 7月上市
16
華為Pura 80系列告別嚴重缺貨:麒麟芯片供應難題解決!
17
華為萬元旗艦同款!REDMI K80至尊版塞入兩顆1115同軸對稱雙揚
18
“中國方案”加速落地,方太集成烹飪中心重塑“1平米廚電”科技美學
19
面對小米強勢入局,美的方洪波和海爾周云杰的態(tài)度有何不同?
20
等了又等,升級版Siri或將在明年春季發(fā)布
關于我們

微信掃一掃,加關注

商務合作
  • QQ:61149512