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 e Risorse

Campo Valore
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
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 0fe1a9dc9d9bfd61fcca0d80f1a82d87cada416e
source_schema_version 1.1
theme {Management/Operations}
Gruppi
  • AmeriGEOSS
  • National Provider
  • North America
Tag
  • abstract-interpretation
  • amerigeo
  • amerigeoss
  • application
  • c_
  • ckan
  • geo
  • geoss
  • ikos
  • library
  • national
  • north-america
  • static-analyzer
  • united-states
isopen False
license_id notspecified
license_title License not specified
maintainer Dennis Koga
maintainer_email dennis.koga@nasa.gov
metadata_created 2025-11-22T20:11:51.376913
metadata_modified 2025-11-22T20:11:51.376917
notes 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.
num_resources 1
num_tags 14
title ARC Code TI: Inference Kernel for Open Static Analyzers (IKOS)