DiskLens: проверка алгоритмов сканирования диска и древовидной карты в выпущенном двоичном файле

Вопрос

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

Что сделал REA

Claude Code использует REA и Ghidra в установленном WinDirStat.exe для подтверждения перечисления каталогов, средства чтения NTFS MFT, значений древовидной карты по умолчанию и дедупликации SHA-512. Автор утверждает, что подробности алгоритма в основном взяты из источника чтения; REA проверил выпущенный двоичный файл и руководил расследованием.

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

Проект публикует движок Rust, интерфейс Tauri/Svelte и идентификаторы REA Evidence. Автор сообщает о тестах движка 24 и проверке scan/treemap примерно 1.3 миллионов файлов на одной машине.

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

Автор явно не проверял сгенерированный код. В некоторых файловых операциях и системных интеграциях отсутствуют проверки реального пользовательского интерфейса. Быстрое сканирование MFT отсутствует, а жесткие ссылки учитываются дважды. Некоторые алгоритмы напрямую переносят исходный код GPL, поэтому это не реконструкция программного обеспечения с закрытым исходным кодом в «чистой комнате». Синхронизация одной машины не является контролируемым сравнением производительности.

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

Атрибутируйте двоичные наблюдения и чтение источника отдельно и укажите, какие файловые операции были фактически протестированы.

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

Claude used REA on the WinDirStat 2.5.0 installed on my PC

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

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

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

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