From cb2d5157c3a1eb1a5053ddcd05ca0826c98dd387 Mon Sep 17 00:00:00 2001 From: Sebastian Date: Fri, 18 Oct 2019 02:23:46 +0200 Subject: [PATCH] Add IKOS from NASA to static analyzers (#901) --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 79259f7..862c17c 100644 --- a/README.md +++ b/README.md @@ -1006,6 +1006,7 @@ A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny * [OCLint](http://oclint.org/) - A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C. - [source](https://github.com/oclint/oclint) * [Clang Static Analyzer](http://clang-analyzer.llvm.org/index.html) - A source code analysis tool that finds bugs in C, C++, and Objective-C programs. * [Linticator](http://linticator.com) - Eclipse CDT integration of Pc-/FlexeLint. +* [IKOS](https://github.com/NASA-SW-VnV/ikos) - Static analyzer for C/C++ based on the theory of Abstract Interpretation. [NOSA 1.3] * [List of tools for static code analysis](https://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis#C.2FC.2B.2B) - A list of tools for static code analysis from Wikipedia. ## Coding Style Tools