From 4c97f1cee1c5ffe9b605ae95febfeba836b421b4 Mon Sep 17 00:00:00 2001
From: DakshitBabbar <dakshitbabbar.iitd@gmail.com>
Date: Mon, 12 May 2025 14:18:23 +0530
Subject: [PATCH 1/2] Update version numbers and readme files for release
 workflow

---
 CHANGELOG.md                                                  | 3 +++
 README.md                                                     | 4 ++--
 docs/doxygen/config.doxyfile                                  | 2 +-
 manifest.yml                                                  | 2 +-
 source/core_pkcs11.c                                          | 2 +-
 source/core_pki_utils.c                                       | 2 +-
 source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.c      | 2 +-
 source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.h      | 2 +-
 source/include/core_pkcs11.h                                  | 2 +-
 source/include/core_pkcs11_config_defaults.h                  | 2 +-
 source/include/core_pkcs11_pal.h                              | 2 +-
 source/include/core_pki_utils.h                               | 2 +-
 source/portable/mbedtls/core_pkcs11_mbedtls.c                 | 2 +-
 source/portable/os/core_pkcs11_pal_utils.c                    | 2 +-
 source/portable/os/core_pkcs11_pal_utils.h                    | 2 +-
 source/portable/os/freertos_winsim/core_pkcs11_pal.c          | 2 +-
 source/portable/os/posix/core_pkcs11_pal.c                    | 2 +-
 test/cbmc/include/core_pkcs11_config.h                        | 2 +-
 test/cbmc/include/pkcs11_interface_stubs.h                    | 2 +-
 test/cbmc/proofs/C_CloseSession/C_CloseSession_harness.c      | 2 +-
 test/cbmc/proofs/C_CreateObject/C_CreateObject_harness.c      | 2 +-
 test/cbmc/proofs/C_DestroyObject/C_DestroyObject_harness.c    | 2 +-
 test/cbmc/proofs/C_DigestFinal/C_DigestFinal_harness.c        | 2 +-
 test/cbmc/proofs/C_DigestInit/C_DigestInit_harness.c          | 2 +-
 test/cbmc/proofs/C_DigestUpdate/C_DigestUpdate_harness.c      | 2 +-
 test/cbmc/proofs/C_Finalize/C_Finalize_harness.c              | 2 +-
 test/cbmc/proofs/C_FindObjects/C_FindObjects_harness.c        | 2 +-
 .../proofs/C_FindObjectsFinal/C_FindObjectsFinal_harness.c    | 2 +-
 .../cbmc/proofs/C_FindObjectsInit/C_FindObjectsInit_harness.c | 2 +-
 .../cbmc/proofs/C_GenerateKeyPair/C_GenerateKeyPair_harness.c | 2 +-
 test/cbmc/proofs/C_GenerateRandom/C_GenerateRandom_harness.c  | 2 +-
 .../proofs/C_GetAttributeValue/C_GetAttributeValue_harness.c  | 2 +-
 .../cbmc/proofs/C_GetFunctionList/C_GetFunctionList_harness.c | 2 +-
 .../proofs/C_GetMechanismInfo/C_GetMechanismInfo_harness.c    | 2 +-
 test/cbmc/proofs/C_GetSlotList/C_GetSlotList_harness.c        | 2 +-
 test/cbmc/proofs/C_Initialize/C_Initialize_harness.c          | 2 +-
 test/cbmc/proofs/C_OpenSession/C_OpenSession_harness.c        | 2 +-
 test/cbmc/proofs/C_Sign/C_Sign_harness.c                      | 2 +-
 test/cbmc/proofs/C_SignInit/C_SignInit_harness.c              | 2 +-
 test/cbmc/proofs/C_Verify/C_Verify_harness.c                  | 2 +-
 test/cbmc/proofs/C_VerifyInit/C_VerifyInit_harness.c          | 2 +-
 .../PKI_mbedTLSSignatureToPkcs11Signature_harness.c           | 2 +-
 .../PKI_pkcs11SignatureTombedTLSSignature_harness.c           | 2 +-
 .../vAppendSHA256AlgorithmIdentifierSequence_harness.c        | 2 +-
 .../xFindObjectWithLabelAndClass_harness.c                    | 2 +-
 test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c          | 2 +-
 .../cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c | 2 +-
 .../xInitializePkcs11Session_harness.c                        | 2 +-
 .../xInitializePkcs11Token/xInitializePkcs11Token_harness.c   | 2 +-
 test/cbmc/stubs/core_pkcs11_pal_stubs.c                       | 2 +-
 test/cbmc/stubs/core_pki_utils_stubs.c                        | 2 +-
 test/cbmc/stubs/mbedtls_stubs.c                               | 2 +-
 test/cbmc/stubs/pkcs11_interface_stubs.c                      | 2 +-
 test/include/core_pkcs11_config.h                             | 2 +-
 test/include/logging_levels.h                                 | 2 +-
 test/include/logging_stack.h                                  | 2 +-
 test/include/malloc_stub.h                                    | 2 +-
 test/include/mock_osal.h                                      | 2 +-
 test/mbedtls_integration/core_pkcs11_config.h                 | 2 +-
 test/mbedtls_integration/core_pkcs11_test_config.h            | 2 +-
 test/mbedtls_integration/mbedtls_integration_test.c           | 2 +-
 test/pkcs11_mbedtls_utest/core_pkcs11_mbedtls_utest.c         | 2 +-
 test/pkcs11_utils_utest/pkcs11_utils_utest.c                  | 2 +-
 test/wrapper_utest/core_pkcs11_utest.c                        | 2 +-
 64 files changed, 67 insertions(+), 64 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index f6856ce0..f69c15cf 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,8 @@
 # Change Log for corePKCS11 Library
 
