REA team@REA team
Use REA to solve DownUnderCTF's masked squares flag checker. Find the checking functions, extract the masks and compare a recovered flag with the original program.
ウェブサイト · 投稿者 REA team
Solving a CTF flag checker
Inspects a DownUnderCTF binary, finds its checking functions, turns the masks and sums into equations and confirms the solved flag against the original program.
この事例について
Inspects a DownUnderCTF binary, finds its checking functions, turns the masks and sums into equations and confirms the solved flag against the original program.
Why it is listed: A CTF challenge: the intended, legitimate use.
セットアップ
インストール方法は元のソースをご確認ください。
原文 / README
Use REA to solve DownUnderCTF's masked squares flag checker. Find the checking functions, extract the masks and compare a recovered flag with the original program.
関連作品
CassieFox23@CassieFox23
ストリップされ最適化された bzip2 バイナリにおいて、1 つのメッセージを出力する関数はどれかと REA に尋ねる；その回答と 24 個の呼び出し先は、ストリップされていないビルドおよびソースコードと一致し、この記事はこれが証明しないことを列挙している。
rea / ストリップされた bzip2 ビルド：REA が返
❯ /ストリップされた▰▰▰▰▰▰▰▰ CTF・学習
✳︎ ストリップされた bzip2 ビルド：REA が返したものと、ソースコードとの照合
└─ 会話をもっと使いやすく
テキストプレビュー・作品のスクリーンショットではありません✳︎ ストリップされた bzip2 ビルド：REA が返したものと、ソースコードとの照合
└─ 会話をもっと使いやすく
ストリップされた bzip2 ビルド：REA が返したものと、ソースコードとの照合
スター数 15.6万
NullLabTests@NullLabTests
A static analysis write-up of Ubuntu's netcat-openbsd binary using REA with Ghidra, with the evidence behind each finding.
OpenBSD netcat, analysed with REA and Ghidra
スター数 3未翻訳
jinshi666888@jinshi666888
A hands-on teaching playbook using a minimal Electron target: extract evidence with file and line references, probe the MCP server and recreate the feature.
rea-playbook: from evidence to file:line to recreation
スター数 1未翻訳