Exakat
https://github.com/exakat/exakat-ce
型チェッカー
ベースの
静的解析器
。
コードフォーマッター
の機能も内包している。
商用製品だが、
Exakat community edition
として
AGPL
でライセンスされた
自由ソフトウェア
としてもリリースされている。