Skip to content

Commit 213413a

Browse files
authored
Add codespell link
1 parent 3b4eee3 commit 213413a

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

02-Use_the_Tools_Available.md

+4
Original file line numberDiff line numberDiff line change
@@ -260,6 +260,10 @@ Qt Creator can plug into the clang static analyzer.
260260
[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.
261261
The source code is [available on GitHub](https://github.com/NASA-SW-VnV/ikos).
262262

263+
### codespell
264+
265+
[codespell](https://github.com/codespell-project/codespell) is a spell checker for your source code.
266+
263267
## Runtime Checkers
264268

265269
### Code Coverage Analysis

0 commit comments

Comments
 (0)