| | 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 |
andersk / splint.git / blame_incremental