Mirrors/cppbestpractices
1
0
Fork 0
mirror of https://github.com/cpp-best-practices/cppbestpractices.git synced 2025-12-17 03:04:36 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add IKOS to the list of static analyzers

Browse Source
This commit is contained in:
Thomas Bailleux
2019-04-24 09:39:14 +02:00
committed by GitHub
parent 31cef74911
commit 7ff2c521a3
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
02-Use_the_Tools_Available.md
View File

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