如何测试别人的代码是否有BUG

sybaselu

现在在看别人的CODE，大约有15000行，主要是测试程序的健壮性，系统是否稳定。现在的主要手段是针对内存分配这个地方（如是否有free释放，是否对分配失败作处理），以及调用其它有返回值的函数没做返回值的处理等，但是不知道是否可行？ 或者还有其它方法。
谢谢！