seahorn / clamLinks

Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev14.
279Updated last year

Alternatives and similar repositories for clam

Users that are interested in clam are comparing it to the libraries listed below

Sorting: