Tady：一种无结构约束违规的神经解汇器

解汇是二进制分析中的关键且具有挑战性的步骤。虽然新兴的神经解汇器在效率和准确性方面显示出前景，但它们经常生成违反基本结构约束的输出，这显著损害了实际可用性。为解决此关键问题，我们基于后支配关系正式化并应用关键结构约束，对解汇解空间进行正则化。这种方法系统性地检测了现有神经解汇器输出中普遍的错误。这些错误常源于模型的有限上下文建模和指令级解码，忽略了全局结构完整性。我们引入Tady，一种新型神经解汇器，具有改进的模型架构和专门设计的后处理算法，旨�们解决这些缺陷。对多样化二进制进行全面评估表明，Tady有效消除结构约束违规，同时保持高效性，同时保持指令级准确性。