ikos

Public

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

Other

Updated Feb 3, 2026

Created Oct 17, 2017

3,108 stars

217 forks

61 watchers

43 open issues

Languages

Codebase composition by bytes

Top Contributors

412 commits

66 commits

9 commits

4 commits

4 commits

3 commits

1 commits

1 commits

1 commits

1 commits

Recent Stargazers

over 8 years ago

over 8 years ago

over 8 years ago

over 8 years ago

over 8 years ago

over 8 years ago

over 8 years ago

about 8 years ago

about 8 years ago

about 8 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)5,292

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 17Closed Issues 83

Open Issues100

Activity Peak

Most recent day with highest activityFeb 3, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

ikos