# NASA-SW-VnV/ikos

<https://repo.masters-masters.com/repos/NASA-SW-VnV/ikos>

[Accueil](https://repo.masters-masters.com/) › [NASA-SW-VnV](https://repo.masters-masters.com/owners/NASA-SW-VnV) › [ikos](https://repo.masters-masters.com/repos/NASA-SW-VnV/ikos)

NASA-SW-VnV/ikos, dépôt open source à 3 177 étoiles sur GitHub. Carte RC de RepoMasters. Static analyzer for C/C++ based on the theory of Abstract…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [NASA-SW-VnV](https://repo.masters-masters.com/owners/NASA-SW-VnV) |
| Étoiles | 3 177 |
| Forks | 220 |
| Langage | [C++](https://repo.masters-masters.com/languages/c-plus-plus) |
| Licence | Aucune |
| Création | 2017 |
| Sujets | static-analysis, software-verification, abstract-interpretation, program-analysis |
| Rang | [RC (2 000 à 4 999 ★)](https://repo.masters-masters.com/ranks/blockbuster) |
| Voir sur GitHub | [NASA-SW-VnV/ikos](https://github.com/NASA-SW-VnV/ikos) |

## Fiche du dépôt

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Rang des dépôts qui ont 2 000 à 4 999 ★ sur GitHub. Probabilité publiée par carte tirée : 3 %. Rareté : Épique.

## Autres dépôts de NASA-SW-VnV

- [NASA-SW-VnV/fret · ★ 502 · JavaScript · Alpha](https://repo.masters-masters.com/repos/NASA-SW-VnV/fret)

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

- [Tencent/Tendis · ★ 3 181 · C++ · RC](https://repo.masters-masters.com/repos/Tencent/Tendis)
- [TheCruZ/kdmapper · ★ 3 180 · C++ · RC](https://repo.masters-masters.com/repos/TheCruZ/kdmapper)
- [zrythm/zrythm · ★ 3 178 · C++ · RC](https://repo.masters-masters.com/repos/zrythm/zrythm)
- [WrBug/dumpDex · ★ 3 171 · C++ · RC](https://repo.masters-masters.com/repos/WrBug/dumpDex)
- [rpng/open\_vins · ★ 3 166 · C++ · RC](https://repo.masters-masters.com/repos/rpng/open_vins)
- [githubhaohao/NDK\_OpenGLES\_3\_0 · ★ 3 166 · C++ · RC](https://repo.masters-masters.com/repos/githubhaohao/NDK_OpenGLES_3_0)

---
Données : GitHub · Illustration : image publique du projet, pixelisée par RepoMasters.