Skip to content
Snippets Groups Projects
Normal view Permalink
alarms.csv 359 B
Newer Older
Andre Maroneze's avatar
Initial commit
Andre Maroneze committed
1 2 3 4 
directory	file	line	function	property kind	status	property
.	provenance_basic_mixed_global_offset+4.c	10	main	signed_overflow	Unknown	-2147483648 ≤ ux + offset
.	provenance_basic_mixed_global_offset+4.c	10	main	signed_overflow	Unknown	ux + offset ≤ 2147483647
.	provenance_basic_mixed_global_offset+4.c	12	main	mem_access	Invalid or unreachable	\valid(p)