*** empty log message ***

[splint.git] / test / tainted / Makefile

diff --git a/test/tainted/Makefile b/test/tainted/Makefile
new file mode 100644 (file)
index 0000000..1d0c0dd
--- /dev/null
+++ b/test/tainted/Makefile
@@ -0,0 +1,15 @@
+.PHONY: tainted 
+
+LCLINT = lclint
+
+all: tainted 
+
+tainted:
+       ${LCLINT} -mts tainted tainted.c -mustfree -exportlocal -expect 4
+       ${LCLINT} tainted-bad.mts tainted.xh tainted.c -mustfree -exportlocal -expect 9
+       ${LCLINT} -mts tainted tainted2.c -mustfree -exportlocal -expect 1
+       ${LCLINT} -mts tainted tainted3.c -mustfree -exportlocal -expect 1
+       ${LCLINT} -mts tainted tainted4.c -mustfree -exportlocal -expect 1
+       ${LCLINT} -mts tainted tainted5.c -mustfree -exportlocal
+       ${LCLINT} -mts tainted taintedmerge.c -mustfree -exportlocal -expect 3
+       ${LCLINT} -mts tainted taintedimplicit.c -mustfree -exportlocal -expect 1