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..
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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..