DownUnderCTF: recuperando equações de verificação de sinalizadores
Alvo: DownUnderCTF 2023 verificador de bandeira de quadrados mascarados, despojado Linux ELF
Autor / atribuição: Equipe de vitrine REA; autores originais do projeto creditados em fontes
Data de revisão da fonte:
Rever estado: Fontes revisadas; os testes do autor não são executados de forma independente.
A questão
Como a validação de entrada pode ser recuperada sem símbolos ou código-fonte?
O que REA fez
REA encontra strings de prompt e referências cruzadas, analisa o verificador e lê máscaras e tabelas de destino. Z3 resolve as restrições 26; a captura do processo verifica o binário do desafio original.
Resultados relatados pelo autor
O registro oficial mostra Correto! /exit 0 para o candidato correto e Incorreto! /exit 255 para um candidato incorreto. A solução é então verificada em relação à fonte e aos metadados dos organizadores.
Limitações e reivindicações não verificadas
O solucionador assume um formato de sinalizador e um conjunto de caracteres comuns. A pesquisa do segundo modelo expirou, portanto a exclusividade não foi comprovada.
O que aprender
Depois que o raciocínio estático produzir um candidato, execute as entradas corretas e incorretas por meio do programa original.
Evidência de uso de REA na fonte
Fresh inspection and process captures on 8 October 2026, using the published REA 4.1.0 packageA formatação do trecho é simplificada. Leia a fonte original para o contexto completo.
Fontes originais
Resumo editorial independente. O crédito pertence aos autores originais. O software alvo, os instaladores e a saída completa do descompilador não são redistribuídos aqui.