Fix CBMC

Author: tony-josi-aws

test/cbmc/proofs/DNS/DNSTreatNBNS/Makefile.json

@@ -2,14 +2,15 @@
   "ENTRY": "DNS_TreatNBNS",
   "USE_CACHE":1,
   "NBNS_NAME_MAX_LENGTH":17,
+  "DNS_CACHE_NAME_LENGTH": 254,
   "CBMCFLAGS":
   [
   	"--unwind 1",
     "--unwindset DNS_TreatNBNS.0:{NBNS_NAME_MAX_LENGTH}",
     "--unwindset prvFindEntryIndex.0:2",
     "--unwindset strcmp.0:{NBNS_NAME_MAX_LENGTH}",
     "--unwindset strlen.0:{NBNS_NAME_MAX_LENGTH}",
-    "--unwindset strcpy.0:{NBNS_NAME_MAX_LENGTH}"
+    "--unwindset strncpy.0:{DNS_CACHE_NAME_LENGTH}"
   ],
   "OBJS":
   [