From 7ff2c521a33aec7bb27f0b2e662b93b0a2f192ad Mon Sep 17 00:00:00 2001 From: Thomas Bailleux Date: Wed, 24 Apr 2019 09:39:14 +0200 Subject: [PATCH] Add IKOS to the list of static analyzers --- 02-Use_the_Tools_Available.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/02-Use_the_Tools_Available.md b/02-Use_the_Tools_Available.md index 21fa04e..c635a3b 100644 --- a/02-Use_the_Tools_Available.md +++ b/02-Use_the_Tools_Available.md @@ -248,6 +248,11 @@ Qt Creator can plug into the clang static analyzer. [clazy](https://github.com/KDE/clazy) is a clang based tool for analyzing Qt usage. +### IKOS + +[IKOS](https://ti.arc.nasa.gov/opensource/ikos/) is an open source static analyzer, developed by NASA. It is based on the Abstract Interpretation. It is written in C++ and provides an analyzer for C and C++, using LLVM. +The source code is [available on Github](https://github.com/NASA-SW-VnV/ikos). + ## Runtime Checkers ### Code Coverage Analysis