この前Datalogベースの解析なるものを教えてもらって、Findbugsでは解決できていない以下の問題に解を与える存在になるのではと期待しています。インクリメンタルな実行ができない問題。クラスに変更があった場合、そのクラス自身に加えて依存するすべてのク…