+## v3.6.3 (May 2025)
+* [#206](https://github.com/FreeRTOS/corePKCS11/pull/206) Update mbedtls version to v3.6.3 and fix build errors
+
 ## v3.6.2 (October 2024)
 * [#202](https://github.com/FreeRTOS/corePKCS11/pull/202) Export RSA key attributes from mbedtls context to support TLSv1.3
 
diff --git a/README.md b/README.md
index 70b07f9b..6d0726f4 100644
--- a/README.md
+++ b/README.md
@@ -47,8 +47,8 @@ safety through the
 See memory requirements for this library
 [here](./docs/doxygen/include/size_table.md).
 
-**corePKCS11 v3.6.2
-[source code](https://github.com/FreeRTOS/corePKCS11/tree/v3.6.2/source) is part
+**corePKCS11 v3.6.3
+[source code](https://github.com/FreeRTOS/corePKCS11/tree/v3.6.3/source) is part
 of the
 [FreeRTOS 202406.00 LTS](https://github.com/FreeRTOS/FreeRTOS-LTS/tree/202406.00-LTS)
 release.**
diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile
index 04e4d298..e8204515 100644
--- a/docs/doxygen/config.doxyfile
+++ b/docs/doxygen/config.doxyfile
@@ -48,7 +48,7 @@ PROJECT_NAME           = corePKCS11
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER         = v3.6.2
+PROJECT_NUMBER         = v3.6.3
 
 # Using the PROJECT_BRIEF tag one can provide an optional one line description
 # for a project that appears at the top of each page and should give viewer a
diff --git a/manifest.yml b/manifest.yml
index 5b0f7a7f..bf26feb5 100644
--- a/manifest.yml
+++ b/manifest.yml
@@ -1,5 +1,5 @@
 name: "corePKCS11"
-version: "v3.6.2"
+version: "v3.6.3"
 description: "Software implementation of the PKCS #11 standard."
 license: "MIT"
 
diff --git a/source/core_pkcs11.c b/source/core_pkcs11.c
index 4edc2c43..79b24486 100644
--- a/source/core_pkcs11.c
+++ b/source/core_pkcs11.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/core_pki_utils.c b/source/core_pki_utils.c
index 723e40b8..6ec5e6dd 100644
--- a/source/core_pki_utils.c
+++ b/source/core_pki_utils.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.c b/source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.c
index 5a4098d8..3db49847 100644
--- a/source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.c
+++ b/source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.h b/source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.h
index c939d508..ead659ed 100644
--- a/source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.h
+++ b/source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/include/core_pkcs11.h b/source/include/core_pkcs11.h
index d25f7f67..7c139bd7 100644
--- a/source/include/core_pkcs11.h
+++ b/source/include/core_pkcs11.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/include/core_pkcs11_config_defaults.h b/source/include/core_pkcs11_config_defaults.h
index 37a910b4..b62ac922 100644
--- a/source/include/core_pkcs11_config_defaults.h
+++ b/source/include/core_pkcs11_config_defaults.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/include/core_pkcs11_pal.h b/source/include/core_pkcs11_pal.h
index ac64fb78..9be61dcc 100644
--- a/source/include/core_pkcs11_pal.h
+++ b/source/include/core_pkcs11_pal.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/include/core_pki_utils.h b/source/include/core_pki_utils.h
index 85eaeeee..1c373ecb 100644
--- a/source/include/core_pki_utils.h
+++ b/source/include/core_pki_utils.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/portable/mbedtls/core_pkcs11_mbedtls.c b/source/portable/mbedtls/core_pkcs11_mbedtls.c
index f5623f6d..b14c2902 100644
--- a/source/portable/mbedtls/core_pkcs11_mbedtls.c
+++ b/source/portable/mbedtls/core_pkcs11_mbedtls.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/portable/os/core_pkcs11_pal_utils.c b/source/portable/os/core_pkcs11_pal_utils.c
index 3f110cbb..efccd13f 100644
--- a/source/portable/os/core_pkcs11_pal_utils.c
+++ b/source/portable/os/core_pkcs11_pal_utils.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/portable/os/core_pkcs11_pal_utils.h b/source/portable/os/core_pkcs11_pal_utils.h
index e7b21190..ffd6d52e 100644
--- a/source/portable/os/core_pkcs11_pal_utils.h
+++ b/source/portable/os/core_pkcs11_pal_utils.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/portable/os/freertos_winsim/core_pkcs11_pal.c b/source/portable/os/freertos_winsim/core_pkcs11_pal.c
index 36dd3da6..c9bad2c7 100644
--- a/source/portable/os/freertos_winsim/core_pkcs11_pal.c
+++ b/source/portable/os/freertos_winsim/core_pkcs11_pal.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/portable/os/posix/core_pkcs11_pal.c b/source/portable/os/posix/core_pkcs11_pal.c
index 86605d1e..9b67e20e 100644
--- a/source/portable/os/posix/core_pkcs11_pal.c
+++ b/source/portable/os/posix/core_pkcs11_pal.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/include/core_pkcs11_config.h b/test/cbmc/include/core_pkcs11_config.h
index 785abf62..de45bd3c 100644
--- a/test/cbmc/include/core_pkcs11_config.h
+++ b/test/cbmc/include/core_pkcs11_config.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/include/pkcs11_interface_stubs.h b/test/cbmc/include/pkcs11_interface_stubs.h
index 2387e3ba..d09a8621 100644
--- a/test/cbmc/include/pkcs11_interface_stubs.h
+++ b/test/cbmc/include/pkcs11_interface_stubs.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_CloseSession/C_CloseSession_harness.c b/test/cbmc/proofs/C_CloseSession/C_CloseSession_harness.c
index 867d2afd..2d82b452 100644
--- a/test/cbmc/proofs/C_CloseSession/C_CloseSession_harness.c
+++ b/test/cbmc/proofs/C_CloseSession/C_CloseSession_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_CreateObject/C_CreateObject_harness.c b/test/cbmc/proofs/C_CreateObject/C_CreateObject_harness.c
index e68a58a9..705ef388 100644
--- a/test/cbmc/proofs/C_CreateObject/C_CreateObject_harness.c
+++ b/test/cbmc/proofs/C_CreateObject/C_CreateObject_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_DestroyObject/C_DestroyObject_harness.c b/test/cbmc/proofs/C_DestroyObject/C_DestroyObject_harness.c
index 5d7fc562..f4bab9c1 100644
--- a/test/cbmc/proofs/C_DestroyObject/C_DestroyObject_harness.c
+++ b/test/cbmc/proofs/C_DestroyObject/C_DestroyObject_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_DigestFinal/C_DigestFinal_harness.c b/test/cbmc/proofs/C_DigestFinal/C_DigestFinal_harness.c
index b59b0555..a18955ad 100644
--- a/test/cbmc/proofs/C_DigestFinal/C_DigestFinal_harness.c
+++ b/test/cbmc/proofs/C_DigestFinal/C_DigestFinal_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_DigestInit/C_DigestInit_harness.c b/test/cbmc/proofs/C_DigestInit/C_DigestInit_harness.c
index dcd20dac..7a392566 100644
--- a/test/cbmc/proofs/C_DigestInit/C_DigestInit_harness.c
+++ b/test/cbmc/proofs/C_DigestInit/C_DigestInit_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_DigestUpdate/C_DigestUpdate_harness.c b/test/cbmc/proofs/C_DigestUpdate/C_DigestUpdate_harness.c
index 7752c439..0fd27ce6 100644
--- a/test/cbmc/proofs/C_DigestUpdate/C_DigestUpdate_harness.c
+++ b/test/cbmc/proofs/C_DigestUpdate/C_DigestUpdate_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_Finalize/C_Finalize_harness.c b/test/cbmc/proofs/C_Finalize/C_Finalize_harness.c
index 34c81bb3..725e73bf 100644
--- a/test/cbmc/proofs/C_Finalize/C_Finalize_harness.c
+++ b/test/cbmc/proofs/C_Finalize/C_Finalize_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_FindObjects/C_FindObjects_harness.c b/test/cbmc/proofs/C_FindObjects/C_FindObjects_harness.c
index 88c41747..a5d7dcfc 100644
--- a/test/cbmc/proofs/C_FindObjects/C_FindObjects_harness.c
+++ b/test/cbmc/proofs/C_FindObjects/C_FindObjects_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_FindObjectsFinal/C_FindObjectsFinal_harness.c b/test/cbmc/proofs/C_FindObjectsFinal/C_FindObjectsFinal_harness.c
index f175ccd5..95150069 100644
--- a/test/cbmc/proofs/C_FindObjectsFinal/C_FindObjectsFinal_harness.c
+++ b/test/cbmc/proofs/C_FindObjectsFinal/C_FindObjectsFinal_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_FindObjectsInit/C_FindObjectsInit_harness.c b/test/cbmc/proofs/C_FindObjectsInit/C_FindObjectsInit_harness.c
index a3935ada..af60c673 100644
--- a/test/cbmc/proofs/C_FindObjectsInit/C_FindObjectsInit_harness.c
+++ b/test/cbmc/proofs/C_FindObjectsInit/C_FindObjectsInit_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_GenerateKeyPair/C_GenerateKeyPair_harness.c b/test/cbmc/proofs/C_GenerateKeyPair/C_GenerateKeyPair_harness.c
index 3112541a..7ea9ed12 100644
--- a/test/cbmc/proofs/C_GenerateKeyPair/C_GenerateKeyPair_harness.c
+++ b/test/cbmc/proofs/C_GenerateKeyPair/C_GenerateKeyPair_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_GenerateRandom/C_GenerateRandom_harness.c b/test/cbmc/proofs/C_GenerateRandom/C_GenerateRandom_harness.c
index a43a53e8..ec4337d8 100644
--- a/test/cbmc/proofs/C_GenerateRandom/C_GenerateRandom_harness.c
+++ b/test/cbmc/proofs/C_GenerateRandom/C_GenerateRandom_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_GetAttributeValue/C_GetAttributeValue_harness.c b/test/cbmc/proofs/C_GetAttributeValue/C_GetAttributeValue_harness.c
index 1c0e83ab..ee332a7e 100644
--- a/test/cbmc/proofs/C_GetAttributeValue/C_GetAttributeValue_harness.c
+++ b/test/cbmc/proofs/C_GetAttributeValue/C_GetAttributeValue_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_GetFunctionList/C_GetFunctionList_harness.c b/test/cbmc/proofs/C_GetFunctionList/C_GetFunctionList_harness.c
index 3ed054ef..727aae6a 100644
--- a/test/cbmc/proofs/C_GetFunctionList/C_GetFunctionList_harness.c
+++ b/test/cbmc/proofs/C_GetFunctionList/C_GetFunctionList_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_GetMechanismInfo/C_GetMechanismInfo_harness.c b/test/cbmc/proofs/C_GetMechanismInfo/C_GetMechanismInfo_harness.c
index cf352fc8..f1a1a093 100644
--- a/test/cbmc/proofs/C_GetMechanismInfo/C_GetMechanismInfo_harness.c
+++ b/test/cbmc/proofs/C_GetMechanismInfo/C_GetMechanismInfo_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_GetSlotList/C_GetSlotList_harness.c b/test/cbmc/proofs/C_GetSlotList/C_GetSlotList_harness.c
index 16ad560b..025aba8e 100644
--- a/test/cbmc/proofs/C_GetSlotList/C_GetSlotList_harness.c
+++ b/test/cbmc/proofs/C_GetSlotList/C_GetSlotList_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_Initialize/C_Initialize_harness.c b/test/cbmc/proofs/C_Initialize/C_Initialize_harness.c
index 7da40751..5e35aea9 100644
--- a/test/cbmc/proofs/C_Initialize/C_Initialize_harness.c
+++ b/test/cbmc/proofs/C_Initialize/C_Initialize_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_OpenSession/C_OpenSession_harness.c b/test/cbmc/proofs/C_OpenSession/C_OpenSession_harness.c
index ee3651a2..d2537564 100644
--- a/test/cbmc/proofs/C_OpenSession/C_OpenSession_harness.c
+++ b/test/cbmc/proofs/C_OpenSession/C_OpenSession_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_Sign/C_Sign_harness.c b/test/cbmc/proofs/C_Sign/C_Sign_harness.c
index 7ce114dc..5a18cd4e 100644
--- a/test/cbmc/proofs/C_Sign/C_Sign_harness.c
+++ b/test/cbmc/proofs/C_Sign/C_Sign_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_SignInit/C_SignInit_harness.c b/test/cbmc/proofs/C_SignInit/C_SignInit_harness.c
index cf63b61f..6dee61ce 100644
--- a/test/cbmc/proofs/C_SignInit/C_SignInit_harness.c
+++ b/test/cbmc/proofs/C_SignInit/C_SignInit_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_Verify/C_Verify_harness.c b/test/cbmc/proofs/C_Verify/C_Verify_harness.c
index 787d98f6..29d648e8 100644
--- a/test/cbmc/proofs/C_Verify/C_Verify_harness.c
+++ b/test/cbmc/proofs/C_Verify/C_Verify_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/C_VerifyInit/C_VerifyInit_harness.c b/test/cbmc/proofs/C_VerifyInit/C_VerifyInit_harness.c
index 77b06a16..a650fdb9 100644
--- a/test/cbmc/proofs/C_VerifyInit/C_VerifyInit_harness.c
+++ b/test/cbmc/proofs/C_VerifyInit/C_VerifyInit_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/PKI_mbedTLSSignatureToPkcs11Signature/PKI_mbedTLSSignatureToPkcs11Signature_harness.c b/test/cbmc/proofs/PKI_mbedTLSSignatureToPkcs11Signature/PKI_mbedTLSSignatureToPkcs11Signature_harness.c
index 261ccc7d..4d47e7ef 100644
--- a/test/cbmc/proofs/PKI_mbedTLSSignatureToPkcs11Signature/PKI_mbedTLSSignatureToPkcs11Signature_harness.c
+++ b/test/cbmc/proofs/PKI_mbedTLSSignatureToPkcs11Signature/PKI_mbedTLSSignatureToPkcs11Signature_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/PKI_pkcs11SignatureTombedTLSSignature/PKI_pkcs11SignatureTombedTLSSignature_harness.c b/test/cbmc/proofs/PKI_pkcs11SignatureTombedTLSSignature/PKI_pkcs11SignatureTombedTLSSignature_harness.c
index a88994d7..7a714e07 100644
--- a/test/cbmc/proofs/PKI_pkcs11SignatureTombedTLSSignature/PKI_pkcs11SignatureTombedTLSSignature_harness.c
+++ b/test/cbmc/proofs/PKI_pkcs11SignatureTombedTLSSignature/PKI_pkcs11SignatureTombedTLSSignature_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c b/test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c
index 658f28d8..5a28488e 100644
--- a/test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c
+++ b/test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c b/test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c
index 15e3daba..788cb895 100644
--- a/test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c
+++ b/test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c b/test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c
index 5b4154e6..1c2e6a92 100644
--- a/test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c
+++ b/test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c b/test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c
index a202228b..328bea8a 100644
--- a/test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c
+++ b/test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c b/test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c
index af1af5a6..98354f59 100644
--- a/test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c
+++ b/test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c b/test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c
index 6185260f..b9141dc5 100644
--- a/test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c
+++ b/test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/stubs/core_pkcs11_pal_stubs.c b/test/cbmc/stubs/core_pkcs11_pal_stubs.c
index 71be1167..b0779fd3 100644
--- a/test/cbmc/stubs/core_pkcs11_pal_stubs.c
+++ b/test/cbmc/stubs/core_pkcs11_pal_stubs.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/stubs/core_pki_utils_stubs.c b/test/cbmc/stubs/core_pki_utils_stubs.c
index 6b8b0878..4c93fd7c 100644
--- a/test/cbmc/stubs/core_pki_utils_stubs.c
+++ b/test/cbmc/stubs/core_pki_utils_stubs.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/stubs/mbedtls_stubs.c b/test/cbmc/stubs/mbedtls_stubs.c
index 883349b1..7e916a55 100644
--- a/test/cbmc/stubs/mbedtls_stubs.c
+++ b/test/cbmc/stubs/mbedtls_stubs.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/stubs/pkcs11_interface_stubs.c b/test/cbmc/stubs/pkcs11_interface_stubs.c
index a17b82a8..35982e98 100644
--- a/test/cbmc/stubs/pkcs11_interface_stubs.c
+++ b/test/cbmc/stubs/pkcs11_interface_stubs.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/include/core_pkcs11_config.h b/test/include/core_pkcs11_config.h
index d8f8c921..1bf54d74 100644
--- a/test/include/core_pkcs11_config.h
+++ b/test/include/core_pkcs11_config.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/include/logging_levels.h b/test/include/logging_levels.h
index c88f9e01..f17cbdc5 100644
--- a/test/include/logging_levels.h
+++ b/test/include/logging_levels.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/include/logging_stack.h b/test/include/logging_stack.h
index 833a532a..572cd90b 100644
--- a/test/include/logging_stack.h
+++ b/test/include/logging_stack.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/include/malloc_stub.h b/test/include/malloc_stub.h
index 64a24cce..97bd1c36 100644
--- a/test/include/malloc_stub.h
+++ b/test/include/malloc_stub.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/include/mock_osal.h b/test/include/mock_osal.h
index 8617735a..28b707e6 100644
--- a/test/include/mock_osal.h
+++ b/test/include/mock_osal.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/mbedtls_integration/core_pkcs11_config.h b/test/mbedtls_integration/core_pkcs11_config.h
index 9e6176b3..559905ed 100644
--- a/test/mbedtls_integration/core_pkcs11_config.h
+++ b/test/mbedtls_integration/core_pkcs11_config.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/mbedtls_integration/core_pkcs11_test_config.h b/test/mbedtls_integration/core_pkcs11_test_config.h
index 834b4464..22589d1d 100644
--- a/test/mbedtls_integration/core_pkcs11_test_config.h
+++ b/test/mbedtls_integration/core_pkcs11_test_config.h
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/mbedtls_integration/mbedtls_integration_test.c b/test/mbedtls_integration/mbedtls_integration_test.c
index 56a4f4e7..31f7a981 100644
--- a/test/mbedtls_integration/mbedtls_integration_test.c
+++ b/test/mbedtls_integration/mbedtls_integration_test.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/pkcs11_mbedtls_utest/core_pkcs11_mbedtls_utest.c b/test/pkcs11_mbedtls_utest/core_pkcs11_mbedtls_utest.c
index fea5e4d6..ff08129c 100644
--- a/test/pkcs11_mbedtls_utest/core_pkcs11_mbedtls_utest.c
+++ b/test/pkcs11_mbedtls_utest/core_pkcs11_mbedtls_utest.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/pkcs11_utils_utest/pkcs11_utils_utest.c b/test/pkcs11_utils_utest/pkcs11_utils_utest.c
index f5a8403b..bdb42ee0 100644
--- a/test/pkcs11_utils_utest/pkcs11_utils_utest.c
+++ b/test/pkcs11_utils_utest/pkcs11_utils_utest.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/wrapper_utest/core_pkcs11_utest.c b/test/wrapper_utest/core_pkcs11_utest.c
index f2c0d4e3..405f6ffe 100644
--- a/test/wrapper_utest/core_pkcs11_utest.c
+++ b/test/wrapper_utest/core_pkcs11_utest.c
@@ -1,5 +1,5 @@
 /*
- * corePKCS11 v3.6.2
+ * corePKCS11 v3.6.3
  * Copyright (C) 2024 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

From a2c5b2d6a3acbf463154e41d4002a21743adabd4 Mon Sep 17 00:00:00 2001
From: DakshitBabbar <dakshitbabbar.iitd@gmail.com>
Date: Wed, 21 May 2025 14:12:48 +0530
Subject: [PATCH 2/2] Update the FreeRTOS-LTS version

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 6d0726f4..dba8d1aa 100644
--- a/README.md
+++ b/README.md
@@ -50,7 +50,7 @@ See memory requirements for this library
 **corePKCS11 v3.6.3
 [source code](https://github.com/FreeRTOS/corePKCS11/tree/v3.6.3/source) is part
 of the
-[FreeRTOS 202406.00 LTS](https://github.com/FreeRTOS/FreeRTOS-LTS/tree/202406.00-LTS)
+[FreeRTOS 202406.02 LTS](https://github.com/FreeRTOS/FreeRTOS-LTS/tree/202406.02-LTS)
 release.**
 
 # Purpose