Я просто хотел использовать eclipse tptp, фреймворк для статического анализа кода, но поддержка анализа кода закончилась с tptp 4.5.0.
1. похоже, что эта версия не может быть интегрирована в нынешнее затмение galileo. я прав?
2. какой независимый от языка каркас для затмения вы бы использовали в качестве альтернативы для статического анализа tptp, который работает с eclipse galileo?