{"repo":"NASA-SW-VnV/ikos","free":true,"listed":false,"github":"https://github.com/NASA-SW-VnV/ikos","clone":"git clone https://github.com/NASA-SW-VnV/ikos.git","description":"Static analyzer for C/C++ based on the theory of Abstract Interpretation.","language":"C++","stars":3161,"topics":["static-analysis","software-verification","abstract-interpretation","program-analysis"],"license":null,"category":"dev-tools","readme_excerpt":"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 Interpretation. IKOS provides a generic and efficient implementation of state-of-the-art Abstract Interpretation data structures and algorithms, such as control-flow graphs, fixpoint iterators, numerical abstract domains, etc. IKOS is independent of a particular programming language. IKOS also provides a C and C++ static analyzer based on LLVM. It implements scalable analyses for detecting and proving the absence of runtime errors in C and C++ programs. License ------- IKOS has been released under the NASA Open Source Agreement version 1.3, see LICENSE.pdf Contact ------- ikos@lists.nasa.gov Release notes ------------- See Releases. Troubleshooting --------------- See TROUBLESHOOTING.md Installation ------------ To install IKOS on Linux or macOS , we recommend to use Homebrew . First, install Homebrew by following these instructions. Then, simply run: For Windows, consider using Windows Subsystem for Linux. How to run IKOS --------------- Suppose we want to analyze t","default_branch":null,"files":null,"tree":[],"storefront":"/r/NASA-SW-VnV","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/NASA-SW-VnV/ikos/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}