Reko反编译器中的反汇编视图显示异常问题分析

问题概述

在Reko反编译器项目中，最近出现了一个关于反汇编视图显示异常的问题。具体表现为：当加载LinkIIgs样本并选择扫描二进制文件后，查看某些过程(如check_error_level)时，反汇编视图会出现数据损坏现象。

技术背景

这个问题与Reko项目中最近实现的IMemory接口有关。IMemory接口是Reko中用于抽象内存访问的核心组件，它提供了统一的内存读写操作方式，使得反编译器能够以一致的方式处理不同来源的二进制数据。

问题根源

通过深入分析，发现问题出在AbstractMixedCodeDataModel.SpanGenerator类中的GenerateSpan方法实现上。该方法负责生成反汇编视图中的每一行显示内容。

在IMemory接口实现前，代码使用结束地址(item.EndAddress)来创建图像读取器：

var rdr = program.CreateImageReader(program.Architecture, addr, item.EndAddress);

而IMemory接口实现后，代码改为使用当前地址和项目大小(item.Size)来创建读取器：

if (program.TryCreateImageReader(program.Architecture, addr, item.Size, out var rdr))

具体问题分析

当处理多行数据显示时，这种改变导致了边界条件处理的问题。以一个具体例子说明：

假设有一个项目从地址0x00100F58开始，大小为18字节(十进制)：

• 第一行显示地址0x00100F58到0x00100F5F的数据
• 第二行显示地址0x00100F60到0x00100F69的数据

在生成第一行时，使用地址0x00100F58和大小18，计算出的结束地址是0x00100F6A，这是正确的。但当生成第二行时，使用地址0x00100F60和同样的大小18，计算出的结束地址变成了0x00100F72，这超出了原始项目的范围。

影响结果

由于结束地址计算错误，导致：

1. 第二行会显示超出项目范围的额外数据(0x00100F6A到0x00100F6F)
2. 这些额外数据被错误地显示为十六进制数据，而不是预期的反汇编代码
3. 当下一个项目开始处理时，当前地址已经错误地前进到了0x00100F70，导致显示错位

解决方案

修复方案是调整GenerateSpan方法中的地址计算逻辑，确保：

1. 对于多行显示的项目，每行的结束地址计算正确
2. 对于部分行(不足一行的情况)，正确处理填充和ASCII数据显示
3. 确保不会读取超出项目范围的数据

总结

这个问题展示了在底层接口重构时，边界条件处理的重要性。IMemory接口的引入虽然提高了代码的抽象性和一致性，但也带来了新的边界条件需要处理。通过仔细分析内存访问和数据显示的交互，最终定位并修复了这个问题。

对于二进制反编译器这类工具，内存访问和数据显示的精确性至关重要，任何微小的计算错误都可能导致严重的显示问题。这个案例也提醒我们在进行底层接口重构时，需要全面考虑所有使用场景和边界条件。