{"owner":"seahorn","github":"https://github.com/seahorn","claimed":false,"inventory":[],"indexed":[{"repo":"seahorn/clam","github":"https://github.com/seahorn/clam","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"},{"repo":"seahorn/crab","github":"https://github.com/seahorn/crab","description":"A library for building abstract interpretation-based analyses.","language":"C++","stars":253,"topics":["static-analysis","abstract-interpretation","program-analysis","invariants","verification"],"license":"Apache-2.0","category":"dev-tools"}],"how_to_buy":"GET /r/seahorn/<repo> (Accept: application/json) for any listed repo here: tree, README, price and the checkout to pay (x402; rehearse first at its test twin, simulated money). Repos under 'indexed' are free: clone them from GitHub."}