# NASA-SW-VnV/ikos — RepoVerse

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

URL: https://repoverse.app/cards/107311216

[Repository source](https://github.com/NASA-SW-VnV/ikos)

## Card snapshot

- Edition: Genesis
- Rarity: common
- Finish: Base
- Attack: 2614
- Defense: 3149
- GitHub stars: 3172
- GitHub forks: 221
- Language: C++
- Category: Programming Languages
- Snapshot date: 2026-10-22

These repository statistics and game attributes belong to this dated card snapshot. They are not a current assessment of software quality.

This page describes the repository card, without a holder or individual copy record.

- [Rules](https://repoverse.app/rules.md)
- [Explore](https://repoverse.app/explore)