Commit 182581f
1 file changed
+1
-1
lines changedSubmodule corePKCS11 updated 73 files
- .github/.cSpellWords.txt+5
- .github/workflows/ci.yml+2-2
- .github/workflows/formatting.yml-23
- .github/workflows/release.yml+35-15
- CHANGELOG.md+6
- README.md+4-10
- docs/doxygen/config.doxyfile+1-1
- docs/doxygen/include/size_table.md+4-4
- manifest.yml+1-1
- sbom.spdx+21-21
- source/core_pkcs11.c+1-1
- source/core_pki_utils.c+1-1
- source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.c+1-1
- source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.h+1-1
- source/include/core_pkcs11.h+3-3
- source/include/core_pkcs11_config_defaults.h+1-1
- source/include/core_pkcs11_pal.h+1-1
- source/include/core_pki_utils.h+1-1
- source/portable/mbedtls/core_pkcs11_mbedtls.c+197-10
- source/portable/os/core_pkcs11_pal_utils.c+1-1
- source/portable/os/core_pkcs11_pal_utils.h+1-1
- source/portable/os/freertos_winsim/core_pkcs11_pal.c+1-1
- source/portable/os/posix/core_pkcs11_pal.c+1-1
- test/cbmc/include/core_pkcs11_config.h+1-1
- test/cbmc/include/pkcs11_interface_stubs.h+1-1
- test/cbmc/proofs/C_CloseSession/C_CloseSession_harness.c+1-1
- test/cbmc/proofs/C_CreateObject/C_CreateObject_harness.c+1-1
- test/cbmc/proofs/C_DestroyObject/C_DestroyObject_harness.c+1-1
- test/cbmc/proofs/C_DigestFinal/C_DigestFinal_harness.c+1-1
- test/cbmc/proofs/C_DigestInit/C_DigestInit_harness.c+1-1
- test/cbmc/proofs/C_DigestUpdate/C_DigestUpdate_harness.c+1-1
- test/cbmc/proofs/C_Finalize/C_Finalize_harness.c+1-1
- test/cbmc/proofs/C_FindObjects/C_FindObjects_harness.c+1-1
- test/cbmc/proofs/C_FindObjectsFinal/C_FindObjectsFinal_harness.c+1-1
- test/cbmc/proofs/C_FindObjectsInit/C_FindObjectsInit_harness.c+1-1
- test/cbmc/proofs/C_GenerateKeyPair/C_GenerateKeyPair_harness.c+1-1
- test/cbmc/proofs/C_GenerateRandom/C_GenerateRandom_harness.c+1-1
- test/cbmc/proofs/C_GetAttributeValue/C_GetAttributeValue_harness.c+1-1
- test/cbmc/proofs/C_GetFunctionList/C_GetFunctionList_harness.c+1-1
- test/cbmc/proofs/C_GetMechanismInfo/C_GetMechanismInfo_harness.c+1-1
- test/cbmc/proofs/C_GetSlotList/C_GetSlotList_harness.c+1-1
- test/cbmc/proofs/C_Initialize/C_Initialize_harness.c+1-1
- test/cbmc/proofs/C_OpenSession/C_OpenSession_harness.c+1-1
- test/cbmc/proofs/C_Sign/C_Sign_harness.c+1-1
- test/cbmc/proofs/C_SignInit/C_SignInit_harness.c+1-1
- test/cbmc/proofs/C_Verify/C_Verify_harness.c+1-1
- test/cbmc/proofs/C_VerifyInit/C_VerifyInit_harness.c+1-1
- test/cbmc/proofs/PKI_mbedTLSSignatureToPkcs11Signature/PKI_mbedTLSSignatureToPkcs11Signature_harness.c+1-1
- test/cbmc/proofs/PKI_pkcs11SignatureTombedTLSSignature/PKI_pkcs11SignatureTombedTLSSignature_harness.c+1-1
- test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c+1-1
- test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c+1-1
- test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c+1-1
- test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c+1-1
- test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c+1-1
- test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c+1-1
- test/cbmc/stubs/core_pkcs11_pal_stubs.c+1-1
- test/cbmc/stubs/core_pki_utils_stubs.c+1-1
- test/cbmc/stubs/mbedtls_stubs.c+1-1
- test/cbmc/stubs/pkcs11_interface_stubs.c+1-1
- test/include/core_pkcs11_config.h+1-1
- test/include/logging_levels.h+1-1
- test/include/logging_stack.h+1-1
- test/include/malloc_stub.h+1-1
- test/include/mock_osal.h+1-1
- test/mbedtls_integration/core_pkcs11_config.h+1-1
- test/mbedtls_integration/core_pkcs11_test_config.h+1-1
- test/mbedtls_integration/mbedtls_integration_test.c+2-2
- test/pkcs11_mbedtls_utest/core_pkcs11_mbedtls_utest.c+475-25
- test/pkcs11_utils_utest/pkcs11_utils_utest.c+1-1
- test/wrapper_utest/core_pkcs11_utest.c+1-1
- tools/coverity/README.md+2-2
- tools/mbedtls.cmake+2-2
- tools/mbedtls_configure.sh+1
0 commit comments