5 ms·

Souffle: https://github.com/souffle-lang/souffle https://github.com/souffle-lang/souffle Used by projects such as Doop: https://bitbucket.org/yanniss/doop http

by kovvy 5y ago

Souffle: https://github.com/souffle-lang/souffle https://github.com/souffle-lang/souffle Used by projects such as Doop: https://bitbucket.org/yanniss/doop https://bitbucket.org/yanniss/doop and Ddisasm: https://github.com/grammatech/ddisasm https://github.com/grammatech/ddisasm