一种二进制反编译结果优化方法及相关装置

本发明提供了一种二进制反编译结果优化方法及相关装置，属于网络安全与软件逆向工程技术领域。本发明利用反编译器角色对二进制文件进行反编译处理，得到中间表示代码；基于中间表示代码，得到中间表示代码的代码结构；利用优化器角色对中间表示代码的代码结构进行分析，得到分析结果，并在语义保留约束条件下，基于分析结果，对中间表示代码进行优化变换，得到优化后的候选代码；利用验证器角色对优化后的候选代码进行核验，得到核验结果；基于核验结果，判断是输出优化后的候选代码，还是利用优化器角色对优化后的候选代码再次进行优化变换。本发明解决了二进制反编译过程中缺乏有效的语义约束，导致逻辑错误多的问题。