3
我只是想使用eclipse tptp,一個用於靜態代碼分析的框架,但對代碼分析的支持以tptp 4.5.0結束。 1.看來這個版本不能集成到當前的eclipse galileo中。我對嗎? 2.您將使用哪種語言的獨立框架作爲tptp靜態分析的替代方法,可以與eclipse galileo一起使用?eclipse的靜態分析框架?
我只是想使用eclipse tptp,一個用於靜態代碼分析的框架,但對代碼分析的支持以tptp 4.5.0結束。 1.看來這個版本不能集成到當前的eclipse galileo中。我對嗎? 2.您將使用哪種語言的獨立框架作爲tptp靜態分析的替代方法,可以與eclipse galileo一起使用?eclipse的靜態分析框架?
我確認TPTP的「靜態分析」模塊已被移至the "as Is" (dormant) projects list,並帶有一個特殊的set of instructions。
靜態分析組件的所有者不再工作,contriube項目,並由於缺乏額外資源, 支持組件 資源,PMC已經決定將它移到按原樣,並且將會有 沒有對項目支持的組件進行維護。
我不知道另一個與語言無關 Eclipse上的靜態分析工具框架。
用於Java的工具很多,Findbugs就是一個很好的例子(或Checkstyle或PMD)。
但對於任何語言...我沒有找到任何語言。