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.
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.