@aykutucesai

Aykut Üçeş 关于 REA 的 Threads 分享：它能够分析 .NET、Android APK、Go 和 Rust 二进制文件、固件、网站和包记录；在每个结果下方，它会说明依据什么证据以及在哪里存在不足；分析完全在本地机器上运行。举例来说，一个旧游戏的声音函数被反编译并重写回 C，并且 3205 个测试用例全部通过。