DownUnderCTF: Wiederherstellen von Flag-Checking-Gleichungen
Ziel: DownUnderCTF 2023 Flaggenkaro mit maskierten Quadraten, gestreift Linux ELF
Autor / Namensnennung: REA-Vorzeigeteam; Quellenangabe der ursprünglichen Projektautoren
Datum der Quellenüberprüfung:
Überprüfungsstatus: Quellen überprüft; Autorentests werden nicht unabhängig wiederholt.
Die Frage
Wie kann die Eingabevalidierung ohne Symbole oder Quellcode wiederhergestellt werden?
Was REA getan hat
REA findet Eingabeaufforderungszeichenfolgen und Querverweise, analysiert den Checker und liest Masken und Zieltabellen. Z3 löst 26-Einschränkungen; Die Prozesserfassung überprüft die ursprüngliche Challenge-Binärdatei.
Vom Autor gemeldete Ergebnisse
Die offizielle Aufzeichnung zeigt: Richtig! / Exit 0 für den richtigen Kandidaten und Falsch! / Exit 255 für einen falschen Kandidaten. Anschließend wird die Lösung mit der Quelle und den Metadaten des Veranstalters abgeglichen.
Einschränkungen und unbestätigte Ansprüche
Der Solver geht von einem gemeinsamen Flag-Format und Zeichensatz aus. Bei der Suche nach einem zweiten Modell kam es zu einer Zeitüberschreitung, sodass die Eindeutigkeit nicht nachgewiesen werden konnte.
Was zu lernen ist
Nachdem die statische Argumentation einen Kandidaten hervorgebracht hat, führen Sie sowohl korrekte als auch falsche Eingaben durch das ursprüngliche Programm aus.
REA Nutzungsnachweis in der Quelle
Fresh inspection and process captures on 8 October 2026, using the published REA 4.1.0 packageDie Formatierung von Auszügen wird vereinfacht. Lesen Sie die Originalquelle für den vollständigen Kontext.
Originalquellen
Unabhängige redaktionelle Zusammenfassung. Die Urheberschaft liegt bei den Originalautoren. Zielsoftware, Installationsprogramme und die komplette Dekompilerausgabe werden hier nicht weitergegeben.
Sehen Sie sich diesen Fall auf GitHub an · Schlagen Sie eine Korrektur vor