自动化代码审计工具源伞科技Pinpoint介绍
源伞科技Pinpoint
源伞科技2016年由香港科大团队创立,立足于国际水平的学术研究积累, 秉承工匠精神,致力用最先进的自动程序分析技术保障软件质量,为企业提供以人工智能为基础的工业级程序缺陷自动挖掘技术,工具和解决方案。核心产品Pinpoint可无缝接入到软件开发人员和测试人员的现有工作流程中,全面自动分析和管理程序源码中数百种常见的高危程序缺陷,并清晰的展示缺陷触发的原因。由于具备人工智能软件逻辑推理能力,Pinpoint的检测准确度和缺陷发现能力均居于世界领先水平。仅面市半年,源伞产品便迅速被市场认可,目前已应用于大型互联网企业,电子消费制造商,金融业,智能设备企业,和权威软件测试机构。源伞立足于中国,以一流的产品和解决方案服务于中国软件开发商并逐步辐射全球企业,最终为推动软件质量和安全保障行业的技术升级而不懈努力。
支持语言
- C++/C
- Java
- Android
- Javascript
- Php
- Python
- Golang
- Sql
检测能力评析
源伞Pinpoint在C++/C和Java/Android上的分析能力十分强大,使用了第五代的静态分析定理证明技术,该技术在ICSE上发表论文,并且获得了国内外专家的高度好评。
其查找的Bug主要以三类为主,分别是质量和安全以及风格
其中缺陷的细分类别有
- 质量
API误用
并发和时序错误<