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

Merge pull request #104 from zadlg/patch-1

Browse Source 
Add IKOS to the list of static analyzers
This commit is contained in:
Jason Turner
2019-05-09 09:06:47 -05:00
committed by GitHub
parent 31cef74911 7ff2c521a3
commit e73393f25a
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