靜態分析工具
在TPTP工具箱中，另一件有趣的工具就是靜態分析工具。Java靜態分析工具，例如PMD，允許通過基于一組代碼預定義規則和最佳實踐檢查來檢查代碼，從而自動驗證代碼質量�，F在，TPTP也包含一個靜態分析工具。除了提供它自己的一組靜態分析規則之外，這個工具還可以提供一個一致的接口，其他工具廠商可以在這個接口中集成他們自己的規則。
要對代碼進行靜態分析，需要創建分析配置。在Java視圖或Analysis圖標中，使用上下文菜單打開Analysis窗口，它現在應該出現在工具欄上（參見圖9）。分析配置決定了要分析的代碼（Scope）和應該遵循的規則（Rules）。有71條規則可供選擇，例如"Avoid casting primitive types to lower precision"和"Always provide a break at the end of every case statement"。您還可以使用預定義的規則，例如"Java Quick Code Review"（在這里，71條規則中只有19條適用）。
圖 9:建立靜態分析規則