DownUnderCTF: восстановление уравнений проверки флагов

Вопрос

Как можно восстановить проверку ввода без символов или исходного кода?

Что сделал REA

REA находит строки подсказок и перекрестные ссылки, анализирует программу проверки и считывает маски и целевые таблицы. Z3 решает ограничения 26; захват процесса проверяет исходный двоичный файл запроса.

Результаты, сообщенные автором

Официальная запись показывает, что «Правильно!» /выход 0 для правильного кандидата и Неверного! /выход 255 для неправильного кандидата. Затем решение сверяется с источником и метаданными организаторов.

Ограничения и непроверенные претензии

Решатель предполагает общий формат флагов и набор символов. Тайм-аут поиска второй модели истек, поэтому уникальность не доказана.

Чему научиться

После того, как статические рассуждения создадут кандидата, пропустите как правильные, так и неправильные входные данные через исходную программу.

Доказательства использования REA в источнике

Fresh inspection and process captures on 8 October 2026, using the published REA 4.1.0 package

Форматирование выдержки упрощено. Прочтите первоисточник для полного контекста.

Первоисточники

• Первоисточник/закрепленные доказательства
• Проект/демо
• Дополнительный источник 1

Независимое редакционное резюме. Кредит принадлежит первоначальным авторам. Целевое программное обеспечение, установщики и полный вывод декомпилятора здесь не перераспределяются.