Datalog-based analysis

Also known as Declarative program analysis, Doop-style analysis. This is the canonical page; those names redirect here.

Pairings in the atlas

Declarative rule evaluationspecialistSecurity analysis program-analysis

Rivals: other methods for the same problems

Taint analysis

Where it sits

program-analysis · Formal Languages & Compilers