NASA-SW-VnV/ikos

This is stars and forks stats for /NASA-SW-VnV/ikos repository. As of 25 Apr, 2024 this repository has 1862 stars and 174 forks.

IKOS IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation. Introduction IKOS started as 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...