获PreA轮投资,源伞推出Pinpoint 1.3 基于AI管理代码
2017年09月15日 16:34:36
来源:凤凰科技
Pinpoint是一款基于人工智能的针对原代码质量和安全缺陷全自动分析和管理系统,可无缝接入到软件开发人员和测试人员的现有工作流程中。
凤凰科技讯 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轮投资。
[责任编辑:花子健 PT056]
责任编辑:花子健 PT056
- 好文
- 钦佩
- 喜欢
- 泪奔
- 可爱
- 思考
凤凰科技官方微信
视频
-
李咏珍贵私人照曝光:24岁结婚照甜蜜青涩
播放数:145391
-
金庸去世享年94岁,三版“小龙女”李若彤刘亦菲陈妍希悼念
播放数:3277
-
章泽天棒球写真旧照曝光 穿清华校服肤白貌美嫩出水
播放数:143449
-
老年痴呆男子走失10天 在离家1公里工地与工人同住
播放数:165128