Feature/new cgc

cgc-challenges/Glue/.frama-c/Glue.eva/alarms.csv

+directory	file	line	function	property kind	status	property
+CGC_LIB	libcgc.c	28	cgc_transmit	precondition of write	Unknown	buf_has_room: \valid_read((char *)buf + (0 .. count - 1))
+CGC_LIB	libcgc.c	41	cgc_receive	precondition of read	Unknown	buf_has_room: \valid((char *)buf + (0 .. count - 1))
+FRAMAC_SHARE/libc	string.h	125	strlen	precondition	Unknown	valid_string_s: valid_read_string(s)
+FRAMAC_SHARE/libc	unistd.h	1005	read	precondition	Unknown	buf_has_room: \valid((char *)buf + (0 .. count - 1))
+FRAMAC_SHARE/libc	unistd.h	1133	write	precondition	Unknown	buf_has_room: \valid_read((char *)buf + (0 .. count - 1))
+src	service.c	44	cgc_send_flush	initialization	Unknown	\initialized(&tx)
+src	service.c	132	cgc_reverse	precondition of strlen	Unknown	valid_string_s: valid_read_string(s)
+src	service.c	134	cgc_reverse	precondition of strlen	Unknown	valid_string_s: valid_read_string(s)
+src	service.c	138	cgc_reverse	mem_access	Unknown	\valid(tmp + j)
+src	service.c	147	cgc_read_ascii_octal	initialization	Unknown	\initialized(buf + i)
+src	service.c	200	cgc_get_user_code	signed_overflow	Unknown	-2147483648 ≤ uid * gid
+src	service.c	200	cgc_get_user_code	signed_overflow	Unknown	uid * gid ≤ 2147483647
+src	service.c	235	cgc_print_entry	precondition of printf_va_1	Unknown	valid_read_string(param0)
+src	service.c	235	printf_va_1	precondition	Unknown	valid_read_string(param0)
+src	service.c	236	cgc_print_entry	precondition of printf_va_2	Unknown	valid_read_string(param0)
+src	service.c	236	printf_va_2	precondition	Unknown	valid_read_string(param0)
+src	service.c	244	cgc_print_entry	initialization	Unknown	\initialized(&block->type[0])
+src	service.c	245	cgc_print_entry	precondition of printf_va_10	Unknown	valid_read_string(param0)
+src	service.c	245	printf_va_10	precondition	Unknown	valid_read_string(param0)
+src	service.c	246	cgc_print_entry	precondition of printf_va_11	Unknown	valid_read_string(param0)
+src	service.c	246	printf_va_11	precondition	Unknown	valid_read_string(param0)
+src	service.c	248	cgc_print_entry	precondition of printf_va_13	Unknown	valid_read_string(param0)
+src	service.c	248	printf_va_13	precondition	Unknown	valid_read_string(param0)
+src	service.c	249	cgc_print_entry	precondition of printf_va_14	Unknown	valid_read_string(param0)
+src	service.c	249	printf_va_14	precondition	Unknown	valid_read_string(param0)
+src	service.c	252	cgc_print_entry	precondition of printf_va_17	Unknown	valid_read_string(param0)
+src	service.c	252	printf_va_17	precondition	Unknown	valid_read_string(param0)
+src	service.c	284	cgc_empty_block	initialization	Unknown	\initialized(buf + i)