Dataset - NASA Open Data Portal (Filtered: Tags, Organization, License id, Res format)

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

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