Fatal Core Dump Murder Mystery

Repository für die Generierung einer Website für ein Core-Dump-Debugging-Mord-Mysterium-Spiel.

DIESES REPOSITORY ENTHÄLT SPOILER FÜR DAS SPIEL!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

Du kannst es hier spielen: https://www.robopenguins.com/fatal_core_dump/

Einen Blogbeitrag zum Designprozess findest du hier: https://www.robopenguins.com/core-dump-game/

Das Repository, das eine VM zum Debuggen des Core Dumps im Browser bereitstellt, ist: https://github.com/axlan/webvm/tree/fatal_core_dump

Verzeichnisstruktur

• bin - Ausgabeverzeichnis für generierte Dateien
• lib - Verzeichnis für interne Bibliotheken. Diese werden nicht als Teil des Mysteriums bereitgestellt und sind meist Stubs, um die Bedingungen für den Core Dump einzurichten.
• minimal_example - Ein Verzeichnis mit Experimenten, die zum Entwurf des im Mord verwendeten Hacks verwendet wurden.
• rpg_maker_project - Quellcode und Assets des RPG Maker-Projekts
• scripts - Skripte zur Automatisierung der Generierung von Core Dumps und anderen Beweisen
• site - Das Mord-Mysterium-Spiel wird als diese statische HTML-Seite präsentiert. Einige Dateien sind Links zu rpg_maker_project-Assets, binären Ausgaben oder werden von Skripten generiert.
• src - Der Quellcode des Airlock-Controllers, den der Spieler beim Lösen des Mysteriums sieht.

Befehle

Beweise generieren:

./scripts/docker_generate_site.sh

Website hochladen:

./scripts/upload_site.sh

airlock_ctrl im Debugger ausführen:

./scripts/generate_hack.sh
# Kann auch den pwndbg-Befehl verwenden
gdb -x scripts/analysis.gdbinit bin/airlock_ctrl

Proof of Concept ausführen:

make clean && make
env -i setarch $(uname -m) -R $PWD/bin/min_poc
# Überprüfe, ob die ausgegebenen Adressen mit den Werten in vuln_test5.py übereinstimmen
python minimal_example/vuln_test5.py
cp bin/input5_good bin/input5
env -i setarch $(uname -m) -R $PWD/bin/min_poc