{"repo":"seahorn/clam","free":true,"listed":false,"github":"https://github.com/seahorn/clam","clone":"git clone https://github.com/seahorn/clam.git","description":"Static Analyzer for LLVM based on the Crab Abstract Interpretation Library. Support up to LLVM 18","language":"C","stars":286,"topics":["llvm","program-analysis","abstract-interpretation","invariants","static-analysis","software-verification"],"license":"Apache-2.0","category":"dev-tools","readme_excerpt":"Clam: LLVM front-end for Crab # Clam is an Abstract Interpretation-based static analyzer that computes inductive invariants for LLVM bitcode based on the Crab library. The available documentation can be found in both Clam wiki and Crab wiki. LLVM version # This branch targets LLVM 15. LLVM bitcode is not compatible across major releases, so the clang that compiles your input and the Clam tools that read the resulting bitcode must both come from that release: a newer clang (Apple's system clang , or any clang from a later LLVM) emits bitcode the Clam tools cannot read, and every analysis fails while reading it. The commands below are the only ones in this file that name a version. The rest of the file refers to them as the LLVM release this branch targets : docker pull seahorn/clam-llvm15:nightly # prebuilt nightly image brew install llvm@15 # macOS (Homebrew), keg-only apt-get install clang-15 # Debian/Ubuntu Migrating to a newer LLVM release. Bump CLAM LLVM VERSION in CMakeLists.txt — it is the single source of truth for the build and drives find package(LLVM) , the dev branches of sea-dsa and llvm-seahorn, the versioned clang the test suite looks for, and clam.py — then update this section. Nothing else in this file needs an edit. Docker # Nightly images are built and pushed to Docker Hub; see LLVM version for the docker pull command. Requirements # Clam is written in C++ and uses heavily the Boost library. The main requirements are: - Modern C++ compiler (c++14 or newer; t","default_branch":null,"files":null,"tree":[],"storefront":"/r/seahorn","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/seahorn/clam/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}