GitHub repository: seahorn/crab-llvm
Primary language: C
Created: 2017-06-30T22:19:51Z
Description: Static Analyzer for LLVM bitcode based on Abstract Interpretation