From cda4bee6eeee984b6a8b6910e1518d6a3bc82c80 Mon Sep 17 00:00:00 2001
From: Kayne Ruse <kayneruse@gmail.com>
Date: Mon, 13 Apr 2026 12:09:09 +1000
Subject: [PATCH] Double-checked strncpy doesn't have bugs

Apparently the linux kernel removed strncpy entirely.
---
 repl/main.c | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/repl/main.c b/repl/main.c
index ba9525f..0a47ddb 100644
--- a/repl/main.c
+++ b/repl/main.c
@@ -59,7 +59,8 @@ unsigned char* readFile(char* path, int* size) {
 	return buffer;
 }
 
-int getFileName(char* dest, const char* src) {
+int getFileName(char* dest, const char* src, size_t destLength) {
+#define MIN(a, b) ((a) < (b) ? (a) : (b))
 	char* p = NULL;
 
 	//find the last slash, regardless of platform
@@ -68,21 +69,23 @@ int getFileName(char* dest, const char* src) {
 		p = strrchr(src, '/');
 	}
 	if (p == NULL) {
-		int len = strlen(src);
+		int len = MIN(strlen(src), destLength-1);
 		strncpy(dest, src, len);
+		dest[len] = '\0';
 		return len;
 	}
 
 	p++; //skip the slash
 
 	//determine length of the file name
-	int len = strlen(p);
+	int len = MIN(strlen(src), destLength-1);
 
 	//copy to the dest
 	strncpy(dest, p, len);
 	dest[len] = '\0';
 
 	return len;
+#undef MIN
 }
 
 //callbacks
@@ -224,7 +227,9 @@ CmdLine parseCmdLine(int argc, const char* argv[]) {
 					exit(-1);
 				}
 
-				strncpy(cmd.infile, argv[i], strlen(argv[i]));
+				int len = strlen(argv[i]);
+				strncpy(cmd.infile, argv[i], len);
+				cmd.infile[len] = '\0';
 			}
 		}
 
@@ -322,7 +327,7 @@ int repl(const char* filepath, bool verbose) {
 
 	//vars to use
 	char prompt[256];
-	getFileName(prompt, filepath);
+	getFileName(prompt, filepath, 256);
 	unsigned int INPUT_BUFFER_SIZE = 4096;
 	char inputBuffer[INPUT_BUFFER_SIZE];
 	memset(inputBuffer, 0, INPUT_BUFFER_SIZE);