]> andersk Git - splint.git/blob - test/tainted/Makefile
Renaming - LCLint => Splint
[splint.git] / test / tainted / Makefile
1 .PHONY: tainted 
2
3 SPLINT = splint
4
5 all: tainted 
6
7 tainted:
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
This page took 0.039687 seconds and 5 git commands to generate.