@aykutucesai

Aykut Üçeş の REA に関する Threads 投稿：.NET、Android APK、Go および Rust バイナリファイル、ファームウェア、ウェブサイト、パッケージレコードを分析できること；各結果の下にどの証拠に基づいているか、どこが不十分かを記述すること；分析は完全にローカルマシン上で実行されることを説明しています。例として、古いゲームのサウンド関数が逆コンパイルされ C に書き戻され、3205 のテストケースが合格したことが述べられています。