获马化腾投资,源伞推出Pinpoint 1.3 基于AI管理代码
凤凰科技讯 9月15日消息,源伞科技推出了核心产品Pinpoint的Pinpoint 1.3版本。Pinpoint是一款基于人工智能的针对原代码质量和安全缺陷全自动分析和管理系统,可无缝接入到软件开发人员和测试人员的现有工作流程中,全面分析和管理程序源码中数百种常见的高危程序缺陷,并清晰的展示缺陷触发的原因。代码需要管理和分析工具目前最初完全支持bazel构建系统和基于source的构建方案;完全
2017-09-16 09:45:09
来源:凤凰科技  

凤凰科技讯 9月15日消息,源伞科技推出了核心产品Pinpoint的Pinpoint 1.3版本。Pinpoint是一款基于人工智能的针对原代码质量和安全缺陷全自动分析和管理系统,可无缝接入到软件开发人员和测试人员的现有工作流程中,全面分析和管理程序源码中数百种常见的高危程序缺陷,并清晰的展示缺陷触发的原因。

代码需要管理和分析工具

目前最初完全支持bazel构建系统和基于source的构建方案;完全兼容gcc,arm-none-eabi-gcc,clang的命令行选项;改进编译器,更好的兼容各种版本语法问题;自定义编译流程重放,可以自由构建代码片段,支持接入第三方静态分析工具,提供源代码索引和统计供分析使用。

包括307个C/C++缺陷检测器,覆盖95条CWE规则;支持四级分析系统,从语法缺陷模式匹配器,符号执行器,快速全局分析器到深度智能分析器;与之前版本相比,深度分析的智能分析器速度提高四倍,内存需求降低3.3倍。百万行级代码,最快的分析系统可在10分钟内完成分析,深度智能分析器也可以在2小时内完成。

基于web的操作界面,便于本地和远程操作,便捷的命令配置提示,极大的简化了程序员操作流程,不再需要学习使用命令行操作;提供了对缺陷展示和缺陷理解的全新体验,包括函数调用图,缺陷搜索和过滤,缺陷统计图表等,更好的帮助工程师们理解缺陷触发原因,从而迅速修复。

源伞科技2016年由香港科大团队创立,致力与用自动程序分析技术保障软件质量,为企业提供以人工智能为基础的工业级程序缺陷自动挖掘技术,工具和解决方案。成立伊始,源伞就获得了千万级天使投资,在2017年9月11日,由马化腾、沈南鹏担任主席的投资机构Hong Kong X正式宣布对源伞进行pre-A轮投资。

最新文章
1
原色革命 海信RGB-Mini LED入选世界显示大会创新产品
2
全球百万销量、市场断层第一,创维“焊死”壁纸电视创领地位
3
北京快手公益基金会获评5A级社会组织,在第六届北京社会组织推介会上分享公益实践
4
舞剧《妈祖》全球首演,快手独家直播把舞台艺术搬进方寸屏幕
5
保暖好物5折起,晒单抽iPhone,快手电商双11购物节多重玩法上线
6
腾讯云ADP升级:五大行业、25个场景包,FDE体系助力企业智能体落地
7
中兴手机到了十字路口
8
上游利润暴增4000%,下游达不到“温饱线”!PCB产业链冷热不均甘苦自知
9
三大白电11月排产数据:冰洗空合计排产2850万台,同比增3.9%
10
涨得比 GPU 猛十倍:被冷落三年的“配角”回来了
11
关店2000多家 净利暴跌1901% 家电零售的利润已经崩了?
12
利润降了,格力为何不愿在品质上妥协?
13
苹果涨价后首份财报出炉:Q4 iPhone营收增17%创纪录 Mac大涨24%
14
折叠屏迎来形态分化:2027-2028 年大折、阔折成两大主流赛道,多家厂商双线布局
15
11月27日起正式施行 电视开机广告全面叫停
16
铜价高压下,空调小管径换热器还能“细”到哪?
17
荣耀700系列官宣全面大换新!旗舰级影像 鞠婧祎代言
18
华为全新子品牌星芒即将亮相!英文品牌名OSTA 首款新机蓄势待发
19
投影市场连跌四季:极米守擂、大眼橙冲高,智能眼镜成押宝对象
20
三季度电视出货下降3.2%,TOP5仅两家增长,TCL高速逼近三星
关于我们

微信扫一扫,加关注

商务合作
  • QQ:61149512