获马化腾投资,源伞推出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
快手电商发布618商达激励政策,多维资源扶持商家全周期增长
2
韩系棒球现场特效引爆全球 可灵AI登顶42国应用商店
3
律商联讯发布 Protégé AI,依托 PatentSight + 赋能专利决策分析
4
华为Mate 90系列提档9月:麒麟9050首发,鸿蒙7加持硬刚苹果
5
索尼Xperia 1 VIII正式发布:大底长焦升级+旗舰芯片加持,12099港币起售
6
PCB涨价,玻璃基板迎替代窗口
7
人形机器人进家庭,还有几道坎?
8
预计2026年中国电视出货量仅2700万台,大尺寸逆势突围
9
一次三款!小米手机+手环+耳机配齐顶配生活
10
这家厨房小家电企业连年亏损,能否凭借机器人业务突围?
11
苹果供应链变天!Mac/iPhone处理器将迈入英特尔时代:台积电失宠
12
从家庭到商用:海尔智慧家庭战略在泰国全场景落地
13
腾讯Q1财报:AI加速助力To B营收599亿,Hy3 preview调用持续高居OpenRouter榜首
14
中国屏的“感知”跃迁:从维信诺SENSE矩阵,看全球显示产业新航向
15
MediaTek召开天玑开发者大会MDDC 2026, 携手生态伙伴开启无处不在的智能体化新体验
16
行业承压下的韧性标杆:水家电逆势正增长,头部卡位驱动价值突围
17
MediaTek天玑开发者大会2026开幕,OPPO展台携两款新机亮相
18
家电市场真的没有需求了吗?
19
铜价冲向历史新高!空调企业全面迎来成本挑战
20
估值679亿元!英特尔为苹果代工芯片 ASML有望从中获利
关于我们

微信扫一扫,加关注

商务合作
  • QQ:61149512