手机上怎么买彩票双色球 微信上有人推荐买彩票 能合买彩票的平台 夫妻买彩票狂中30亿 买彩票心态 买彩票就买大乐透开奖结果 哪个平台买彩票安全吗 买彩票有买一个号的吗 怎么看走势图买彩票 如何在电脑上买彩票 美国几岁可以买彩票? 福彩工作人员买彩票 彩客网买彩票 能在微信上买彩票吗 怎么买彩票容易中

我是如何在ModSecurity的核心规则集中找到ReDOS漏洞的

来源£º本站整理 作者£º佚名 时间£º2019-04-24 TAG£º 我要投稿

本文将会讲述我是如何在世界知名WAF的规则集中找到ReDOS漏洞的£¬如果你还不是很熟悉正则表达式和ReDOS漏洞£¬可以阅读我的前一篇文章£ºhttps://nosec.org/home/detail/2506.html¡£简单来说£¬ReDOS漏洞由于某些正则表达式在编写时忽略了安全性£¬导致在匹配搜索某些特殊的字符串时会消耗大量计算资源£¬产生DOS攻击的效果¡£而现在不少WAF产品都是依赖正则表达式对流量进行过滤£¬一旦哪个正则表达式存在安全问题£¬就有可能使WAF受到ReDOS漏洞的攻击¡£
最近£¬我花了很多时间去研究WAF中的ReDOS漏洞¡£而我的目标则是世界知名的WAF产品ModSecurity的核心规则集CRS£¬因为它有大量的正则表达式£¬正好锻炼我的绕WAF能力£¬一石二鸟£¡
CRS有29个配置文件£¬其中包含大量正则表达式£¬我不可能全部手动测试£¬所以我编写了一个脚本自动化处理¡£遗憾的是脚本还处于alpha阶段£¬我还不能公开它£¬?#36824;?#25105;已想好了发布时间£¬相信不久后就能和大家见面¡£
在利用脚本得到一些可疑的正则表达式后£¬我使用regex101.com来去除表达式中的无用部分£¬例如把((fine)|(vulnerable))中的(fine)删除
我还使用了RegexBuddy来分析不同漏洞的利用方式£¬最后用Python解释器来确认利用有效¡£
现在£¬让我们谈谈我所发现的漏洞点以及它们的利用方式¡£
 
Case#1
表达式: (?:(?:^["'`\\]*?[^"'`]+["'`])+|(?:^["'`\\]*?[d"'`]+)+)s
利用: """""""""""""" (大约1000个")
为什么是漏洞£¿
这个表达式是由|符连接两个子表达式而成的£¬而且两个子表达式都是以^[”’`\\]*?开头£¬然后末尾再?#30001;?#19968;两个特殊字符¡£正则表达式引擎在处理时会遍历两种子表达式的所有可能£¬大大消耗计算资源¡£
而且在第二子表达式中£¬^[”’`\\]*?和[d”’`]+都会匹配“, ‘ 和反引号有明显的竞争关系¡£
这种((pattern 1)+|(pattern 2)+)+重复运算符加嵌套的模式很明显在处理特殊字符串时会消耗大量计算资源¡£
 
Case#2
表达式: for(?:/[dflr].*)* %+[^ ]+ in(.*)s?do
弱点: for(?:/[dflr].*)* %
利用: for/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r
为什么是漏洞£¿
让我们一?#35762;?#30475;看这个表达式对特殊字符串的匹配步骤
f
fo
for
for/
for/r
for/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r
我所给出的字符串后半部分会被.*所匹配£¬但由于字符串的末尾不是%£¬最终会导致匹配失败¡£
此时£¬为了成功匹配£¬此时匹配逻辑会放过最后的字符r£¬看看其余字符串是否符合£º
for/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/r/
当然£¬匹配依旧失败¡£一般来说£¬匹配逻辑会不断后退£¬直到退无可退£¬彻底匹配失败¡£但是£¬由于这里是两个重复运算符的叠加应用£¬事情变得更加复杂¡£而且/r既可以被.*匹配£¬又会被/[dflr]匹配……
我不?#33539;?#22914;果运行完需要多少次计算£¬我使用的RegexBuddy4的上限为10,00,000£¬很显然真实的数字远超这个值¡£
 
Case#3
Pattern: (?:s|/*.**/|//.*|#.*)*(.*)
Exploit: ################################################
为什么是漏洞£¿
(?:s|/*.**/|//.*|#.*)*可以看作由|符连接四个子表达式£¬其中3个具有.*这种可以匹配一切的敏感符号¡£当正则表达式引擎将表达式与字符串进行匹配搜索时£¬只有最后的子表达?#35762;?#21305;配£¬但因为缺少表达式所需的()£¬匹配失败£¬此时正则表达式引擎会变得很疯狂£¬而且这里也存在重复运算符的嵌套问题¡£最终£¬每增加一个#字符£¬所需的计算步骤数就会疯狂增长¡£
最后这个case我在3个不同的规则中都有找到¡£
在我上报了以上漏洞后£¬得到了如下CVE£º
CVE-2019-11387
CVE-2019-11388
CVE-2019-11389
CVE-2019-11390
CVE-2019-11391
?#34892;?#20320;的阅读£¬今后我将继续分享更多关于ReDOS的研究¡£
 

?#26087;?#26126;¡¿:黑吧安全网(http://www.rliwo.live)登载此文出于传递更多信息之目的£¬并不代表本站赞同其观点和对其真实性负责£¬仅适于网络安全技术爱好者学习研究使用£¬学习中请遵循国家相关法律法规¡£如有问题请联系我们£¬联系邮箱[email protected]£¬我们会在最短的时间内进?#20889;?#29702;¡£
  • 最新更新
    • 相关阅读
      • 本类?#35753;?/li>
        • 最近?#30053;?/li>
        ¹ºÂò²ÊƱȨÍþÍøÖ·
        手机上怎么买彩票双色球 微信上有人推荐买彩票 能合买彩票的平台 夫妻买彩票狂中30亿 买彩票心态 买彩票就买大乐透开奖结果 哪个平台买彩票安全吗 买彩票有买一个号的吗 怎么看走势图买彩票 如何在电脑上买彩票 美国几岁可以买彩票? 福彩工作人员买彩票 彩客网买彩票 能在微信上买彩票吗 怎么买彩票容易中