fix for CBMC proof

aws · Feb 21, 2024 · 5343f8f · 5343f8f
1 parent 2475223
commit 5343f8f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/test/cbmc/proofs/SigV4_GenerateHTTPAuthorization/Makefile b/test/cbmc/proofs/SigV4_GenerateHTTPAuthorization/Makefile
@@ -23,6 +23,7 @@ MAX_HEADERS_LEN=6
 MAX_URI_LEN=3
 MAX_REQUEST_LEN=16
 S3_SERVICE_LEN=2
+UNSIGNED_PAYLOAD_LEN=17
 MAX_REGION_LEN=30
 MAX_SERVICE_LEN=30
 MAX_ALGORITHM_LEN=30
@@ -50,6 +51,7 @@ UNWINDSET += lowercaseHexEncode.0:$(MAX_HASH_DIGEST_LEN)
 UNWINDSET += hmacIntermediate.0:$(MAX_HASH_BLOCK_LEN)
 UNWINDSET += hmacFinal.0:$(MAX_HASH_BLOCK_LEN)
 UNWINDSET += strncmp.0:$(S3_SERVICE_LEN)
+UNWINDSET += strlen.0:$(UNSIGNED_PAYLOAD_LEN)
 
 PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
 PROOF_SOURCES += $(SRCDIR)/test/cbmc/stubs/hash_stubs.c