seahorn/clam-llvm10

Static Analysis based on Abstract Interpretation for LLVM 10

Latest release: almost 4 years ago - 1,311 downloads - 584 dependencies