[splint.git] / test / tainted / Makefile

.PHONY: tainted 

SPLINT = splint

all: tainted 

tainted:
	-${SPLINT} -mts tainted tainted.c -mustfree -exportlocal -expect 4
	-${SPLINT} tainted-bad.mts tainted.xh tainted.c -mustfree -exportlocal -expect 9
	-${SPLINT} -mts tainted tainted2.c -mustfree -exportlocal -expect 1
	-${SPLINT} -mts tainted tainted3.c -mustfree -exportlocal -expect 1
	-${SPLINT} -mts tainted tainted4.c -mustfree -exportlocal -expect 1
	-${SPLINT} -mts tainted tainted5.c -mustfree -exportlocal
	-${SPLINT} -mts tainted taintedmerge.c -mustfree -exportlocal -expect 3
	-${SPLINT} -mts tainted taintedimplicit.c -mustfree -exportlocal -expect 1
	-${SPLINT} -mts tainted sprintf.c -expect 5
	
# evans 2002-07-09: 3 more warnings for sprintf because of sprintf
Commit	Line	Data
98ed3b22	1	.PHONY: tainted
98ed3b22	2
11db3170	3	SPLINT = splint
98ed3b22	4
	5	all: tainted
	6
	7	tainted:
29d38a81	8	-${SPLINT} -mts tainted tainted.c -mustfree -exportlocal -expect 4
	9	-${SPLINT} tainted-bad.mts tainted.xh tainted.c -mustfree -exportlocal -expect 9
	10	-${SPLINT} -mts tainted tainted2.c -mustfree -exportlocal -expect 1
	11	-${SPLINT} -mts tainted tainted3.c -mustfree -exportlocal -expect 1
	12	-${SPLINT} -mts tainted tainted4.c -mustfree -exportlocal -expect 1
	13	-${SPLINT} -mts tainted tainted5.c -mustfree -exportlocal
	14	-${SPLINT} -mts tainted taintedmerge.c -mustfree -exportlocal -expect 3
	15	-${SPLINT} -mts tainted taintedimplicit.c -mustfree -exportlocal -expect 1
f9264521	16	-${SPLINT} -mts tainted sprintf.c -expect 5
	17
	18	# evans 2002-07-09: 3 more warnings for sprintf because of sprintf