Integration of scan-build and splint

1 files changed, 10 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index e7a3dfc..fd1bdc0 100644
--- a/Makefile
+++ b/Makefile
@@ -4,6 +4,16 @@ all:
 clean:
 	bam -c
 
+analyze:
+	scan-build -V bam
+
+reanalyze: clean analyze
+
+splint:
+	splint -I src/common/include src/common/*/*.c
+	splint -I src/common/include -I src/kernel/include src/kernel/*/*.c
+	splint -I src/common/include -I src/lib/include src/lib/*/*.c src/sysbin/*/*.c
+
 rebuild: clean all
 
 mrproper: clean