Fatal Core Dump : Mystère du meurtre

Dépôt pour générer un site de jeu de mystère de meurtre basé sur le débogage de vidage mémoire.

CE DÉPÔT CONTIENT DES SPOILERS POUR LE JEU !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

Vous pouvez y jouer ici : https://www.robopenguins.com/fatal_core_dump/

Pour un article de blog sur le processus de conception, voir : https://www.robopenguins.com/core-dump-game/

Le dépôt qui héberge une machine virtuelle pour déboguer le vidage mémoire dans le navigateur est : https://github.com/axlan/webvm/tree/fatal_core_dump

Directory Structure

• bin - Répertoire de sortie pour les fichiers générés
• lib - Répertoire pour les bibliothèques internes. Celles-ci ne font pas partie du mystère et sont principalement des stubs pour configurer les conditions du vidage mémoire
• minimal_example - Répertoire contenant des expériences utilisées pour concevoir le hack utilisé dans le meurtre
• rpg_maker_project - Sources et assets du projet RPG Maker
• scripts - Scripts pour automatiser la génération du vidage mémoire et d'autres preuves
• site - Le jeu de mystère de meurtre est présenté sous forme de site HTML statique. Certains fichiers sont des liens vers les assets de rpg_maker_project, la sortie binaire, ou sont générés par des scripts
• src - Le code source du contrôleur de sas que le joueur voit en résolvant le mystère

Commands

Générer les preuves :

./scripts/docker_generate_site.sh

Télécharger le site :

./scripts/upload_site.sh

Exécuter airlock_ctrl dans le débogueur :

./scripts/generate_hack.sh
# Peut également utiliser la commande pwndbg
gdb -x scripts/analysis.gdbinit bin/airlock_ctrl

Exécuter la preuve de concept :

make clean && make
env -i setarch $(uname -m) -R $PWD/bin/min_poc
# Vérifier que les adresses imprimées correspondent aux valeurs dans vuln_test5.py
python minimal_example/vuln_test5.py
cp bin/input5_good bin/input5
env -i setarch $(uname -m) -R $PWD/bin/min_poc