Archive · dataset · 2025
ARC Code TI: Inference Kernel for Open Static Analyzers (IKOS)
Listed in NASA Data Portal
IKOS is a C++ library designed to facilitate the development of sound static analyzers based on
Description
Abstract
Interpretation. Specialization of a static analyzer for an application or family of applications is critical for achieving both precision and scalability. Developing such an analyzer is arduous and requires significant expertise in
Read the rest (2 more)
Abstract
Interpretation.
Links
Get the data
- TAR ti.arc.nasa.gov/m/opensource/downloads/ikos/ikos_arbos.0.1.tar.gz ↗
download · from data nasa gov
Where it is published
- NASA Data Portal dataset page data.nasa.gov/dataset/arc-code-ti-inference-kernel-for-open-static-analyzers… ↗
landing page · from data nasa gov
Catalogue records · 1
- CKAN API data.nasa.gov/api/3/action/package_show?id=1d3e82ad-5b80-43b3-a603-0319f4ba7… ↗
metadata API · from data nasa gov
Provenance · 1 source records, 6 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| NASA Data Portal | 1d3e82ad-5b80-43b3-a603-0319f4ba77ee | 12 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| created_date | source · data nasa gov | connector:data_nasa_gov@1.0.0 | |
| description | source · data nasa gov | connector:data_nasa_gov@1.0.0 | /notes |
| license_text | source · data nasa gov | connector:data_nasa_gov@1.0.0 | |
| publication_date | source · data nasa gov | connector:data_nasa_gov@1.0.0 | |
| title | source · data nasa gov | connector:data_nasa_gov@1.0.0 | /title |
| updated_date | source · data nasa gov | connector:data_nasa_gov@1.0.0 |