非纯变量下标的数组类型恢复

逆编译中，复合数据类型恢复是最困难的问题．文中介绍按特征进行数据流分析，收集变量的各种定义和引用信息，然后通过计算地址表达式和合并地址区间的方法恢复数组类型。与其他方法不同之处在于，它可以恢复非纯变量下标引用的数组类型．文中最后分析了该方法的实际使用效果．