2020年2月24日-28日，网络信息安全领域盛典RSA Conference将在美国旧金山拉开帷幕。今日深信服君将详细介绍自主创新沙盒游戏十强新成立公司之一：ForAllSecure。
一、公司简介
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用以综合全部步骤;
Mayhem的工作内容如下所示：
我们可以见到，以上步骤恰好是DevOps的一部分：
(1) 客户向SCM(代码仓库)递交运用编码;
(2) 一键根据SCM全新编码搭建运用;
(3) 一键将搭建的运用递交给Mayhem开展检测，而Mayhem的测试又可划分为三个紧密联系的逻辑性控制模块：
- 推送数据测试
- 监控总体目标个人行为
- 搜集、归类并存储結果
(4) 客户与Mayhem互动，查看运用的隐患状况并开展下一步解决。
此外，Mayhem适用多语种、服务平台和DevOps自然环境，可以达到不一样客户的要求：
下面，大家展现一个主要的运用实例。依靠这一实例，大家可以真真正正触碰到Mayhem，对其工作内容有多方面的了解;另一方面，也可以在一定水平上感受到它的整体实力和使用价值所属。
逐渐检测
Mayhem给予了和谐的客户互动页面。复位成功后，宣布进到产品测试，能够看见检测已经开展：
查询基本上检测結果
检测完成后，可以查询检测結果，掌握运用的敏感点：
特别注意的是，Mayhem依据CWE对敏感点完成了归类：
查看详细检测結果
大家还能够查询实际功能测试的I/O，进而精准定位问题(乃至能够看见反编译后的编码)：
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)，这显然是令人振奋的。
殊不知，大家也需要提问问题：Mayhem是不是真像ForAllSecure叙述的那麼出色?她们能否在把握困扰的与此同时较好地解决了难题?
符号执行和模糊不清检测自身并并不是新技术应用，大家对二者的优点和缺点也都早有科学研究。符号执行技术性越来越多地具备理论上的创新性，可是在使用到繁杂程序流程时通常会碰到途径爆炸等问题;模糊不清检测的效果则与键入集的总量和品质拥有紧密的关联。
根据DARPA CGC，大家看到了Mayhem在漏洞检测和检验上的合理整体实力，可是大家也注意到，在比赛中Mayhem必须很多的水来开展制冷(CGC总决赛为七支团队配备了180吨水开展水冷散热)和规模性的算力、电力能源适用，这种全是前述技术性局限在实际建立上的客观性体现。有时，商品和实施方案的出色并不彻底由技术性上的优点决策。安全性领域的特性选择了费用与实际效果——也就是性价比高通常才算是最重要的。因而，Mayhem的成本费用和产品定位或许是必须初创期精英团队考虑到的问题，也是顾客关注的问题。
滚滚长江东逝水，浪花淘尽英雄。ForAllSecure确实可以促进DevSecOps发展趋势，或是只是昙花一现?Mayhem到底是学界的玩具，或是确实可以变成业内一秘密武器?这种都要的时间的检测。殊不知，就此次自主创新沙盒游戏比赛来讲，充分考虑技术水平与精英团队环境，深信服君觉得ForAllSecure具备较强的竞争能力，与此同时看中它们的后期发展趋势。使我们翘首以待。
· 论文参考文献 ·
[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。