int main()
{
   char b[5];
   strcpy(b,"Hello,Aix");
   printf("b is %s",b);
}

b is Hello,Aix

运行上面竟然不会报错？？怎么会这样？难道aix帮这个变量增加了空间?

我再说一遍：
错误的程序未必会得到错误的结果。

但至少它应该会溢出

而且每次运行，b 都是等于 Hello,Aix

溢出时又不保证一定不输出 Hello, Aix

不光是aix中，什么系统中也可能不出错。

在这种情况，怎样才能发现这个bug?

这个要程序员自己检查了。

假设一个上几万行得程序，虽然有这个bug，但测试时，都是输出正确得结果，那没可能还要一个个去检查吧

这个问题很好解决。
把 3k 的程序员解雇掉，
换一个 13k 的，就可以了。