Feature/new cgc

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

+directory	file	line	function	property kind	status	property
+FRAMAC_SHARE/libc	ctype.h	55	isalpha	precondition	Unknown	c_uchar_or_eof: (0 ≤ c ≤ 255) ∨ c ≡ -1
+FRAMAC_SHARE/libc	ctype.h	203	tolower	precondition	Unknown	c_uchar_or_eof: (0 ≤ c ≤ 255) ∨ c ≡ -1
+src	main.c	65	cgc_read_until	initialization	Unknown	\initialized(tmp_0)
+src	main.c	68	cgc_read_until	mem_access	Unknown	\valid(c - 1)
+src	main.c	88	cgc_parse_input	precondition of isalpha	Unknown	c_uchar_or_eof: (0 ≤ c ≤ 255) ∨ c ≡ -1
+src	main.c	89	cgc_parse_input	precondition of tolower	Unknown	c_uchar_or_eof: (0 ≤ c ≤ 255) ∨ c ≡ -1
+src	main.c	145	cgc_record_winner	precondition of dprintf_va_6	Unknown	valid_read_string(param0)
+src	main.c	145	dprintf_va_6	precondition	Unknown	valid_read_string(param0)
+src	main.c	149	cgc_record_winner	signed_overflow	Unknown	total + 1 ≤ 2147483647