From 94963636ac647784af5c73760f240726656afd14 Mon Sep 17 00:00:00 2001
From: Aidan Garske <aidan@wolfssl.com>
Date: Thu, 10 Sep 2026 11:12:25 -0700
Subject: [PATCH] F-11901 - Fail make credential when the AK name cannot be
 read

---
 examples/attestation/make_credential.c | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/examples/attestation/make_credential.c b/examples/attestation/make_credential.c
index 7e52969e..512c1a4c 100644
--- a/examples/attestation/make_credential.c
+++ b/examples/attestation/make_credential.c
@@ -143,9 +143,18 @@ int TPM2_MakeCredential_Example(void* userCtx, int argc, char *argv[])
     fp = XFOPEN("ak.name", "rb");
     if (fp != XBADFILE) {
         size_t nameReadSz = XFREAD((BYTE*)&name, 1, sizeof(name), fp);
-        printf("Read AK Name digest %s\n",
-            nameReadSz == sizeof(name) ? "success" : "failed");
         XFCLOSE(fp);
+        if (nameReadSz != sizeof(name)) {
+            printf("Read AK Name digest failed\n");
+            rc = BUFFER_E;
+            goto exit;
+        }
+        printf("Read AK Name digest success\n");
+    }
+    else {
+        printf("Failed to open ak.name\n");
+        rc = BAD_FUNC_ARG;
+        goto exit;
     }
 #endif