GitHub repository: plast-lab/cclyzer
Primary language: Python
Description: A tool for analyzing LLVM bitcode using Datalog.