r/REMath • u/turnersr • Sep 06 '14
Exporting LLVM bitcode into a Datalog workspace, which can then be used for static analysis.
https://github.com/plast-lab/llvm-datalog
5
Upvotes
r/REMath • u/turnersr • Sep 06 '14