Souffle

• 2022/02/25 Program Analysis with Datalog: Liveness and Reaching Definition
• 2022/02/21 Program Analysis with Datalog: Dominance Tree