C51工具是怎么进行覆盖分析的

C51工具针对8051微控制器的有限存储器资源进行了优化设计。

为了最有效地利用存储器，根据一个很容易解释的方法，自动变量和函数参数在存储器中均进行覆盖处理。

首先，连接器根据源程序生成调用树。例如：

OVERLAY MAP OF MODULE:   SAMPLE (SAMPLE)

SEGMENT                          DATA_GROUP
  +--> CALLED SEGMENT          START    LENGTH
----------------------------------------------
?C_C51STARTUP                  -----    -----
  +--> ?PR?MAIN?SAMPLE

?PR?MAIN?SAMPLE                0009H    0001H
  +--> ?PR?GETCHAR?GETCHAR
  +--> ?PR?_TOUPPER?TOUPPER
  +--> ?PR?PUTCHAR?PUTCHAR

?PR?GETCHAR?GETCHAR            -----    -----
  +--> ?PR?_GETKEY?_GETKEY
  +--> ?PR?PUTCHAR?PUTCHAR

在上例中，我们可以看到?C_C51STARTUP调用了MAIN函数，MAIN函数调用了GETCHAR、TOUPPER和PUTCHAR函数，而GETCHAR调用了GETKEY和PUTCHAR。

通过构造调用树，连接器便可分析出哪些函数的哪些数据段是相斥的，而后覆盖利用它们。

例如，假设MAIN C函数调用调用函数A、函数B和函数C。函数A使用了10字节的自动变量，函数B使用了20字节的自动变量，而函数C使用了16字节的自动变量。若函数A、B和C之间没有相互调用，则它们所使用的存储器可以进行覆盖利用。因此，相对于总的46字节(A使用10+B使用20+C使用16)数据存储器开销来说，经过覆盖利用，最终仅消耗20字节的数据存储器空间。

覆盖利用的存储器空间被称为DATA_GROUP、BIT_GROUP和XDATA_GROUP。