README.md

LLVM to Datalog

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..