diff options
author | Paul E. McKenney <paulmck@kernel.org> | 2023-10-27 07:23:40 -0700 |
---|---|---|
committer | Paul E. McKenney <paulmck@kernel.org> | 2023-10-27 07:25:46 -0700 |
commit | 99441c956f884fe20c98fdd029457fef4e9f526d (patch) | |
tree | f27715de07b8c70a34d9f7d3e53c95e32094df99 | |
parent | f3ad0ca40f347cee1d1385c27ba1bbfd161d6da9 (diff) | |
download | perfbook-99441c956f884fe20c98fdd029457fef4e9f526d.tar.gz |
debugging: Add Coccinelle as a static-analysis tool
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
-rw-r--r-- | debugging/debugging.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/debugging/debugging.tex b/debugging/debugging.tex index f44ba2cc..3abaa37b 100644 --- a/debugging/debugging.tex +++ b/debugging/debugging.tex @@ -819,9 +819,9 @@ and fix some classes of Linux-kernel bugs~\cite{NicolasPalix2011CoccinelleTenYears}. Although it is likely that compilers will continue to increase their -static-analysis capabilities, the sparse static analyzer demonstrates -the benefits of static analysis outside of the compiler, particularly -for finding application-specific bugs. +static-analysis capabilities, coccinelle and the sparse static analyzer +demonstrate the benefits of static analysis outside of the compiler, +particularly for finding application-specific bugs. \Crefrange{sec:formal:SAT Solvers}{sec:formal:Stateless Model Checkers} describe more sophisticated forms of static analysis. |