From b29d6349ca24f20c130348463db2075b3df0a6b7 Mon Sep 17 00:00:00 2001 From: Vladislav P Date: Sun, 26 Dec 2021 13:43:07 -0500 Subject: [PATCH] Update README.md Added a new section (C++) and in there, added IKOS --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index f993e2c..bf82ed4 100644 --- a/README.md +++ b/README.md @@ -66,6 +66,9 @@ * [Otter](https://bitbucket.org/khooyp/otter/). * [CIVL](http://vsl.cis.udel.edu/civl/) - A framework that includes the CIVL-C programming language, a model checker and a symbolic execution tool. +### C++ + +* [IKOS](https://github.com/NASA-SW-VnV/ikos) - IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation ### JavaScript