ARC Code TI: Inference Kernel for Open Static Analyzers (IKOS)
type: Dataset
description: 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.
keyword: abstract-interpretation
keyword: amerigeo
keyword: amerigeoss
keyword: application
keyword: c_
keyword: ckan
keyword: geo
keyword: geoss
keyword: ikos
keyword: library
keyword: national
keyword: north-america
keyword: static-analyzer
keyword: united-states
issued: 2015-01-07
modified: 2020-01-29
theme: Operations}
contact point: Organization
  fn: Dennis Koga

US Migrating
type: Agent

TAR Compressed File
type: Distribution
description: ikos_arbos.0.1.tar.gz
media type: application/x-tar
format: TAR
access URL: http://ti.arc.nasa.gov/m/opensource/downloads/ikos/ikos_arbos.0.1.tar.gz
issued: 2020-11-12T04:20:43.093298
modified: 2025-11-22T20:11:51.368485