4 ms·
Souffle Datalog is used for defining program analyses in such projects like Doop [1] for Java and cclyzer++ [2] for LLVM. GitHub's CodeQL [3] is another Datalo
by mechtaev 4y ago
Souffle Datalog is used for defining program analyses in such projects like Doop [1] for Java and cclyzer++ [2] for LLVM.
GitHub's CodeQL [3] is another Datalog dialect used for detecting bugs and vulnerabilities.
Datomic [4] is a database that uses Datalog as the query language.
[1] https://bitbucket.org/yanniss/doop/src/master/ https://bitbucket.org/yanniss/doop/src/master/
[2] https://github.com/GaloisInc/cclyzerpp https://github.com/GaloisInc/cclyzerpp
[3] https://codeql.github.com/ https://codeql.github.com/
[4] https://www.datomic.com/ https://www.datomic.com/
- gavinray 4y agoI'd never heard of this cclyzer tool, thanks for sharing. This looks really interesting. Know of any other tools for C/C++/JVM static analysis that folks might not be aware of? At the moment, I use GCC's -fanalyzer, the LLVM sanitizers + static analyzer, FB's Infer, and PVS Studio.