08/08/2020, Peter Sovietov

Formulog – выразительный DSL для задач статического анализа. Основан на Datalog и ML, реализация использует SMT-решатель.

Formulog: ML + Datalog + SMT http://www.weaselhat.com/2020/08/07/formulog-ml-datalog-smt/

#datalog #analysis #smt

---

23/06/2020, Peter Sovietov

Два небольших доклада об инструментах статического анализа, основанных на Datalog.

DOOP https://www.youtube.com/watch?v=FQRLB2xJC50

Soufflé https://www.youtube.com/watch?v=Qp3zfM-JSx8

#datalog #analysis