IBM 靜態分析工具 BEAM 實戰（二）：深度解讀錯誤報告與避坑指南

概覽

BEAM (Checking Tool for Bugs Errors and Mistakes) 輸出報告 BEAM-messages，缺陷分級：ERROR > MISTAKE > WARNING。本文針對四大高頻錯誤模式（ERROR2、ERROR7、ERROR22、ERROR23）逐一剖析成因、代碼反例與修正策略，並補充編碼技巧。

ERROR2：操作空對象

最常見且隱蔽，導致 NullPointerException。五大典型場景：

• 調用空對象方法：條件分支導致初始化失效（如 if (a>0) str=...; str.charAt(0);）
• 訪問/修改空對象域：未初始化陣列直接讀 length
• 操作空陣列元素：str[0] 或賦值
• 同步空對象：synchronized(null)
• 傳入空參數：方法內直接操作參數未判空

防禦策略：在無法確定對象非空時，使用前必判空（if (obj != null)），或採用 Objects.requireNonNull、註解 @NonNull 輔助靜態分析。

ERROR7：陣列越界訪問

拋出 ArrayIndexOutOfBoundsException / IndexOutOfBoundsException。常見原因：

1. 索引變量未驗證範圍（如負數、超過 length-1）
2. 誤用 size() 作為索引（最後索引為 size-1）
3. 條件分支導致陣列未完全初始化
4. 移除元素後仍訪問原索引

最佳實踐：雙重檢查——非空 + 索引邊界；優先使用 try-catch (IndexOutOfBoundsException) 兜底處理。

ERROR22：除零錯誤

變量作除數且可能為零，拋出 ArithmeticException。核心原因：開發者假設變量經運算後非零，但存在未覆蓋路徑導致為零。

修正：除法前顯式判斷除數是否為零，並處理零值情況（拋出業務異常或返回預設值）。

ERROR23：內存洩漏

Java GC 僅回收不可達對象，可達但無用對象導致洩漏，最終 OutOfMemoryError。典型模式：

• 集合類無限增長：static Hashtable/Vector 持續 put/add 無 remove 或清理不徹底
• 緩衝區單向增長：readBuffer 僅擴不縮
• 流未關閉：正常流程或異常分支漏 close()

解決方案：

1. 手動置空無用引用（obj = null）
2. 集合優先用局部變量，及時 remove 無用元素
3. 監聽器及時 removeListener
4. 流操作必在 finally 塊關閉 或使用 try-with-resources (Java 7+)
5. 覆寫 finalize() 輔助清理（不推薦作為主要手段）
6. 輔助工具：Optimizeit, JProbe, JInsight, Purify

其他編碼陷阱

• Iterator 誤用：多迭代器交叉調用 hasNext/next
• switch 缺 break：非故意貫穿導致邏輯錯誤
• 恆真/恆假條件：如 s.length() >= 0、x >= MIN || x <= MAX（應為 &&）、final boolean = true 導致短路
• if-else 缺漏：多條件分支無預設處理
• switch 缺 default：未處理未預期枚舉值

結語

BEAM 以定理證明與符號執行極大降低誤報，輸出完整錯誤路徑與變量值，助力開發者精準定位隱性缺陷。養成防禦性編碼習慣，結合靜態分析，方能寫出高質量 Java 代碼。