[Main website]

tech/souffle-datalog-analysis-of-code

https://souffle-lang.github.io/

A system for describing in logic programming a type of analysis to do in code, and it derives a fast C++ code doing this type of analysis. It is used in production.