[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 2
Commit	Line	Data
98ed3b22	1	.PHONY: tainted
98ed3b22	2
11db3170	3	SPLINT = splint
98ed3b22	4
	5	all: tainted
	6
	7	tainted:
11db3170	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
	16	${SPLINT} -mts tainted sprintf.c -expect 2