From fa093c21914e67bcb00ba3d90995611f85ba395c Mon Sep 17 00:00:00 2001 From: AniruddhaKanhere <60444055+AniruddhaKanhere@users.noreply.github.com> Date: Mon, 23 Feb 2026 03:46:50 +0000 Subject: [PATCH] [v3.6.4] Update changelog, version numbers and .md files for release --- CHANGELOG.md | 3 +++ 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 +- test/cbmc/proofs/C_FindObjectsInit/C_FindObjectsInit_harness.c | 2 +- test/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 +- test/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 +- test/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 +- 63 files changed, 65 insertions(+), 62 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index f69c15cf..c21e1b4d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,8 @@ # Change Log for corePKCS11 Library +## v3.6.4 (February 2026) +* [#214](https://github.com/FreeRTOS/corePKCS11/pull/214) Add CMakeLists.txt to the repository for basic test build + ## v3.6.3 (May 2025) * [#206](https://github.com/FreeRTOS/corePKCS11/pull/206) Update mbedtls version to v3.6.3 and fix build errors diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile index e8204515..680bafc6 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.3 +PROJECT_NUMBER = v3.6.4 # 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 bf26feb5..c7bc9e35 100644 --- a/manifest.yml +++ b/manifest.yml @@ -1,5 +1,5 @@ name: "corePKCS11" -version: "v3.6.3" +version: "v3.6.4" description: "Software implementation of the PKCS #11 standard." license: "MIT" diff --git a/source/core_pkcs11.c b/source/core_pkcs11.c index 79b24486..299d8bb7 100644 --- a/source/core_pkcs11.c +++ b/source/core_pkcs11.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 6ec5e6dd..b10377b9 100644 --- a/source/core_pki_utils.c +++ b/source/core_pki_utils.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 3db49847..883b908b 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.3 + * corePKCS11 * 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 ead659ed..16ddf7c8 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.3 + * corePKCS11 * 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 7c139bd7..7e8e167d 100644 --- a/source/include/core_pkcs11.h +++ b/source/include/core_pkcs11.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 b62ac922..a892a63f 100644 --- a/source/include/core_pkcs11_config_defaults.h +++ b/source/include/core_pkcs11_config_defaults.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 9be61dcc..baf96319 100644 --- a/source/include/core_pkcs11_pal.h +++ b/source/include/core_pkcs11_pal.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 1c373ecb..1a54e0d5 100644 --- a/source/include/core_pki_utils.h +++ b/source/include/core_pki_utils.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 a774e053..4d318273 100644 --- a/source/portable/mbedtls/core_pkcs11_mbedtls.c +++ b/source/portable/mbedtls/core_pkcs11_mbedtls.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 efccd13f..54628aec 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.3 + * corePKCS11 * 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 ffd6d52e..9c2821b4 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.3 + * corePKCS11 * 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 c9bad2c7..656d8a58 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.3 + * corePKCS11 * 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 9b67e20e..e08e868e 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.3 + * corePKCS11 * 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 de45bd3c..8ce7bcfb 100644 --- a/test/cbmc/include/core_pkcs11_config.h +++ b/test/cbmc/include/core_pkcs11_config.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 d09a8621..475c9053 100644 --- a/test/cbmc/include/pkcs11_interface_stubs.h +++ b/test/cbmc/include/pkcs11_interface_stubs.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 2d82b452..a8165ad1 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.3 + * corePKCS11 * 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 705ef388..e3fcdc10 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.3 + * corePKCS11 * 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 f4bab9c1..f92263fd 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.3 + * corePKCS11 * 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 a18955ad..e964b714 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.3 + * corePKCS11 * 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 7a392566..00850970 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.3 + * corePKCS11 * 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 0fd27ce6..0d5dfe32 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.3 + * corePKCS11 * 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 725e73bf..c6fe44ea 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.3 + * corePKCS11 * 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 a5d7dcfc..9fee8fdc 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.3 + * corePKCS11 * 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 95150069..29e13fa9 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.3 + * corePKCS11 * 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 af60c673..39092e6b 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.3 + * corePKCS11 * 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 7ea9ed12..552c7e36 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.3 + * corePKCS11 * 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 ec4337d8..48164cef 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.3 + * corePKCS11 * 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 ee332a7e..f7605ac8 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.3 + * corePKCS11 * 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 727aae6a..74fe9afe 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.3 + * corePKCS11 * 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 f1a1a093..c46bde0d 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.3 + * corePKCS11 * 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 025aba8e..00e0082b 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.3 + * corePKCS11 * 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 5e35aea9..b5fd9b64 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.3 + * corePKCS11 * 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 d2537564..c4f4e15b 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.3 + * corePKCS11 * 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 5a18cd4e..5603bf8e 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.3 + * corePKCS11 * 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 6dee61ce..f26baef5 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.3 + * corePKCS11 * 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 29d648e8..f9eb1d60 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.3 + * corePKCS11 * 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 a650fdb9..16e8fc56 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.3 + * corePKCS11 * 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 4d47e7ef..bfdf147a 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.3 + * corePKCS11 * 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 7a714e07..127493ed 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.3 + * corePKCS11 * 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 5a28488e..6ceea5e3 100644 --- a/test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c +++ b/test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 788cb895..74e7cef0 100644 --- a/test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c +++ b/test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 1c2e6a92..daa0a247 100644 --- a/test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c +++ b/test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 328bea8a..8ab515bc 100644 --- a/test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c +++ b/test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 98354f59..b5b3e3de 100644 --- a/test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c +++ b/test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 b9141dc5..9e346c7b 100644 --- a/test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c +++ b/test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 b0779fd3..e85d0da4 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.3 + * corePKCS11 * 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 4c93fd7c..90631ce3 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.3 + * corePKCS11 * 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 7e916a55..a0a3c301 100644 --- a/test/cbmc/stubs/mbedtls_stubs.c +++ b/test/cbmc/stubs/mbedtls_stubs.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 35982e98..8fab37ec 100644 --- a/test/cbmc/stubs/pkcs11_interface_stubs.c +++ b/test/cbmc/stubs/pkcs11_interface_stubs.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 1bf54d74..95418f7b 100644 --- a/test/include/core_pkcs11_config.h +++ b/test/include/core_pkcs11_config.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 f17cbdc5..943eab49 100644 --- a/test/include/logging_levels.h +++ b/test/include/logging_levels.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 572cd90b..605af3cb 100644 --- a/test/include/logging_stack.h +++ b/test/include/logging_stack.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 97bd1c36..015b1f55 100644 --- a/test/include/malloc_stub.h +++ b/test/include/malloc_stub.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 28b707e6..956547c4 100644 --- a/test/include/mock_osal.h +++ b/test/include/mock_osal.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 559905ed..193199c6 100644 --- a/test/mbedtls_integration/core_pkcs11_config.h +++ b/test/mbedtls_integration/core_pkcs11_config.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 22589d1d..e2b13161 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.3 + * corePKCS11 * 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 31f7a981..4206f921 100644 --- a/test/mbedtls_integration/mbedtls_integration_test.c +++ b/test/mbedtls_integration/mbedtls_integration_test.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * 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 ff08129c..b33f36c7 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.3 + * corePKCS11 * 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 bdb42ee0..5ba3b3ee 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.3 + * corePKCS11 * 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 405f6ffe..69dba58e 100644 --- a/test/wrapper_utest/core_pkcs11_utest.c +++ b/test/wrapper_utest/core_pkcs11_utest.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.3 + * corePKCS11 * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT