嵌入式系统启动代码中变量初始化优化研究.pdfVIP

启动优化

我没少处理各种需要修复的程序错误。上，我的漏洞修复率一直很高——这个统计数字

恐怕并不光彩。既然要修复这么多漏洞，那它们最初很可能就是写出来的。

其中不少错误出现在启动代码中，与各类变量的初始值有关。经过一番排查后，我发现变量初

始化不仅仅是时赋初值这么简单。

以下是我的发现，了解这些能帮助你在初始化过程中避免类似错误。

局部变量

首先我们考察单个函数内的初始化过程，稍后再分析生命周期更长的数据初始化。

若局部变量后，在变量使用前存在多条通过if‑then语句的路径，某些路径可能初始化该

变量，而其他路径可能不会。我发现许多编译器在处理以下代码片段时会发出问题警告：

void

foo(void)

{

int

x;

if

(x5)

{

首次使用x时其值未知。运行时行为将不可预测，因为x的值取决于其栈空间位置恰好存放

的数据。

该函数的问题在于：变量名称在整个函数范围内有效，但其值仅在部分函数范围内有效。后

续可能有人在函数顶部附近添加使用该变量的代码。虽然变量名称有效，但其包含的值可能

无效。因此C++允许我们在函数任意位置变量——这样可避免在获得合适的初始值前声

明变量。如果

StartMeUp