diff --git a/share/analysis-scripts/fc_stubs.c b/share/analysis-scripts/fc_stubs.c
index ca1ed39a3ba9e6bf25975698f1f058fd08548dc6..fad866f2160ba5533c8658794a520c2bf0880962 100644
--- a/share/analysis-scripts/fc_stubs.c
+++ b/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);