巩固高质量代码
保障高可用业务


我们的产品帮助开发团队快速寻找和解决代码库中的质量和安全问题,令您的业务在保持快速迭代的同时远离潜在的风险。

立刻申请免费试用 了解更多 在线示例

为保障核心数据资产构建的
自动化代码质量测试系统

我们的高速静态分析引擎每秒可以分析上千行代码,寻找深藏其中的缺陷和安全隐患。我们帮助开发者在开发流程的早期增强应用的安全性和稳定性,减少现代大型软件架构带来的风险。

使用我们的自动化测试平台
从容应对快速迭代的业务需求
和企业级代码仓库的规模
来自客户的认可
"

Pinpoint 的指针分析能力很强。
—— 来自华为研发工程师的使用评价

"

这是中国少有的具备自主研发能力的企业。源伞的产品可以从中间码出发进行漏洞检测,这可以避免用户关于代码泄漏的担心。
—— 来自软件评测中心领导的评价

开源软件缺陷漏洞检测
持续扫描上千个开源项目
现代的大型软件工程几乎都或多或少使用了开源社区的代码组件。通过多年对开源社区项目的持续分析积累,使用Pinpoint™能帮助您的产品远离诸如OpenSSL 心脏出血漏洞,SMB 缓冲区漏洞等由于程序编码缺陷导致的安全问题,帮助您完成对开源组件的安全审计和修补。 源伞长期使用Pinpoint™对流行的开源组件进行分析,并回馈开源社区,提供相关修复补丁。在分析过程中贡献过补丁的相关项目包括:
欢迎试用和交流
CEO致辞
源伞始终追求通过国际标准的自动化缺陷检测和可视化技术让客户的产品和服务更稳定,更安全,更高效。我们欢迎有志于此的同仁加入我们的研发团队,一起填补国内该领域的空白。
国际顾问委员会

在源伞,我们致力于为所有软件开发人员和企业提供最好的产品和服务来保证软件质量和安全。我们希望以我们的专业和服务在中国建立新的软件安全标准。源伞起源于香港科技大学的网络安全实验室。我们的团队具有强大的科研背景和丰富的工业界开发经验。为了使我们的团队一直保持国际领先的研发能力,源伞成立了技术顾问委员会,委员会成员均为在程序分析,移动应用安全,区块链,大数据等领域的国际知名学者。

Prof. Charles Zhang
源伞技术顾问委员会主席,联合创始人。香港科技大学安全实验室主任,计算机科学和工程系教授,软件工程国际顶级期刊IEEE TSE副主编,香港金融管理局安全顾问。张川教授在软件分析领域有16年的研究经历,带领Prism研究小组成为亚洲顶尖的程序语言课题研究组,获得了香港政府研究资助委员会、创新科技局等多个重要组织的奖励和资助。研究成果包括多项国际顶级期刊的最佳论文奖,包括亚洲唯一的PLDI最佳论文奖。张川教授主要负责领导源伞前沿科技探索工作,确保源伞的研发技术始终保持国际顶尖水准。
Prof. Hans-Arno Jacobsen
源伞创始团队导师,慕尼黑工业大学和多伦多大学终身教授,于2011年获得极富盛名的洪堡教席奖,是软件工程、中间件和大型信息系统的国际权威,发表了数百篇软件工程和大规模互联网应用相关论文,是德国哥廷根学派第11代学者中的代表人物。Jacobsen教授近年来研究领域包括智能电网、区块链和分布式网络,在源伞Pinpoint进行云部署上提供重要的建议。
Prof. Xiangyu Zhang
美国普渡大学计算机系教授,荣誉学者。在动态与静态程序分析技术、及其在调试、测试、 取证分析和数据处理等领域应用有着丰富的研究与实践。获得2006美国计算机学会优秀博士学位论文奖,美国自然科学基金青年基金奖、ACM SIGSOFT 杰出论文奖、USENIX 14年最佳学生论文奖、CCS 15年最佳论文奖和NDSS’16杰出论文奖。张翔宇教授将会在源伞产品分析能力上提供重要指导。
Prof. Grigore Rosu
美国伊利诺伊大学香槟分校(UIUC)计算机系教授,形式化系统实验室Formal Systems Laboratory(FSL)创始人,Runtime Verification公司CEO&CTO,前美国航天局(NASA)阿莫斯研究中心形式化方法研究组成员,顶级学术会议ASE的大会主席。Rosu教授和他的UIUC团队研发的K形式化框架影响深远,已被NASA、波音、丰田等多家关键软件开发企业所采用。Rosu教授最近以K框架为基础为以太坊建立了一套智能合约的形式化方案,处于同类研究的最前沿。Rosu教授将会在源伞研究使用静态分析技术进行智能合约形式化验证上提供重要技术指导。
Prof. Eric Bodden
德国帕德博恩大学软件工程系教授,德国弗朗霍夫学会机电系统设计中心主任,著名开源Java代码静态分析系统Soot系统的负责人。2014年获得德国科学基金会Heinz-Maier-Leibnitz-Preis奖,德国信息技术通讯和新媒体协会管理俱乐部导师。德国IT安全奖,40岁以下杰出青年科学家。Bodden教授作为移动应用安全专家将会对源伞开展APP安全检测提供重要技术指导。
Prof. Harry Xu
加州大学洛杉矶分校副教授,前Microsoft Redmond研究员,IBMThomas Watson研究员,在国际顶级编程语言和系统学术会议PLDI,OOPSLA,OSDI,SOSP,ASPLOS发表数十篇高质量论文,研究成果有广泛的影响力,是近年来软件工程领域与系统软件领域非常活跃的青年学者。徐国庆教授最近研究专注于高性能系统和大数据系统,将对源伞产品线进行云部署提供重要技术指导。
Prof. Qirun Zhang
佐治亚理工学院助理教授,研究领域包括程序语言分析和软件工程,特别专注于软件安全和可靠性研究,研究成果已经发表在国际顶尖程序分析领域会议PLDI、POPL、OOPSLA和ICSE上,获得包括美国国家自然科学基金在内的多项奖励。章启润教授目前专注于前沿的高效静态分析技术研究,并一直与源伞创始团队保持紧密的学术合作,今后也将会对源伞产品的发展给予重要支持。
Prof. Jeff Huang
德州农工大学助理教授,Parasol实验室负责人,研究领域包括软件工程和程序分析,尤其是在并发研究和并发编程、程序验证、测试等方向处于国际领先水平。黄少明教授带领Parasol实验室在国际顶尖软件工程会议上发表数十篇影响力颇深的论文,并获得包括美国国家自然科学基金、Google研究基金、Mozilla基金等多项国家和互联网巨头企业奖励资助。黄少明教授在张川教授的Prism小组与源伞创始团队共同度过了他的PhD生涯,并始终保持紧密的学术合作,今后也会在软件验证、可靠性和安全性等方向给源伞产品发展提供鼎力支持。
感谢