Dataset - Catalog

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.

Filter by location Clear

Topics

There are no Topics that match this search

Topic Categories

There are no Topic Categories that match this search

Dataset Type

There are no Dataset Type that match this search

Tags

Formats

Organization Types

Organizations

Publishers

Bureaus

close

1 dataset found

Federal

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

National Aeronautics and Space Administration —

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...
- TAR

1 dataset found

You can also access this registry using the API (see API Docs).

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