From 234de673768cfeae8d2740176e948218205451ac Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Tue, 16 Apr 2019 00:03:34 +0200 Subject: [PATCH] Test for argv to be terminated --- src/kernel/main.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/kernel/main.c b/src/kernel/main.c index e9198ff..a3940a1 100644 --- a/src/kernel/main.c +++ b/src/kernel/main.c @@ -21,6 +21,8 @@ int main(int argc, char * argv[]) printf("Command line:"); for(i = 0; i < argc; i++) printf(" %s%s", argv[i], (i + 1 == argc) ? "\n" : ""); + if(argv[i] != NULL) + puts("argv is not terminated properly!"); if((t = time(NULL)) == -1) printf("Could not get the current time (%d)\n", errno); else