最近几年,出现了新一代的静态代码检查器。这些新的代码检查器能够根据控制流和数据流分析来发现新型的缺陷。现在,无需实际运行代码即可检测到缓冲区溢出,内存泄漏和空指针取消引用等错误。由于最近的革命,用于C和C++的静态代码分析市场正在迅速变化。现有的代码检查器供应商也......