[Main website]

tech/IncA

Incremental static analyzer written in Datalog.