3 ms·
I have been playing with Souffle for my datalog-based static analysis project https://souffle-lang.github.io/docs/home/ https://souffle-lang.github.io/docs/hom
by riza_on 8y ago
I have been playing with Souffle for my datalog-based static analysis project
https://souffle-lang.github.io/docs/home/ https://souffle-lang.github.io/docs/home/