From e784b4107b343ff8a2f2d25a0ee24c4a4b4ac365 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Thu, 30 Apr 2020 21:17:12 +0200
Subject: [PATCH] [analysis-scripts] Ensure argv array is properly terminated
---
share/analysis-scripts/fc_stubs.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/share/analysis-scripts/fc_stubs.c b/share/analysis-scripts/fc_stubs.c
index ca1ed39a3ba..fad866f2160 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);
--
GitLab