# seahorn/clam

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

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

seahorn/clam, dépôt open source à 291 étoiles sur GitHub. Carte Alpha de RepoMasters. Static Analyzer for LLVM based on the Crab Abstract Interpretation Library

| Champ | Valeur |
| --- | --- |
| Propriétaire | [seahorn](https://repo.masters-masters.com/owners/seahorn) |
| Étoiles | 291 |
| Forks | 41 |
| Langage | [C](https://repo.masters-masters.com/languages/c) |
| Licence | Apache-2.0 |
| Création | 2017 |
| Sujets | llvm, program-analysis, abstract-interpretation, invariants, static-analysis, software-verification |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [seahorn/clam](https://github.com/seahorn/clam) |

## Fiche du dépôt

Static Analyzer for LLVM based on the Crab Abstract Interpretation Library

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de seahorn

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

## D’autres dépôts C

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.