# NASA-SW-VnV/ikos

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

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

NASA-SW-VnV/ikos has 3,177 stars on GitHub. Its RepoMasters card: RC tier. Static analyzer for C/C++ based on the theory of Abstract Interpretation.

| Field | Value |
| --- | --- |
| Owner | [NASA-SW-VnV](https://repo.masters-masters.com/en/owners/NASA-SW-VnV) |
| Stars | 3,177 |
| Forks | 220 |
| Language | [C++](https://repo.masters-masters.com/en/languages/c-plus-plus) |
| License | None |
| Created | 2017 |
| Topics | static-analysis, software-verification, abstract-interpretation, program-analysis |
| Tier | [RC (2,000 to 4,999 ★)](https://repo.masters-masters.com/en/ranks/blockbuster) |
| View on GitHub | [NASA-SW-VnV/ikos](https://github.com/NASA-SW-VnV/ikos) |

## Repository

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

The tier for repos with 2,000 to 4,999 ★. Published odds per card pulled: 3%. Rarity: Epic.

## More repos by NASA-SW-VnV

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

## Nearby in C++

- [Tencent/Tendis · ★ 3,182 · C++ · RC](https://repo.masters-masters.com/en/repos/Tencent/Tendis)
- [zrythm/zrythm · ★ 3,181 · C++ · RC](https://repo.masters-masters.com/en/repos/zrythm/zrythm)
- [TheCruZ/kdmapper · ★ 3,181 · C++ · RC](https://repo.masters-masters.com/en/repos/TheCruZ/kdmapper)
- [Djihads80/Eglantine · ★ 3,175 · C++ · RC](https://repo.masters-masters.com/en/repos/Djihads80/Eglantine)
- [WrBug/dumpDex · ★ 3,171 · C++ · RC](https://repo.masters-masters.com/en/repos/WrBug/dumpDex)
- [rpng/open\_vins · ★ 3,167 · C++ · RC](https://repo.masters-masters.com/en/repos/rpng/open_vins)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.