key | value |
---|---|
id | 107311216 |
name | ikos |
full_name | NASA-SW-VnV/ikos |
html_url | https://github.com/NASA-SW-VnV/ikos |
description | Static analyzer for C/C++ based on the theory of Abstract Interpretation. |
created_at | Oct. 17, 2017, 6:55 p.m. |
updated_at | May 26, 2024, 2:08 a.m. |
pushed_at | April 1, 2024, 5:16 a.m. |
size | 5,240 |
stargazers_count | 1,998 |
watchers_count | 51 |
forks_count | 148 |
open_issues | 39 |
language | C++ |
awesome_list |