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

Field Value
Groups
  • AmeriGEOSS
  • National Provider
  • North America
Tags
  • amerigeo
  • amerigeoss
  • ckan
  • geo
  • geoss
  • national
  • north-america
  • united-states
isopen False
license_id us-pd
license_title us-pd
maintainer Dennis Koga
maintainer_email dennis.koga@nasa.gov
metadata_created 2025-12-01T10:11:59.058990
metadata_modified 2025-12-01T10:11:59.058994
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 8
title ARC Code TI: Inference Kernel for Open Static Analyzers (IKOS)