seahorn/clam-llvm10

Static Analysis based on Abstract Interpretation for LLVM 10

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