From 178b541fb2b5cb51140ed4f381b65c2a9b1a6466 Mon Sep 17 00:00:00 2001
From: Jason Pyeron <jpyeron@users.sourceforge.net>
Date: Wed, 23 Jul 2025 10:01:49 +0200
Subject: [PATCH] BUGFIX: #797 - gettoks did not protect against NULL pointer
 input

---
 src/frontend/dotcards.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/frontend/dotcards.c b/src/frontend/dotcards.c
index 15d1af3ac..9bdb5ac66 100644
--- a/src/frontend/dotcards.c
+++ b/src/frontend/dotcards.c
@@ -596,6 +596,10 @@ gettoks(char *s)
     list = NULL;
     prevp = &list;
 
+    if (!s) {
+        return list;
+    }
+
     /* stripWhite.... uses copy() to return a malloc'ed s, so we have to free it,
        using s0 as its starting address */
     if (strchr(s, '('))