Mistério de Assassinato com Core Dump Fatal

Repositório para gerar um site de jogo de mistério de assassinato com depuração de core dump.

ESTE REPOSITÓRIO CONTÉM SPOILERS DO JOGO!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

Você pode jogar aqui: https://www.robopenguins.com/fatal_core_dump/

Para um post no blog sobre o processo de design, veja: https://www.robopenguins.com/core-dump-game/

O repositório que hospeda uma VM para depuração do core dump no navegador é: https://github.com/axlan/webvm/tree/fatal_core_dump

Estrutura de Diretórios

• bin - Diretório de saída para arquivos gerados
• lib - Diretório para bibliotecas internas. Estas não são fornecidas como parte do mistério e são principalmente stubs para configurar as condições para o core dump
• minimal_example - Um diretório com experimentos usados para projetar o hack usado no assassinato
• rpg_maker_project - Fonte e assets do projeto RPG Maker
• scripts - Scripts para automatizar a geração do core dump e outras evidências
• site - O jogo de mistério de assassinato é apresentado como este site HTML estático. Alguns arquivos são links para assets do rpg_maker_project, saída binária ou são gerados por scripts
• src - O código fonte do controlador da airlock que o jogador vê enquanto resolve o mistério

Comandos

Gerar evidências:

./scripts/docker_generate_site.sh

Fazer upload do site:

./scripts/upload_site.sh

Executar airlock_ctrl no depurador:

./scripts/generate_hack.sh
# Can also use pwndbg command
gdb -x scripts/analysis.gdbinit bin/airlock_ctrl

Executar prova de conceito:

make clean && make
env -i setarch $(uname -m) -R $PWD/bin/min_poc
# Check that the addresses printed match the values in 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