seahorn/clam-llvm10

Static Analysis based on Abstract Interpretation for LLVM 10

Latest release: over 2 years ago - 1,291 downloads - 584 dependencies

More details on packages.ecosyste.ms - JSON

Versions