辞書: Checker Framework

Checker Frameworkとは

コードを静的チェックしてくれるツールです。 めちゃくちゃ機能があります。

公式サイト

• The Checker Framework

外部サイト

• Checker FrameworkによるJavaのNullnessの静的解析 - Qiita