From 213413aad7117950e73c598313721c576902af2e Mon Sep 17 00:00:00 2001 From: Jason Turner Date: Tue, 25 Oct 2022 12:54:33 -0600 Subject: [PATCH] Add codespell link --- 02-Use_the_Tools_Available.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/02-Use_the_Tools_Available.md b/02-Use_the_Tools_Available.md index 66d75ee..de1b26e 100644 --- a/02-Use_the_Tools_Available.md +++ b/02-Use_the_Tools_Available.md @@ -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