eclipse的静态分析框架？

Question

我只想使用eclipse tptp，这是一个用于静态代码分析的框架，但是tptp 4.5.0结束了对代码分析的支持。1.这个版本似乎无法集成到当前的eclipse galileo中。2.你会使用哪种语言独立的eclipse框架作为tptp静态分析的替代方案，它适用于eclipse galileo？

Answer 1

我确认TPTP的“静态分析”模块已经通过一个特殊的set of instructions迁移到了the "as Is" (dormant) projects list。

请参阅this thread

静态分析组件的所有者不再在项目中工作和创建资源，由于缺乏额外的资源来支持该组件，项目管理中心已决定将其移至原样，并且不会对该项目支持的组件进行维护。

我不知道Eclipse上的静态分析工具的另一个独立于语言的框架。

用于Java的工具有很多，Findbugs就是一个很好的例子(或者是Checkstyle，或者PMD)。

但对于任何语言...我什么也没找到。