ARC Code TI: Inference Kernel for Open Static Analyzers (IKOS)

IKOS is a C++ library designed to facilitate the development of sound static analyzers based on 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 Abstract Interpretation.

Data and Resources

Additional Info

Field Value
Maintainer Dennis Koga
Last Updated March 31, 2025, 17:06 (UTC)
Created March 31, 2025, 17:06 (UTC)
accessLevel public
accrualPeriodicity irregular
bureauCode {026:00}
catalog_@context https://project-open-data.cio.gov/v1.1/schema/catalog.jsonld
catalog_@id https://data.nasa.gov/data.json
catalog_conformsTo https://project-open-data.cio.gov/v1.1/schema
catalog_describedBy https://project-open-data.cio.gov/v1.1/schema/catalog.json
harvest_object_id bd66832d-83f5-4490-88c9-e081a2e1a5eb
harvest_source_id 61638e72-b36c-4866-9d28-551a3062f158
harvest_source_title DNG Legacy Data
identifier OCIO-Fitara-142
issued 2015-01-07
landingPage http://ti.arc.nasa.gov/opensource/ikos/
modified 2020-01-29
programCode {026:046}
publisher Ames Research Center
resource-type Dataset
source_datajson_identifier true
source_hash bb2af513d33440f0879e2f54facc6690395b314efa5e2015ee8e59fe4eca8d41
source_schema_version 1.1
theme {Management/Operations}