/llvm-datalog

A tool that exports LLVM bitcode into a Datalog workspace.

Primary LanguageShell

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