diff --git a/CHANGELOG.md b/CHANGELOG.md index 5ecdeb79..f6856ce0 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,8 @@ # Change Log for corePKCS11 Library +## v3.6.2 (October 2024) +* [#202](https://github.com/FreeRTOS/corePKCS11/pull/202) Export RSA key attributes from mbedtls context to support TLSv1.3 + ## v3.6.1 (June 2024) * Fix doxygen deployment on Github. diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile index 5f09a937..04e4d298 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.1 +PROJECT_NUMBER = v3.6.2 # 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 f9b11af8..5b0f7a7f 100644 --- a/manifest.yml +++ b/manifest.yml @@ -1,5 +1,5 @@ name: "corePKCS11" -version: "v3.6.1" +version: "v3.6.2" description: "Software implementation of the PKCS #11 standard." license: "MIT" diff --git a/source/core_pkcs11.c b/source/core_pkcs11.c index b22d8380..4edc2c43 100644 --- a/source/core_pkcs11.c +++ b/source/core_pkcs11.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 0c6d51f9..723e40b8 100644 --- a/source/core_pki_utils.c +++ b/source/core_pki_utils.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 a59c931b..5a4098d8 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.1 + * corePKCS11 v3.6.2 * 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 a2c6c4c9..c939d508 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.1 + * corePKCS11 v3.6.2 * 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 8a65f1dc..6c3b3ddd 100644 --- a/source/include/core_pkcs11.h +++ b/source/include/core_pkcs11.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 f967bdac..37a910b4 100644 --- a/source/include/core_pkcs11_config_defaults.h +++ b/source/include/core_pkcs11_config_defaults.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 68c341d9..ac64fb78 100644 --- a/source/include/core_pkcs11_pal.h +++ b/source/include/core_pkcs11_pal.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 852d9938..85eaeeee 100644 --- a/source/include/core_pki_utils.h +++ b/source/include/core_pki_utils.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 4b8c7d86..53580caf 100644 --- a/source/portable/mbedtls/core_pkcs11_mbedtls.c +++ b/source/portable/mbedtls/core_pkcs11_mbedtls.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 376e827e..3f110cbb 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.1 + * corePKCS11 v3.6.2 * 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 d6b79467..e7b21190 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.1 + * corePKCS11 v3.6.2 * 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 3adb0a8b..36dd3da6 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.1 + * corePKCS11 v3.6.2 * 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 1098c2d3..86605d1e 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.1 + * corePKCS11 v3.6.2 * 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 0f1ec300..785abf62 100644 --- a/test/cbmc/include/core_pkcs11_config.h +++ b/test/cbmc/include/core_pkcs11_config.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 ef6e2991..2387e3ba 100644 --- a/test/cbmc/include/pkcs11_interface_stubs.h +++ b/test/cbmc/include/pkcs11_interface_stubs.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 4b8281cf..867d2afd 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.1 + * corePKCS11 v3.6.2 * 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 d78e1c2d..e68a58a9 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.1 + * corePKCS11 v3.6.2 * 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 d82353c6..5d7fc562 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.1 + * corePKCS11 v3.6.2 * 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 30685fda..b59b0555 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.1 + * corePKCS11 v3.6.2 * 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 59f0837d..dcd20dac 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.1 + * corePKCS11 v3.6.2 * 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 79387046..7752c439 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.1 + * corePKCS11 v3.6.2 * 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 7de107e6..34c81bb3 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.1 + * corePKCS11 v3.6.2 * 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 144f4616..88c41747 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.1 + * corePKCS11 v3.6.2 * 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 7361481c..f175ccd5 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.1 + * corePKCS11 v3.6.2 * 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 07ddb604..a3935ada 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.1 + * corePKCS11 v3.6.2 * 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 ee647ab2..3112541a 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.1 + * corePKCS11 v3.6.2 * 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 b6a16bf2..a43a53e8 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.1 + * corePKCS11 v3.6.2 * 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 8e8dbfd8..1c0e83ab 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.1 + * corePKCS11 v3.6.2 * 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 993490b4..3ed054ef 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.1 + * corePKCS11 v3.6.2 * 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 3c0ab068..cf352fc8 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.1 + * corePKCS11 v3.6.2 * 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 0c2e5eb7..16ad560b 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.1 + * corePKCS11 v3.6.2 * 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 325ac99e..7da40751 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.1 + * corePKCS11 v3.6.2 * 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 e945df7d..ee3651a2 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.1 + * corePKCS11 v3.6.2 * 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 8b32ffaa..7ce114dc 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.1 + * corePKCS11 v3.6.2 * 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 25f220fe..cf63b61f 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.1 + * corePKCS11 v3.6.2 * 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 e7511685..787d98f6 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.1 + * corePKCS11 v3.6.2 * 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 a904d100..77b06a16 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.1 + * corePKCS11 v3.6.2 * 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 2903f521..261ccc7d 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.1 + * corePKCS11 v3.6.2 * 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 85536fbc..a88994d7 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.1 + * corePKCS11 v3.6.2 * 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 a116f801..658f28d8 100644 --- a/test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c +++ b/test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 fab88f5c..15e3daba 100644 --- a/test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c +++ b/test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 f87f253a..5b4154e6 100644 --- a/test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c +++ b/test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 964d512e..a202228b 100644 --- a/test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c +++ b/test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 475792fd..af1af5a6 100644 --- a/test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c +++ b/test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 070378e9..6185260f 100644 --- a/test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c +++ b/test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 8c8bd649..71be1167 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.1 + * corePKCS11 v3.6.2 * 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 82d07458..6b8b0878 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.1 + * corePKCS11 v3.6.2 * 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 64cb8c89..883349b1 100644 --- a/test/cbmc/stubs/mbedtls_stubs.c +++ b/test/cbmc/stubs/mbedtls_stubs.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 4452a8c3..a17b82a8 100644 --- a/test/cbmc/stubs/pkcs11_interface_stubs.c +++ b/test/cbmc/stubs/pkcs11_interface_stubs.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 ef765eb8..d8f8c921 100644 --- a/test/include/core_pkcs11_config.h +++ b/test/include/core_pkcs11_config.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 05e445db..c88f9e01 100644 --- a/test/include/logging_levels.h +++ b/test/include/logging_levels.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 1e515299..833a532a 100644 --- a/test/include/logging_stack.h +++ b/test/include/logging_stack.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 5bda19ed..64a24cce 100644 --- a/test/include/malloc_stub.h +++ b/test/include/malloc_stub.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 c4e47e63..8617735a 100644 --- a/test/include/mock_osal.h +++ b/test/include/mock_osal.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 1701ac01..9e6176b3 100644 --- a/test/mbedtls_integration/core_pkcs11_config.h +++ b/test/mbedtls_integration/core_pkcs11_config.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 e67bfc70..834b4464 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.1 + * corePKCS11 v3.6.2 * 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 f1f8ae93..56a4f4e7 100644 --- a/test/mbedtls_integration/mbedtls_integration_test.c +++ b/test/mbedtls_integration/mbedtls_integration_test.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * 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 941fb800..fea5e4d6 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.1 + * corePKCS11 v3.6.2 * 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 90313dc0..f5a8403b 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.1 + * corePKCS11 v3.6.2 * 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 bbab174d..f2c0d4e3 100644 --- a/test/wrapper_utest/core_pkcs11_utest.c +++ b/test/wrapper_utest/core_pkcs11_utest.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.1 + * corePKCS11 v3.6.2 * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT