Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / NASA-SW-VnV / ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/NASA-SW-VnV%2Fikos
Stars: 1,988
Forks: 150
Open Issues: 37
License: other
Language: C++
Repo Size: 5 MB
Dependencies:
12
Created: over 6 years ago
Updated: 22 days ago
Last pushed: about 2 months ago
Last synced: 21 days ago
Topics: abstract-interpretation, program-analysis, software-verification, static-analysis
Files
Loading...
Readme
Loading...
Dependencies
- archlinux/base latest build
- centos 6 build
- centos 7 build
- debian 10 build
- debian 9 build
- fedora 29 build
- fedora 30 build
- samdoran/rhel6-ansible latest build
- samdoran/rhel7-ansible latest build
- ubuntu 16.04 build
- ubuntu 18.04 build
- ubuntu 19.04 build