Skip to content
Data Hub
Datasets
Organizations
Groups
About
Home
Datasets
Order by
Relevance
Name Ascending
Name Descending
Last Modified
Go
1 dataset found
Tags:
static-analyzer
Filter Results
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
).