蚂蚁集团自研代码安全产品
以形式化方法守护代码质量
Sourcebrella Pinpoint 帮您在Bug造成数据泄漏和应用停机之前定位它们。
PLDI'18 收录论文,展示了Pinpoint核心源汇分析引擎的工作原理
了解更多
ICSE'19 收录论文,展示了Pinpoint核心快速状态机分析引擎的工作原理
源伞团队通过对程序分析技术的工程化改造,打造了一批符合开发、测试、安全和评测人员需求的高质量检查器。并通过与政企客户的合作,让国际顶尖的静态分析能力能落地在研发流程之中。使得静态分析能力不仅在代码检查这个使用场景起到作用,更在程序验证,代码搜索,编译加速,服务治理等方面得到进一步应用。