Lithe, less analysis with Datalog

Intended audience Static analysis enthusiasts Logic programming enthusiasts Origin Recent experience with Soufflé Datalog. Discussion with Max Bernstein about his blog post Linear scan register allocation on SSA , resulting in his blog post Liveness analysis with Datalog . Mood Liberated Table of contents: Soufflé Rapid prototyping The curse of brevity Related posts Comments Soufflé I recently…