Skip to content
Snippets Groups Projects
Normal view Permalink
alarms.csv 547 B
Newer Older
Andre Maroneze's avatar
Initial commit
Andre Maroneze committed
1 2 3 4 5 6 
directory	file	line	function	property kind	status	property
.	pointer_offset_from_subtraction_1_global.c	5	main	signed_overflow	Unknown	-2147483648 ≤ uy - ux
.	pointer_offset_from_subtraction_1_global.c	5	main	signed_overflow	Unknown	uy - ux ≤ 2147483647
.	pointer_offset_from_subtraction_1_global.c	8	main	signed_overflow	Unknown	-2147483648 ≤ ux + offset
.	pointer_offset_from_subtraction_1_global.c	8	main	signed_overflow	Unknown	ux + offset ≤ 2147483647
.	pointer_offset_from_subtraction_1_global.c	11	main	mem_access	Unknown	\valid(p)