以形式化方法守护代码质量


Sourcebrella Pinpoint 帮您在Bug造成数据泄漏和应用停机之前定位它们。

功能特点 我们的技术
唾手可得的深度静态分析服务
简易的快速安装一键包
你会惊奇地发现搭建一个代码扫描服务竟如此简单。我们的绿色版一键包可在分分钟内为您提供完整的分析服务环境,无需连接互联网,无需系统账号权限。
基于浏览器的低代码白盒测试平台
使用拖拽式的交互式界面快速进行致命缺陷的扫描和缺陷评审。我们转为评测人员优化的工作流非常适合超大项目的细粒度扫描。无论深度或者范围都可图形化快速配置。
一次部署,各处运行
无缝打包系统和代码托管系统集成
获得对您提交的代码变更及时的质量反馈,Sourcebrella Pinpoint 作为DevSecOps中重要的一环,可自动由CI持续集成系统触发分析。完成对开发人员零培训成本的无感代码扫描,在代码缺陷出现在仓库中后能及时报告。帮助您在快速迭代的同时保证代码质量。
将深度分析能力提前到编码阶段
Sourcebrella Pinpoint 的IDE扩展功能,可在编码阶段实时配合代码扫描服务器进行代码检查。不占用本地的计算资源,孱弱的笔记本也能进行快速分析。深度分析能力远远超过IDE内置的风格和质量检查器。并且能和持续集成环境共享分析配置,进一步缩短缺陷修复周期。
AI辅助的代码评审
Sourcebrella Pinpoint 深度集成到常用的代码评审系统中,自动化地同步于人工进行代码评审。可以大大提高代码评审的效率和效果。实践证明,人工配合自动化的评审有助于形成规范的代码编写习惯,增量的报告也能更容易在企业内推进源代码安全能力的应用。
与SonarQube系统无缝集成
正在使用开源的SonarQube系统吗?源伞的SonarQube插件能让您无痛将Sourcebrella Pinpoint 的深度分析能力带到您的检测流程中。无需对CI流程做任何改动,即可完成Pinpoint的集成。对于大规模部署的场景,我们可以通过Sonar插件完成自动升级部署和浮动授权更新,免去您的运维负担。
简洁易懂的报告才是有价值的报告
看更少的报告,修复更多的Bug
您是否被传统的静态扫描工具产生的大量报告淹没?您是否难以理解缺陷的成因和路径条件?我们深知缺陷报告易读性的重要性,源伞的多语言,多步骤报告系统能详细说明缺陷的产生路径条件, 让缺陷理解不再是充满猜测和失望的难题。
锁定缺陷的5个关键问题
Sourcebrella Pinpoint 通过报告和缺陷描述帮助程序员通过五个关键维度理解缺陷:
  • · 涉及的源文件,函数和模块
  • · 触发后造成的结果和问题爆发点
  • · 执行路径和触发条件
  • · 触发缺陷时的分支条件
  • · 为什么这是一个缺陷或漏洞
一目了然的缺陷报告和统计
Sourcebrella Pinpoint 支持多种结构化和非结构化的报告输出。输出的报告可包含完整的缺陷路径和代码片段,可替代报告平台进行缺陷审计。报告细节和量化统计也可通过Json,XML和ELK等格式自动输出进行集成。
科研驱动的深度分析能力

PLDI'18 收录论文,展示了Pinpoint核心源汇分析引擎的工作原理

了解更多

ICSE'19 收录论文,展示了Pinpoint核心快速状态机分析引擎的工作原理

了解更多

工程驱动的产品交付能力

源伞团队通过对程序分析技术的工程化改造,打造了一批符合开发、测试、安全和评测人员需求的高质量检查器。并通过与政企客户的合作,让国际顶尖的静态分析能力能落地在研发流程之中。使得静态分析能力不仅在代码检查这个使用场景起到作用,更在程序验证,代码搜索,编译加速,服务治理等方面得到进一步应用。