GitHub repository: numairmansur/crab-llvm
Primary language: C
Description: Static Analyzer for LLVM bitcode based on Abstract Interpretation