Mirrors/awesome-cpp
1
0
Fork 0
mirror of https://github.com/fffaraz/awesome-cpp.git synced 2025-12-17 20:34:38 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add IKOS from NASA to static analyzers (#901)

Browse Source
This commit is contained in:
Sebastian
2019-10-18 02:23:46 +02:00
committed by myd7349
parent b9632506b3
commit cb2d5157c3
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@@ -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