This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
File tree
5 files changed
+12
-6
lines changed- FreeRTOS
5 files changed
+12
-6
lines changedLines changed: 6 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
3 | 9 |
| |
4 | 10 |
| |
5 | 11 |
| |
|
Submodule FreeRTOS-Plus-TCP updated 430 files
Submodule 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
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
13 |
| - | |
| 13 | + | |
14 | 14 |
| |
15 | 15 |
| |
16 |
| - | |
| 16 | + | |
17 | 17 |
| |
18 | 18 |
| |
19 | 19 |
| |
|
Lines changed: 2 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
13 |
| - | |
| 13 | + | |
14 | 14 |
| |
15 | 15 |
| |
16 | 16 |
| |
| |||
34 | 34 |
| |
35 | 35 |
| |
36 | 36 |
| |
37 |
| - | |
| 37 | + | |
38 | 38 |
| |
39 | 39 |
| |
40 | 40 |
| |
|
0 commit comments