IBM Checking Tool for Bugs Errors and Mistakes（本文后面将采用其文字缩写 BEAM）是 IBM 开发的一个静态分析工具，可以用于分析并查找出 C, C++ 和 Java 代码中的一些不容易发现的潜在错误，从而达到提高代码质量的目的。
