Add codespell link

This commit is contained in:
Jason Turner
2022-10-25 12:54:33 -06:00
committed by GitHub
parent 3b4eee387c
commit 213413aad7

View File

@@ -260,6 +260,10 @@ Qt Creator can plug into the clang static analyzer.
[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).
### codespell
[codespell](https://github.com/codespell-project/codespell) is a spell checker for your source code.
## Runtime Checkers
### Code Coverage Analysis