# seahorn/clam

<https://repo.masters-masters.com/en/repos/seahorn/clam>

[Home](https://repo.masters-masters.com/en) › [seahorn](https://repo.masters-masters.com/en/owners/seahorn) › [clam](https://repo.masters-masters.com/en/repos/seahorn/clam)

seahorn/clam has 291 stars on GitHub. Its RepoMasters card: Alpha tier. Static Analyzer for LLVM based on the Crab Abstract Interpretation Library Language: C.

| Field | Value |
| --- | --- |
| Owner | [seahorn](https://repo.masters-masters.com/en/owners/seahorn) |
| Stars | 291 |
| Forks | 41 |
| Language | [C](https://repo.masters-masters.com/en/languages/c) |
| License | Apache-2.0 |
| Created | 2017 |
| Topics | llvm, program-analysis, abstract-interpretation, invariants, static-analysis, software-verification |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [seahorn/clam](https://github.com/seahorn/clam) |

## Repository

Static Analyzer for LLVM based on the Crab Abstract Interpretation Library

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by seahorn

- [seahorn/seahorn · ★ 480 · C · Alpha](https://repo.masters-masters.com/en/repos/seahorn/seahorn)
- [seahorn/crab · ★ 259 · C++ · Alpha](https://repo.masters-masters.com/en/repos/seahorn/crab)
- [seahorn/sea-dsa · ★ 171 · C++ · Prototype](https://repo.masters-masters.com/en/repos/seahorn/sea-dsa)

## Nearby in C

- [opensensor/lightNVR · ★ 291 · C · Alpha](https://repo.masters-masters.com/en/repos/opensensor/lightNVR)
- [RocketGod-git/RocketGods-SubGHz-Toolkit · ★ 291 · C · Alpha](https://repo.masters-masters.com/en/repos/RocketGod-git/RocketGods-SubGHz-Toolkit)
- [codepdbh/nfsmw-android · ★ 291 · C · Alpha](https://repo.masters-masters.com/en/repos/codepdbh/nfsmw-android)
- [tsuna/contextswitch · ★ 291 · C · Alpha](https://repo.masters-masters.com/en/repos/tsuna/contextswitch)
- [fanchy/fflib · ★ 291 · C · Alpha](https://repo.masters-masters.com/en/repos/fanchy/fflib)
- [cbuchner1/ccminer · ★ 291 · C · Alpha](https://repo.masters-masters.com/en/repos/cbuchner1/ccminer)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.