Kengo's blog

Technical articles about original projects, JVM, Static Analysis and JavaScript.

Entries from 2013-07-10 to 1 day

Findbugs支持者が期待するDatalogによる解析の可能性

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