静态分析工具
在TPTP工具箱中，另一件有趣的工具就是静态分析工具。Java静态分析工具，例如PMD，允许通过基于一组代码预定义规则和最佳实践检查来检查代码，从而自动验证代码质量。现在，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:建立静态分析规则