A tool for exporting LLVM bitcode into a Datalog workspace, which can then be used for static analysis.
This project uses a commercial Datalog engine, developed by LogicBlox Inc..
A tool for exporting LLVM bitcode into a Datalog workspace, which can then be used for static analysis.
This project uses a commercial Datalog engine, developed by LogicBlox Inc..