3 ms·
At least most of the decompiler logic comes from formal methods, thus reducing possible edge cases compared to statistics. There's a room for AI in reversing, b
by xvilka 4y ago
At least most of the decompiler logic comes from formal methods, thus reducing possible edge cases compared to statistics. There's a room for AI in reversing, but it should be a specifically trained model with a carefully extracted features from binary, not only disassembly output: graphs, debug and demangling info, types, IL analysis results, etc.
All these GPT-based plugins are just toys. There's more serious research like this[1][2][3]
[1] https://keenlab.tencent.com/zh/2019/12/10/Tencent-Keen-Security-Lab-Order-Matters/#more https://keenlab.tencent.com/zh/2019/12/10/Tencent-Keen-Secur...
[2] https://keenlab.tencent.com/zh/2020/11/03/neurips-2020-cameraready/#more https://keenlab.tencent.com/zh/2020/11/03/neurips-2020-camer...
[3] https://keenlab.tencent.com/zh/2021/08/11/2021-binaryai-public-release/ https://keenlab.tencent.com/zh/2021/08/11/2021-binaryai-publ...