# GaloisInc/cclyzerpp

<https://repo.masters-masters.com/repos/GaloisInc/cclyzerpp>

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

GaloisInc/cclyzerpp, dépôt open source à 153 étoiles sur GitHub. Carte Prototype de RepoMasters. cclyzer++ is a precise and scalable pointer analysis for LLVM…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [GaloisInc](https://repo.masters-masters.com/owners/GaloisInc) |
| Étoiles | 153 |
| Forks | 20 |
| Langage | [C++](https://repo.masters-masters.com/languages/c-plus-plus) |
| Licence | BSD-3-Clause |
| Création | 2022 |
| Sujets | program-analysis, static-analysis, pointer-analysis, souffle, datalog, llvm |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [GaloisInc/cclyzerpp](https://github.com/GaloisInc/cclyzerpp) |

## Fiche du dépôt

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de GaloisInc

- [GaloisInc/cryptol · ★ 1 227 · Haskell · Bêta](https://repo.masters-masters.com/repos/GaloisInc/cryptol)
- [GaloisInc/HaLVM · ★ 1 069 · Haskell · Bêta](https://repo.masters-masters.com/repos/GaloisInc/HaLVM)
- [GaloisInc/crucible · ★ 781 · Haskell · Bêta](https://repo.masters-masters.com/repos/GaloisInc/crucible)
- [GaloisInc/saw-script · ★ 525 · Haskell · Alpha](https://repo.masters-masters.com/repos/GaloisInc/saw-script)
- [GaloisInc/ivory · ★ 417 · Haskell · Alpha](https://repo.masters-masters.com/repos/GaloisInc/ivory)
- [GaloisInc/swanky · ★ 366 · Sieve · Alpha](https://repo.masters-masters.com/repos/GaloisInc/swanky)

## D’autres dépôts C++

- [natpoh/diablo2-vr-port · ★ 153 · C++ · Prototype](https://repo.masters-masters.com/repos/natpoh/diablo2-vr-port)
- [scuba-sc/sc-offline · ★ 153 · C++ · Prototype](https://repo.masters-masters.com/repos/scuba-sc/sc-offline)
- [OpenPortroid/ArmyOfTwoRecompilation · ★ 153 · C++ · Prototype](https://repo.masters-masters.com/repos/OpenPortroid/ArmyOfTwoRecompilation)
- [practicalarduino/SHT1x · ★ 153 · C++ · Prototype](https://repo.masters-masters.com/repos/practicalarduino/SHT1x)
- [cocos2d/cocos2d-x-extensions · ★ 153 · C++ · Prototype](https://repo.masters-masters.com/repos/cocos2d/cocos2d-x-extensions)
- [sol-prog/Perlin\_Noise · ★ 153 · C++ · Prototype](https://repo.masters-masters.com/repos/sol-prog/Perlin_Noise)

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