ForAllSecure：融入DevSecOps的“下一代”模糊测试技术

Globaldc

公司介绍

ForAllSecure是由来自卡耐基梅隆大学的ForAllSecure安全研究团队于2012年创立的公司，工作地点包括宾夕法尼亚州匹兹堡、旧金山湾区和弗吉尼亚州水晶城。创始人David Brumley、Thanassis Avgerinos和Alex Rebert均来自卡耐基梅隆大学并拥有相关专业背景。公司在A轮融资中获得1500万美元，由New Enterprise Associates领投。其主打“下一代”模糊测试技术，并基于此技术实现模糊测试系统Mayhem，凭借Mayhem的出色表现以大幅领先优势在美国国防部先进项目研究局（DARPA）于2016年主办的网络超级挑战赛（CGC）中一举夺魁。ForAllSecure还在2017年被「麻省理工科技评论」选入“全球最聪明的50家公司”榜单（位列第35名）。

公司提供Mayhem模糊测试解决方案，将自动化持续性安全测试融入DevOps流程，力求在早期发现漏洞、修复漏洞，以提高软件安全性。与传统模糊测试技术相比，该“下一代”模糊测试技术结合使用“符号执行”技术和“导向型模糊测试”技术，能够针对测试发现的安全漏洞自动化生成概念性验证（PoC）和补丁，在一定程度上避免传统白盒测试的高误报和黑盒测试的盲目性，具有很高的创新性和价值。

背景介绍

根据Cybersecurity Ventures的应用安全报告显示，应用程序的攻击面正在以每年1110亿行代码的速度增长，另外，0day漏洞利用程序被公布的速率已经从2015年的“每周一个”增长到2021年的“每天一个”。

与此同时，DevOps正在被越来越多的团队和组织接受和采用。然而，绝大多数应用安全工具并不能跟上DevOps的脚步。例如，由于其居高不下的误报率，“静态代码分析”工具大大限制了安全、开发和测试人员的生产力。

另一方面，企业级漏洞管理方案则是有限应对策略。例如，“软件组成分析”工具只能检测那些已经被公开并分配了CVE编号的漏洞。

面对这些限制和问题，ForAllSecure提供“下一代模糊测试”安全方案Mayhem，兼具导向型模糊测试的可靠性和符号执行技术的创造力，帮助企业在软件开发生命周期中更早地发现安全风险并快速消除。

产品介绍

Mayhem是一个帮助企业以机器级速度和规模测试软件的辅助型智能行为测试解决方案。它结合使用符号执行和导向型模糊测试技术，通过监控目标程序的行为来动态生成测试用例。

官方并未直接给出Mayhem的架构组成。

其中：

Translator用于将二进制程序翻译为易于分析的中间表示；Offensive Tools用于寻找漏洞并构建PoC或ExP；Defensive Tools用于生成补丁；Controller用于统筹整个流程；

• 用户向SCM（代码仓库）提交应用代码；
• 系统自动基于SCM最新代码构建应用；
• 系统自动将构建的应用提交给Mayhem进行测试，而Mayhem的测试又可分为三个相辅相成的逻辑模块：发送测试数据，监视目标行为，收集、分类并储存结果；
• 用户与Mayhem交互，查询应用的风险情况并进行下一步处理。
  

另外，Mayhem支持多种语言、平台和DevOps环境，能够满足不同用户的需求：

Globaldc

ForAllSecure强调Mayhem的优势之一是零误报。那么如何做到零误报呢？从上面的测试结果我们可以略知一二。Mayhem自动构建的测试用例等效于研究人员手工验证漏洞时编写的PoC。一般来说，如果能够导致程序出现崩溃或其他异常（代码逻辑预期之外的行为），我们便认为PoC是有效的，同时认为漏洞存在。

产品特点
持续性深度分析：随着目标程序知识的积累，Mayhem的分析将逐渐深入，代码覆盖率将逐渐提升。

零误报：Mayhem报告的所有缺陷均是准确的（因为它会自动生成PoC去测试）。

自动化生成测试用例：基于团队在卡耐基梅隆大学的专利技术，Mayhem能够利用目标反馈在运行时自动化生成测试用例。

安全左移：在安全开发流程中，Mayhem将动态分析、模糊测试及威胁建模等测试与验证步骤左移，帮助企业控制修复成本。它能够直接插入到CI流水线中，将持续性测试作为DevOps工作流的一部分。

软件供应链管理：Mayhem能够对应用依赖的开源或第三方代码进行威胁评估，以减少软件供应链中存在的风险。

总结
在整个调研过程中，绿盟君能够从各路媒体报道和ForAllSecure官方对Mayhem技术原理的概括性描述中感受到其团队拥有的深厚技术积淀。抛开立场不一的媒体，三个事实足够证明他们的雄厚实力：

公司未立，技术先行：作为一支来自卡耐基梅隆大学的科研团队，其技术的诞生时间比公司成立时间早很多年；
以绝对优势获得DARPA CGC决赛第一名：挑战赛集合了全球安全领域的顶尖团队，ForAllSecure从104支队伍中脱颖而出进入七强杀入决赛、并获得冠军，这是硬实力的体现；
获得New Enterprise Associates领投的1500万美元融资：这是资本的评估和认可。
另一方面，ForAllSecure对当前安全测试技术的痛点把握得十分到位。安全从业者往往会有这样的感受：自动化白盒测试（如静态代码分析等）具有不小的误报率；自动化黑盒测试（如漏洞扫描等）既有一定的误报率，同时也有自身的局限性——受限于漏洞知识库；人工渗透测试虽然效果显著，但自动化的缺失导致其无法融入DevOps流程；而传统模糊测试技术的主要玩家通常是职业或半职业的漏洞猎人。

在此形势下，ForAllSecure给出了一个支持DevOps的企业级模糊测试方案，并在一定程度上证明了该方案的有效性（DARPA CGC），这无疑是令人振奋的。

Globaldc

参考文献
[1] Mayhem, the Machine That Finds Software Vulnerabilities, Then Patches Them

[2] MIT Technology Review Reveals 50 Smartest Companies List in Annual Business Issue

[3] ForAllSecure

[4] ForAllSecure: About us

[5] DARPA网络超级挑战赛情况及思考

[6] 符号执行技术总结（A Brief Summary of Symbol Execution）- wcventure

注：第3节引用了来自VDA Labs的资料Using-Next-Generation-Fuzzing-Tools.pdf；第4节参考了ForAllSecure官方资料FY19 DS Mayhem General v3.7.pdf。