如果我们自己编写了一个程序，程序能正常编译，运行起来也实现了我们期望的输出，那是不是这个程序就很完善了呢?对于工业产品来说，“好”、“能用”和“完善”，或者说“标准”，甚至是代码的“安全”，显然不是一个层面的东西。因为C语言虽然是我们开发嵌入式应用的最主要工具之一，然而C语言并非是专门为嵌入式系统设计，相当多的嵌入式系统较一般计算机系统对软件安全性有更苛刻的要求;例如在那些对安全性要求······