andersk Git - splint.git/blame_incremental

... / ...

Commit	Line	Data
	1
	2	tainted.c: (in function f)
	3	tainted.c:5:20: Invalid transfer from tainted s to untainted (Possibly tainted
	4	storage used as untainted.): f(..., s, ...)
	5	tainted.c:3:48: s becomes tainted
	6	tainted.c:3:74: us becomes untainted
	7	tainted.c: (in function test)
	8	tainted.c:12:18: Invalid transfer from tainted s to untainted (Possibly tainted
	9	storage used as untainted.): system(..., s, ...)
	10	tainted.c:9:34: s becomes tainted
	11	tainted.xh:26:55: s becomes untainted
	12	tainted.c:17:18: Invalid transfer from tainted t to untainted (Possibly tainted
	13	storage used as untainted.): system(..., t, ...)
	14	tainted.c:15:3: t becomes tainted
	15	tainted.xh:26:55: s becomes untainted
	16	tainted.c:20:18: Invalid transfer from tainted t to untainted (Possibly tainted
	17	storage used as untainted.): system(..., t, ...)
	18	tainted.c:19:3: t becomes tainted
	19	tainted.xh:26:55: s becomes untainted
	20
	21	Finished checking --- 4 code warnings, as expected
	22
	23	tainted-bad.mts:18:7: Transfer clause uses unrecognized result state peach:
	24	untainted as tainted ==> peach
	25	tainted-bad.mts:14:17: Merge clause uses unrecognized second value junky:
	26	tainted X junky ==> error "Splat!"
	27	tainted-bad.mts:11:7: Annotation declaration uses unrecognized value name blue:
	28	maybetainted reference ==> blue
	29	tainted-bad.mts:5:21: Defaults declaration uses unrecognized value name
	30	stainted: stainted reference
	31	tainted-bad.mts:7:21: Duplicate defaults declaration for context parameter:
	32	untainted parameter
	33	tainted.c: (in function f)
	34	tainted.c:5:20: Invalid transfer from tainted s to untainted (Possibly tainted
	35	storage used as untainted.): f(..., s, ...)
	36	tainted.c:3:48: s becomes tainted
	37	tainted.c:3:74: us becomes untainted
	38	tainted.c: (in function test)
	39	tainted.c:12:18: Invalid transfer from tainted s to untainted (Possibly tainted
	40	storage used as untainted.): system(..., s, ...)
	41	tainted.c:9:34: s becomes tainted
	42	tainted.xh:26:55: s becomes untainted
	43	tainted.c:17:18: Invalid transfer from tainted t to untainted (Possibly tainted
	44	storage used as untainted.): system(..., t, ...)
	45	tainted.c:15:3: t becomes tainted
	46	tainted.xh:26:55: s becomes untainted
	47	tainted.c:20:18: Invalid transfer from tainted t to untainted (Possibly tainted
	48	storage used as untainted.): system(..., t, ...)
	49	tainted.c:15:3: t becomes tainted
	50	tainted.xh:26:55: s becomes untainted
	51
	52	Finished checking --- 9 code warnings, as expected
	53
	54	tainted2.c: (in function test)
	55	tainted2.c:20:10: Invalid transfer from tainted stk to untainted (Possibly
	56	tainted storage used as untainted.): return stk
	57	tainted2.c:17:14: stk becomes tainted
	58	tainted2.c:4:2: becomes untainted
	59
	60	Finished checking --- 1 code warning, as expected
	61
	62	tainted3.c: (in function test)
	63	tainted3.c:7:19: Invalid transfer from tainted def to untainted (Possibly
	64	tainted storage used as untainted.): checkUntainted(..., def, ...)
	65	tainted3.c:4:36: def becomes tainted
	66	tainted3.c:1:53: def becomes untainted
	67
	68	Finished checking --- 1 code warning, as expected
	69
	70	tainted4.c: (in function test)
	71	tainted4.c:9:19: Invalid transfer from tainted def to untainted (*def):
	72	Possibly tainted storage used as untainted.
	73	tainted4.c:6:36: def becomes tainted
	74
	75	Finished checking --- 1 code warning, as expected
	76
	77	Finished checking --- no warnings
	78
	79	taintedmerge.c: (in function f)
	80	taintedmerge.c:11:18: Invalid transfer from tainted t to untainted (Possibly
	81	tainted storage used as untainted.): system(..., t, ...)
	82	taintedmerge.c:10:3: t becomes tainted
	83	tainted.xh:26:55: s becomes untainted
	84	taintedmerge.c:14:18: Invalid transfer from tainted t to untainted (Possibly
	85	tainted storage used as untainted.): system(..., t, ...)
	86	taintedmerge.c:13:3: t becomes tainted
	87	tainted.xh:26:55: s becomes untainted
	88	taintedmerge.c:16:10: Stack-allocated storage t reachable from return value: t
	89
	90	Finished checking --- 3 code warnings, as expected
	91
	92	taintedimplicit.c: (in function dangerouscall)
	93	taintedimplicit.c:17:18: Invalid transfer from tainted [result of taintme] to
	94	untainted (Possibly tainted storage used as untainted.):
	95	system(..., taintme(s), ...)
	96	taintedimplicit.c:17:18: becomes tainted
	97	tainted.xh:26:55: s becomes untainted
	98
	99	Finished checking --- 1 code warning, as expected
	100
	101	sprintf.c: (in function sp)
	102	sprintf.c:7:3: Buffer overflow possible with sprintf. Recommend using snprintf
	103	instead: sprintf
	104	sprintf.c:10:3: Buffer overflow possible with sprintf. Recommend using
	105	snprintf instead: sprintf
	106	sprintf.c:11:18: Invalid transfer from tainted s to untainted (Possibly tainted
	107	storage used as untainted.): system(..., s, ...)
	108	sprintf.c:10:37: s becomes tainted
	109	tainted.xh:26:55: s1 becomes untainted
	110	sprintf.c:13:3: Buffer overflow possible with sprintf. Recommend using
	111	snprintf instead: sprintf
	112	sprintf.c:14:18: Invalid transfer from tainted s to untainted (Possibly tainted
	113	storage used as untainted.): system(..., s, ...)
	114	sprintf.c:13:61: s becomes tainted
	115	tainted.xh:26:55: s1 becomes untainted
	116
	117	Finished checking --- 5 code warnings, as expected