diff --git a/CHANGELOG.md b/CHANGELOG.md index 4cb1ecb2..5ecdeb79 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,8 @@ # Change Log for corePKCS11 Library +## v3.6.1 (June 2024) +* Fix doxygen deployment on Github. + ## v3.6.0 (May 2024) * [#195](https://github.com/FreeRTOS/corePKCS11/pull/195),[#196](https://github.com/FreeRTOS/corePKCS11/pull/196) Add more unit test to increase code coverage rate * [#193](https://github.com/FreeRTOS/corePKCS11/pull/193) Fix the C_GetAttributeValue implementation in the mbedtls port to return CK_UNAVAILABLE_INFORMATION diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile index 8edacc71..5f09a937 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.0 +PROJECT_NUMBER = v3.6.1 # 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 be74186a..f9b11af8 100644 --- a/manifest.yml +++ b/manifest.yml @@ -1,5 +1,5 @@ name: "corePKCS11" -version: "v3.6.0" +version: "v3.6.1" description: "Software implementation of the PKCS #11 standard." license: "MIT" diff --git a/source/core_pkcs11.c b/source/core_pkcs11.c index b07baea1..b22d8380 100644 --- a/source/core_pkcs11.c +++ b/source/core_pkcs11.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 3d1bb6ab..0c6d51f9 100644 --- a/source/core_pki_utils.c +++ b/source/core_pki_utils.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 1cd62927..a59c931b 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.0 + * corePKCS11 v3.6.1 * 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 b3f9030a..a2c6c4c9 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.0 + * corePKCS11 v3.6.1 * 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 3812e733..8a65f1dc 100644 --- a/source/include/core_pkcs11.h +++ b/source/include/core_pkcs11.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 d12a84d9..f967bdac 100644 --- a/source/include/core_pkcs11_config_defaults.h +++ b/source/include/core_pkcs11_config_defaults.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 88dd96c3..68c341d9 100644 --- a/source/include/core_pkcs11_pal.h +++ b/source/include/core_pkcs11_pal.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 121e9a38..852d9938 100644 --- a/source/include/core_pki_utils.h +++ b/source/include/core_pki_utils.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 663a9db6..b24db405 100644 --- a/source/portable/mbedtls/core_pkcs11_mbedtls.c +++ b/source/portable/mbedtls/core_pkcs11_mbedtls.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 3e051b89..376e827e 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.0 + * corePKCS11 v3.6.1 * 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 19e8afb1..d6b79467 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.0 + * corePKCS11 v3.6.1 * 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 82077dbc..3adb0a8b 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.0 + * corePKCS11 v3.6.1 * 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 0288ddd2..1098c2d3 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.0 + * corePKCS11 v3.6.1 * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index 895fcec1..2eb6eb2a 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -1,6 +1,6 @@ cmake_minimum_required(VERSION 3.13.0) project( "corePKCS11 tests" - VERSION 3.5.0 + VERSION 3.6.1 LANGUAGES C) # Allow the project to be organized into folders. diff --git a/test/cbmc/include/core_pkcs11_config.h b/test/cbmc/include/core_pkcs11_config.h index fad12ac9..0f1ec300 100644 --- a/test/cbmc/include/core_pkcs11_config.h +++ b/test/cbmc/include/core_pkcs11_config.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/include/mbedtls_config.h b/test/cbmc/include/mbedtls_config.h index 11100f89..978fc0ff 100644 --- a/test/cbmc/include/mbedtls_config.h +++ b/test/cbmc/include/mbedtls_config.h @@ -688,26 +688,6 @@ */ /*#define MBEDTLS_CTR_DRBG_USE_128_BIT_KE */ -/** - * \def MBEDTLS_REMOVE_3DES_CIPHERSUITES - * - * Remove 3DES ciphersuites by default in SSL / TLS. - * This flag removes the ciphersuites based on 3DES from the default list as - * returned by mbedtls_ssl_list_ciphersuites(). However, it is still possible - * to enable (some of) them with mbedtls_ssl_conf_ciphersuites() by including - * them explicitly. - * - * A man-in-the-browser attacker can recover authentication tokens sent through - * a TLS connection using a 3DES based cipher suite (see "On the Practical - * (In-)Security of 64-bit Block Ciphers" by Karthikeyan Bhargavan and Gaëtan - * Leurent, see https://sweet32.info/SWEET32_CCS16.pdf). If this attack falls - * in your threat model or you are unsure, then you should keep this option - * enabled to remove 3DES based cipher suites. - * - * Comment this macro to keep 3DES in the default ciphersuite list. - */ -#define MBEDTLS_REMOVE_3DES_CIPHERSUITES - /** * \def MBEDTLS_CIPHER_PADDING_PKCS7 * diff --git a/test/cbmc/include/pkcs11_interface_stubs.h b/test/cbmc/include/pkcs11_interface_stubs.h index 31983aaf..ef6e2991 100644 --- a/test/cbmc/include/pkcs11_interface_stubs.h +++ b/test/cbmc/include/pkcs11_interface_stubs.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 0e5f931c..4b8281cf 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.0 + * corePKCS11 v3.6.1 * 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 bc2e8373..d78e1c2d 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.0 + * corePKCS11 v3.6.1 * 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 8e8fd534..d82353c6 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.0 + * corePKCS11 v3.6.1 * 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 0d74567b..30685fda 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.0 + * corePKCS11 v3.6.1 * 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 c18252a8..59f0837d 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.0 + * corePKCS11 v3.6.1 * 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 7c27ca91..79387046 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.0 + * corePKCS11 v3.6.1 * 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 caa086c9..7de107e6 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.0 + * corePKCS11 v3.6.1 * 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 cdda35e5..144f4616 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.0 + * corePKCS11 v3.6.1 * 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 d5c9c8b9..7361481c 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.0 + * corePKCS11 v3.6.1 * 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 c141dae8..07ddb604 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.0 + * corePKCS11 v3.6.1 * 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 e600bb6a..ee647ab2 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.0 + * corePKCS11 v3.6.1 * 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 1c2a1016..b6a16bf2 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.0 + * corePKCS11 v3.6.1 * 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 b00cc853..8e8dbfd8 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.0 + * corePKCS11 v3.6.1 * 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 8b08a146..993490b4 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.0 + * corePKCS11 v3.6.1 * 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 b64f4623..3c0ab068 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.0 + * corePKCS11 v3.6.1 * 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 d28ad921..0c2e5eb7 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.0 + * corePKCS11 v3.6.1 * 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 6d74a667..325ac99e 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.0 + * corePKCS11 v3.6.1 * 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 128fc2a9..e945df7d 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.0 + * corePKCS11 v3.6.1 * 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 a0a54498..8b32ffaa 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.0 + * corePKCS11 v3.6.1 * 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 7269bfb6..25f220fe 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.0 + * corePKCS11 v3.6.1 * 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 4fd08e68..e7511685 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.0 + * corePKCS11 v3.6.1 * 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 2c23e5bf..a904d100 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.0 + * corePKCS11 v3.6.1 * 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 742161fc..2903f521 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.0 + * corePKCS11 v3.6.1 * 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 80ad6bc0..85536fbc 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.0 + * corePKCS11 v3.6.1 * 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 9431250e..a116f801 100644 --- a/test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c +++ b/test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 6442650f..fab88f5c 100644 --- a/test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c +++ b/test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 769bb314..f87f253a 100644 --- a/test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c +++ b/test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 19778f7f..964d512e 100644 --- a/test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c +++ b/test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 5ecdc5db..475792fd 100644 --- a/test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c +++ b/test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 21920881..070378e9 100644 --- a/test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c +++ b/test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 9bd2cc32..8c8bd649 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.0 + * corePKCS11 v3.6.1 * 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 0ace696b..82d07458 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.0 + * corePKCS11 v3.6.1 * 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 1d55f57f..64cb8c89 100644 --- a/test/cbmc/stubs/mbedtls_stubs.c +++ b/test/cbmc/stubs/mbedtls_stubs.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 d7cd30ca..4452a8c3 100644 --- a/test/cbmc/stubs/pkcs11_interface_stubs.c +++ b/test/cbmc/stubs/pkcs11_interface_stubs.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 5f361729..ef765eb8 100644 --- a/test/include/core_pkcs11_config.h +++ b/test/include/core_pkcs11_config.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 42c7cb49..05e445db 100644 --- a/test/include/logging_levels.h +++ b/test/include/logging_levels.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 e523c614..1e515299 100644 --- a/test/include/logging_stack.h +++ b/test/include/logging_stack.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 58dcb057..5bda19ed 100644 --- a/test/include/malloc_stub.h +++ b/test/include/malloc_stub.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 a69136a4..c4e47e63 100644 --- a/test/include/mock_osal.h +++ b/test/include/mock_osal.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 ad43a73c..1701ac01 100644 --- a/test/mbedtls_integration/core_pkcs11_config.h +++ b/test/mbedtls_integration/core_pkcs11_config.h @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 92aa86f4..e67bfc70 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.0 + * corePKCS11 v3.6.1 * 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 17084435..4c030b20 100644 --- a/test/mbedtls_integration/mbedtls_integration_test.c +++ b/test/mbedtls_integration/mbedtls_integration_test.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * 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 ae73c423..4affea30 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.0 + * corePKCS11 v3.6.1 * 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 15e06887..90313dc0 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.0 + * corePKCS11 v3.6.1 * 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 5d42db47..bbab174d 100644 --- a/test/wrapper_utest/core_pkcs11_utest.c +++ b/test/wrapper_utest/core_pkcs11_utest.c @@ -1,5 +1,5 @@ /* - * corePKCS11 v3.6.0 + * corePKCS11 v3.6.1 * Copyright (C) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT