A tool for analyzing LLVM bitcode using Datalog. - View it on GitHub