File: Makefile

package info (click to toggle)
splint 3.1.2.dfsg1-2
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd, squeeze, wheezy
  • size: 12,908 kB
  • ctags: 15,816
  • sloc: ansic: 150,306; yacc: 3,463; sh: 3,426; makefile: 2,218; lex: 412
file content (18 lines) | stat: -rw-r--r-- 738 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
.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