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: April 10, 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 April 10, 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 April 10, 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 14ffe7f7-e656-40fc-91aa-a455057d2967
    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 d4728621eacd4c93038a715d6f97cc8a0e73007dbafee3011e36023429c9780e
    Source Schema Version 1.1

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