Merge pull request #1683 from CEED/jrwrigh/fix_oob

fix(jit): OOB array access in CeedNormalizePath
CEED · Oct 8, 2024 · dfc3c7d · dfc3c7d
2 parents 54f3731 + 6e25802
commit dfc3c7d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/interface/ceed-jit-tools.c b/interface/ceed-jit-tools.c
@@ -97,7 +97,7 @@ static int CeedNormalizePath(Ceed ceed, const char *source_file_path, char **nor
 
         while (last_slash[0] != '/' && last_slash != *normalized_source_file_path) last_slash--;
         CeedCheck(last_slash != *normalized_source_file_path, ceed, CEED_ERROR_MAJOR, "Malformed source path %s", source_file_path);
-        for (CeedInt i = 0; first_dot[i - 1]; i++) last_slash[i] = first_dot[i + 2];
+        for (CeedInt i = 0; first_dot[i + 1]; i++) last_slash[i] = first_dot[i + 2];
         search_from = last_slash;
       }
     }