[analysis-scripts] Ensure argv array is properly terminated

share/analysis-scripts/fc_stubs.c

@@ -12,7 +12,7 @@ static volatile int nondet;
 int eva_main() {
   int argc = Frama_C_interval(0, 5);
   char argv0[256], argv1[256], argv2[256], argv3[256], argv4[256];
-  char *argv[5] = {argv0, argv1, argv2, argv3, argv4};
+  char *argv[6] = {argv0, argv1, argv2, argv3, argv4, 0};
   //@ loop unroll 5;
   for (int i = 0; i < 5; i++) {
     Frama_C_make_unknown(argv[i], 255);