From 299aacae4e5b48fa6598263764d1ca29fc558496 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Sun, 2 Aug 2009 15:36:19 +0200 Subject: [PATCH] Talk about smatch_scripts/kchecker Signed-off-by: Dan Carpenter --- README-smatch | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README-smatch b/README-smatch index 3179ffed..90e69dfb 100644 --- a/README-smatch +++ b/README-smatch @@ -10,6 +10,8 @@ This compiles creates a binary called "smatch". For the kernel use: make -k CHECK=/path/to/smatch C=y bzImage | tee warns.txt +There is also a smatch_scripts/kchecker script for checking individual .c kernel files. + Most of the things that smatch prints out is not actually warnings. What I was trying to do with that was catch errors where a NULL is passed to a function that dereferences the parameter without checking. -- 2.11.4.GIT