New/cb multios

Plusieurs commits:

• Ajout du code initial nettoyé
• ajout du .frama-c avec éléments pour les 10 premiers programmes
• ajout des programmes (fix, fc_adapt, résultats) : (9)
  • 3D_Image_Toolkit
  • Accel
  • BudgIT
  • Dungeon_Master (not included)
  • chess_mimic
  • Glue
  • HackMan
  • Monster_Game
  • Particle_Simulator
  • WordCompletion
• Autres programmes : (12)
  • anagram_game
  • Audio_Visualizer
  • basic_emulator
  • basic_messaging
  • BitBlaster
  • Bloomy_Sunday
  • Board_Game
  • CGC_Board
  • CGC_File_System
  • CGC_Image_Parser
  • CGC_Symbol_Viewer_CSV
  • CLOUDCOMPUTE

A partir de CNMP, utilisation de la branche frama-c fix/eva/offsetmap : risque d'erreur lors de la CI

• suite :
  1. CNMP
  2. cotton_swab_arithmetic
  3. DFARS_Sample_Service : non terminé
  4. Diary_Parser
  5. Differ
  6. Diophantine_Password_Wallet
  7. Dive_Logger
  8. Enslavednode_chat
  9. Estadio
  10. FablesReport

cgc/.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	stdlib.h	231	strtoul	precondition	Unknown	valid_string_nptr: valid_read_string(nptr)
+challenges/HackMan/src	main.c	61	cgc_read_until	initialization	Unknown	\initialized(&rx)
+challenges/HackMan/src	main.c	63	cgc_read_until	initialization	Unknown	\initialized(tmp_0)
+challenges/HackMan/src	main.c	66	cgc_read_until	mem_access	Unknown	\valid(c - 1)
+challenges/HackMan/src	main.c	74	cgc_parse_input	initialization	Unknown	\initialized(buf + 0)
+challenges/HackMan/src	main.c	147	cgc_record_winner	signed_overflow	Unknown	total + 1 ≤ 2147483647
+lib	fc_libcgc.c	52	cgc_isalpha	precondition of isalpha	Unknown	c_uchar_or_eof: (0 ≤ c ≤ 255) ∨ c ≡ -1
+lib	fc_libcgc.c	228	cgc_strtoul	precondition of strtoul	Unknown	valid_string_nptr: valid_read_string(nptr)