dtdocbook: Coverity 86996

2018-07-04 02:01:15 +01:00
parent 751505e6ab
commit 82e8b80612
1 changed files with 1 additions and 1 deletions
--- a/cde/programs/dtdocbook/instant/util.c
+++ b/cde/programs/dtdocbook/instant/util.c
@@ -353,7 +353,7 @@ SetMapping(
 	fprintf(stderr, "SetMapping: Map not initialized.\n");
 	return;
    }
-    strcpy(buf, s);
+    snprintf(buf, sizeof(buf), "%s", s);
    name = val = buf;
    while (*val && !IsWhite(*val)) val++;	/* point past end of name */
    if (*val) {