Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Skip to content

Try the next-generation Data Catalog at catalog-beta.data.gov and help shape it with your feedback.

  • Feedback

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

    Metadata Updated: March 13, 2026

    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.

    Access & Use Information

    Public: This dataset is intended for public access and use. License: No license information was provided. If this work was prepared by an officer or employee of the United States government as part of that person's official duties it is considered a U.S. Government Work.

    Downloads & Resources

    Dates

    Metadata Created Date November 12, 2020
    Metadata Updated Date March 13, 2026
    Data Update Frequency irregular

    Metadata Source

    Harvested from NASA Data.json

    Other Data Resources

    Additional Metadata

    Resource Type Dataset
    Metadata Created Date November 12, 2020
    Metadata Updated Date March 13, 2026
    Publisher Ames Research Center
    Maintainer
    Identifier OCIO-Fitara-142
    Data First Published 2015-01-07
    Data Last Modified 2025-03-31
    Category Management/Operations
    Public Access Level public
    Data Update Frequency irregular
    Bureau Code 026:00
    Metadata Context https://project-open-data.cio.gov/v1.1/schema/catalog.jsonld
    Schema Version 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 88fcd8dc-04bf-4f2c-b290-b79c56e6d9ab
    Harvest Source Id 58f92550-7a01-4f00-b1b2-8dc953bd598f
    Harvest Source Title NASA Data.json
    Homepage URL http://ti.arc.nasa.gov/opensource/ikos/
    Program Code 026:046
    Source Datajson Identifier True
    Source Hash 540f6715f16d8983d241423c703a488e7501e19420e951e304c9117010cd799b
    Source Schema Version 1.1

    Didn't find what you're looking for? Suggest a dataset here.