File tree
10 files changed
+10
-10
lines changed- libraries
- aws
- standard
10 files changed
+10
-10
lines changedSubmodule device-defender-for-aws-iot-embedded-sdk updated 24 files
- .github/.cSpellWords.txt+49
- .github/workflows/ci.yml+42-17
- .github/workflows/formatting.yml+23
- .github/workflows/release.yml+2-2
- CHANGELOG.md+6
- MISRA.md+2-2
- README.md+71-40
- cspell.config.yaml+31
- docs/doxygen/config.doxyfile+1-1
- lexicon.txt-100
- manifest.yml+1-1
- sbom.spdx+31
- source/defender.c+2-2
- source/include/defender.h+1-1
- source/include/defender_config_defaults.h+1-1
- test/CMakeLists.txt+53-45
- test/cbmc/proofs/Defender_GetTopic/Defender_GetTopic_harness.c+1-1
- test/cbmc/proofs/Defender_GetTopic/README.md+1-1
- test/cbmc/proofs/Defender_MatchTopic/Defender_MatchTopic_harness.c+1-1
- test/cbmc/proofs/Defender_MatchTopic/README.md+1-1
- test/include/defender_config.h+1-1
- test/unit-test/defender_utest.c+1-1
- tools/coverity/README.md+3-3
- tools/coverity/misra.config+14-16
Submodule device-shadow-for-aws-iot-embedded-sdk updated 24 files
- .github/.cSpellWords.txt+50
- .github/workflows/ci.yml+42-16
- .github/workflows/formatting.yml+23
- .github/workflows/release.yml+4-4
- CHANGELOG.md+10
- MISRA.md+2-2
- README.md+108-42
- cspell.config.yaml+31
- docs/doxygen/config.doxyfile+1-1
- lexicon.txt-117
- manifest.yml+1-1
- sbom.spdx+31
- source/include/shadow.h+1-1
- source/include/shadow_config_defaults.h+1-1
- source/shadow.c+1-1
- test/CMakeLists.txt+55-48
- test/cbmc/proofs/Shadow_AssembleTopicString/Shadow_AssembleTopicString_harness.c+1-1
- test/cbmc/proofs/Shadow_MatchTopic/Shadow_MatchTopic_harness.c+1-1
- test/cbmc/proofs/Shadow_MatchTopicString/Shadow_MatchTopicString_harness.c+1-1
- test/include/shadow_config.h+1-1
- test/unit-test/CMock+1-1
- test/unit-test/shadow_utest.c+1-1
- tools/coverity/README.md+3-3
- tools/coverity/misra.config+13-16
Submodule fleet-provisioning-for-aws-iot-embedded-sdk updated 26 files
- .github/.cSpellWords.txt+49
- .github/workflows/ci.yml+50-14
- .github/workflows/formatting.yml+23
- .github/workflows/release.yml+4-4
- CHANGELOG.md+13
- README.md+37-28
- cspell.config.yaml+31
- docs/doxygen/config.doxyfile+1-1
- lexicon.txt-85
- manifest.yml+1-1
- sbom.spdx+31
- source/fleet_provisioning.c+6-8
- source/include/fleet_provisioning.h+1-1
- source/include/fleet_provisioning_config_defaults.h+1-1
- test/CMakeLists.txt+50-40
- test/cbmc/proofs/FleetProvisioning_GetRegisterThingTopic/FleetProvisioning_GetRegisterThingTopic_harness.c+1-1
- test/cbmc/proofs/FleetProvisioning_GetRegisterThingTopic/README.md+1-1
- test/cbmc/proofs/FleetProvisioning_MatchTopic/FleetProvisioning_MatchTopic_harness.c+1-1
- test/cbmc/proofs/FleetProvisioning_MatchTopic/README.md+1-1
- test/cbmc/proofs/lib/print_tool_versions.py+74
- test/cbmc/proofs/lib/summarize.py+58-7
- test/include/fleet_provisioning_config.h+1-1
- test/unit-test/Unity+1-1
- test/unit-test/fleet_provisioning_utest.c+1-1
- tools/coverity/README.md+3-3
- tools/coverity/misra.config+13-15
Submodule jobs-for-aws-iot-embedded-sdk updated 95 files
- .github/.cSpellWords.txt+63
- .github/memory_statistics_config.json+7-2
- .github/workflows/ci.yml+46-19
- .github/workflows/formatting.yml+23
- .github/workflows/release.yml+2-2
- .gitmodules-4
- CHANGELOG.md+13
- CONTRIBUTING.md-61
- MISRA.md+2-2
- README.md+74-63
- cspell.config.yaml+31
- docs/doxygen/config.doxyfile+76-64
- docs/doxygen/include/size_table.md+19-4
- docs/doxygen/pages.dox+58-2
- jobsFilePaths.cmake+9
- lexicon.txt-109
- manifest.yml+1-1
- sbom.spdx+45
- source/include/jobs.h+282-25
- source/jobs.c+229-32
- source/otaJobParser/include/job_parser.h+82
- source/otaJobParser/include/ota_job_processor.h+59
- source/otaJobParser/job_parser.c+490
- source/otaJobParser/ota_job_handler.c+105
- test/CMakeLists.txt+116-69
- test/cbmc/.gitignore+2-21
- test/cbmc/lib/summarize.py+19-8
- test/cbmc/output/latest/html/README.md+4
- test/cbmc/proofs.c+493
- test/cbmc/proofs/Jobs_Describe/Jobs_Describe_harness.c-74
- test/cbmc/proofs/Jobs_Describe/Makefile-24
- test/cbmc/proofs/Jobs_Describe/cbmc-proof.txt-1
- test/cbmc/proofs/Jobs_Describe/cbmc-viewer.json-7
- test/cbmc/proofs/Jobs_GetPending/Jobs_GetPending_harness.c-66
- test/cbmc/proofs/Jobs_GetPending/Makefile-20
- test/cbmc/proofs/Jobs_GetPending/cbmc-proof.txt-1
- test/cbmc/proofs/Jobs_GetPending/cbmc-viewer.json-7
- test/cbmc/proofs/Jobs_GetTopic/Jobs_GetTopic_harness.c-68
- test/cbmc/proofs/Jobs_GetTopic/Makefile-20
- test/cbmc/proofs/Jobs_GetTopic/cbmc-proof.txt-1
- test/cbmc/proofs/Jobs_GetTopic/cbmc-viewer.json-7
- test/cbmc/proofs/Jobs_MatchTopic/Jobs_MatchTopic_harness.c-85
- test/cbmc/proofs/Jobs_MatchTopic/Makefile-34
- test/cbmc/proofs/Jobs_MatchTopic/cbmc-proof.txt-1
- test/cbmc/proofs/Jobs_MatchTopic/cbmc-viewer.json-7
- test/cbmc/proofs/Jobs_StartNext/Jobs_StartNext_harness.c-66
- test/cbmc/proofs/Jobs_StartNext/Makefile-20
- test/cbmc/proofs/Jobs_StartNext/cbmc-proof.txt-1
- test/cbmc/proofs/Jobs_StartNext/cbmc-viewer.json-7
- test/cbmc/proofs/Jobs_Update/Jobs_Update_harness.c-74
- test/cbmc/proofs/Jobs_Update/Makefile-23
- test/cbmc/proofs/Jobs_Update/cbmc-proof.txt-1
- test/cbmc/proofs/Jobs_Update/cbmc-viewer.json-7
- test/cbmc/proofs/Makefile-28
- test/cbmc/proofs/Makefile-jobs.common-44
- test/cbmc/proofs/Makefile-project-defines-49
- test/cbmc/proofs/Makefile-project-targets-10
- test/cbmc/proofs/Makefile-project-testing-11
- test/cbmc/proofs/Makefile-template-defines-1
- test/cbmc/proofs/Makefile.common-999
- test/cbmc/proofs/README.md-19
- test/cbmc/proofs/lib/__init__.py
- test/cbmc/proofs/lib/print_tool_versions.py-74
- test/cbmc/proofs/run-cbmc-proofs.py-414
- test/cbmc/proofs/strnAppend/Makefile-14
- test/cbmc/proofs/strnAppend/cbmc-proof.txt-1
- test/cbmc/proofs/strnAppend/cbmc-viewer.json-7
- test/cbmc/proofs/strnAppend/strnAppend_harness.c-66
- test/cbmc/proofs/strnEq/Makefile-14
- test/cbmc/proofs/strnEq/cbmc-proof.txt-1
- test/cbmc/proofs/strnEq/cbmc-viewer.json-7
- test/cbmc/proofs/strnEq/strnEq_harness.c-55
- test/cbmc/run_proofs.sh+27
- test/cbmc/stubs/JSON_SearchConst.c+21
- test/cbmc/stubs/JSON_Validate.c+15
- test/cbmc/stubs/README.md-6
- test/cbmc/stubs/strnAppend.c-60
- test/cbmc/stubs/strnEq.c-39
- test/cbmc/stubs/strnlen.c+19
- test/unit-test/CMakeLists.txt+81-19
- test/unit-test/Unity-1
- test/unit-test/catch_assert.h+1-1
- test/unit-test/cmock_build.cmake-41
- test/unit-test/job_parser_utest.c+669
- test/unit-test/jobs_utest.c+371-5
- test/unit-test/ota_job_handler_utest.c+235
- test/unit-test/unity_build.cmake-38
- tools/cmock/coverage.cmake+52
- tools/cmock/create_test.cmake+124
- tools/cmock/project.yml+26
- tools/coverity/README.md+3-3
- tools/coverity/misra.config+20-17
- tools/unity/coverage.cmake-70
- tools/unity/create_test.cmake-73
- tools/unity/project.yml-12
Submodule sigv4-for-aws-iot-embedded-sdk updated 39 files
- .github/.cSpellWords.txt+2
- .github/CODEOWNERS+37
- .github/pull_request_template.md+18-3
- .github/workflows/ci.yml+8-1
- .github/workflows/release.yml+4-4
- CHANGELOG.md+8
- CMakeLists.txt+49
- MISRA.md+10
- README.md+2-2
- docs/doxygen/config.doxyfile+2-2
- docs/doxygen/include/size_table.md+4-4
- docs/doxygen/pages.dox+5
- manifest.yml+10-1
- sbom.spdx+38
- source/include/sigv4.h+6-2
- source/include/sigv4_config_defaults.h+1-1
- source/include/sigv4_internal.h+8-8
- source/include/sigv4_quicksort.h+1-1
- source/sigv4.c+291-302
- source/sigv4_quicksort.c+5-5
- test/CMakeLists.txt+23-17
- test/cbmc/include/hash_stubs.h+1-1
- test/cbmc/include/sigv4_annex.h+1-1
- test/cbmc/include/sigv4_config.h+1-1
- test/cbmc/include/sigv4_stubs.h+7-7
- test/cbmc/proofs/SigV4_AwsIotDateToIso8601/SigV4_AwsIotDateToIso8601_harness.c+1-1
- test/cbmc/proofs/SigV4_GenerateHTTPAuthorization/Makefile+1-1
- test/cbmc/proofs/SigV4_GenerateHTTPAuthorization/SigV4_GenerateHTTPAuthorization_harness.c+1-1
- test/cbmc/proofs/copyHeaderStringToCanonicalBuffer/copyHeaderStringToCanonicalBuffer_harness.c+2-2
- test/cbmc/stubs/hash_stubs.c+1-1
- test/cbmc/stubs/memcpy.c+1-1
- test/cbmc/stubs/memmove.c+1-1
- test/cbmc/stubs/sigv4_stubs.c+16-18
- test/include/sigv4_config.h+1-1
- test/unit-test/CMock+1-1
- test/unit-test/sigv4_config.h+1-1
- test/unit-test/sigv4_utest.c+16-4
- tools/coverity/README.md+1-1
- tools/coverity/misra.config+17-19
Submodule backoffAlgorithm updated 21 files
- .github/.cSpellWords.txt+47
- .github/CODEOWNERS+37
- .github/workflows/ci.yml+59-18
- .github/workflows/formatting.yml+23
- .github/workflows/release.yml+4-4
- CHANGELOG.md+11
- MISRA.md+11-6
- README.md+63-29
- cspell.config.yaml+31
- docs/doxygen/config.doxyfile+1-1
- lexicon.txt-65
- manifest.yml+10-1
- sbom.spdx+31
- source/backoff_algorithm.c+1-1
- source/include/backoff_algorithm.h+1-1
- test/CMakeLists.txt+31-18
- test/unit-test/Unity+1-1
- test/unit-test/backoff_algorithm_utest.c+1-1
- test/unit-test/catch_assert.h+1-1
- tools/coverity/README.md+3-3
- tools/coverity/misra.config+13-16
- .github/.cSpellWords.txt+5
- .github/workflows/ci.yml+7
- .github/workflows/release.yml+4-4
- CHANGELOG.md+11
- README.md+1-1
- docs/doxygen/config.doxyfile+1-1
- docs/doxygen/include/size_table.md+7-7
- docs/doxygen/pages.dox+15
- manifest.yml+3-3
- sbom.spdx+45
- source/core_http_client.c+10-8
- source/dependency/3rdparty/llhttp+1-1
- source/include/core_http_client.h+2-2
- source/include/core_http_client_private.h+2-2
- source/include/core_http_config_defaults.h+2-2
- source/interface/transport_interface.h+1-1
- test/CMakeLists.txt+13-4
- test/cbmc/include/callback_stubs.h+2-2
- test/cbmc/include/core_http_config.h+2-2
- test/cbmc/include/get_time_stub.h+2-2
- test/cbmc/include/http_cbmc_state.h+2-2
- test/cbmc/include/transport_interface_stubs.h+2-2
- test/cbmc/proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c+2-2
- test/cbmc/proofs/HTTPClient_AddRangeHeader/HTTPClient_AddRangeHeader_harness.c+2-2
- test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c+2-2
- test/cbmc/proofs/HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c+2-2
- test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c+2-2
- test/cbmc/proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c+2-2
- test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c+2-2
- test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c+2-2
- test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c+2-2
- test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c+2-2
- test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c+2-2
- test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c+2-2
- test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c+2-2
- test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c+2-2
- test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c+2-2
- test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c+2-2
- test/cbmc/proofs/httpParserOnStatusCompleteCallback/httpParserOnStatusCompleteCallback_harness.c+2-2
- test/cbmc/sources/http_cbmc_state.c+2-2
- test/cbmc/stubs/HTTPClient_ReadHeader_llhttp_execute.c+2-2
- test/cbmc/stubs/HTTPClient_Send_llhttp_execute.c+2-2
- test/cbmc/stubs/callback_stubs.c+2-2
- test/cbmc/stubs/get_time_stub.c+2-2
- test/cbmc/stubs/httpHeaderStrncpy.c+2-2
- test/cbmc/stubs/memmove.c+2-2
- test/cbmc/stubs/strncpy.c+2-2
- test/cbmc/stubs/transport_interface_stubs.c+2-2
- test/unit-test/CMock+1-1
- test/unit-test/core_http_config.h+2-2
- test/unit-test/core_http_send_utest.c+141-16
- test/unit-test/core_http_utest.c+52-2
- .clusterfuzzlite/Dockerfile+6
- .clusterfuzzlite/README.md+22
- .clusterfuzzlite/build.sh+8
- .clusterfuzzlite/project.yaml+1
- .clusterfuzzlite/validate_fuzzer.c+7
- .github/.cSpellWords.txt+50
- .github/workflows/cflite_pr.yml+30
- .github/workflows/ci.yml+57-15
- .github/workflows/formatting.yml+23
- .github/workflows/release.yml+4-4
- CHANGELOG.md+7
- MISRA.md+1-1
- README.md+87-34
- cspell.config.yaml+31
- docs/doxygen/config.doxyfile+1-1
- lexicon.txt-128
- loop_invariants.patch+202
- manifest.yml+10-1
- sbom.spdx+31
- source/core_json.c+120-85
- source/include/core_json.h+11-1
- test/CMakeLists.txt+50-40
- test/cbmc/include/core_json_annex.h+1-1
- test/cbmc/include/core_json_contracts.h+54-30
- test/cbmc/proofs/JSON_Iterate/JSON_Iterate_harness.c+1-1
- test/cbmc/proofs/JSON_Iterate/Makefile+1-6
- test/cbmc/proofs/JSON_SearchConst/JSON_SearchConst_harness.c+1-1
- test/cbmc/proofs/JSON_SearchConst/Makefile+3-15
- test/cbmc/proofs/JSON_Validate/JSON_Validate_harness.c+1-1
- test/cbmc/proofs/JSON_Validate/Makefile+2-9
- test/cbmc/proofs/Makefile-json.common+4-10
- test/cbmc/proofs/arraySearch/Makefile+1-7
- test/cbmc/proofs/arraySearch/arraySearch_harness.c+1-1
- test/cbmc/proofs/multiSearch/Makefile+19
- test/cbmc/proofs/multiSearch/README.md+17
- test/cbmc/proofs/multiSearch/cbmc-proof.txt+1
- test/cbmc/proofs/multiSearch/cbmc-viewer.json+7
- test/cbmc/proofs/multiSearch/multiSearch_harness.c+42
- test/cbmc/proofs/objectSearch/Makefile+2-10
- test/cbmc/proofs/objectSearch/objectSearch_harness.c+1-1
- test/cbmc/proofs/skipAnyScalar/Makefile+1-7
- test/cbmc/proofs/skipAnyScalar/skipAnyScalar_harness.c+1-1
- test/cbmc/proofs/skipCollection/Makefile+1-8
- test/cbmc/proofs/skipCollection/skipCollection_harness.c+1-1
- test/cbmc/proofs/skipDigits/Makefile+1-6
- test/cbmc/proofs/skipDigits/skipDigits_harness.c+1-1
- test/cbmc/proofs/skipEscape/Makefile+1-6
- test/cbmc/proofs/skipEscape/skipEscape_harness.c+1-1
- test/cbmc/proofs/skipObjectScalars/Makefile+2-9
- test/cbmc/proofs/skipObjectScalars/skipObjectScalars_harness.c+1-1
- test/cbmc/proofs/skipScalars/Makefile+2-7
- test/cbmc/proofs/skipScalars/skipScalars_harness.c+1-1
- test/cbmc/proofs/skipSpace/Makefile+1-6
- test/cbmc/proofs/skipSpace/skipSpace_harness.c+1-1
- test/cbmc/proofs/skipString/Makefile+1-6
- test/cbmc/proofs/skipString/skipString_harness.c+1-1
- test/cbmc/proofs/skipUTF8/Makefile+1-7
- test/cbmc/proofs/skipUTF8/skipUTF8_harness.c+1-1
- test/cbmc/sources/core_json_contracts.c+60-36
- test/unit-test/Unity+1-1
- test/unit-test/core_json_utest.c+1-1
- tools/coverity/misra.config+24-26
- .github/.cSpellWords.txt+47
- .github/workflows/ci.yml+92-24
- .github/workflows/formatting.yml+23
- .github/workflows/release.yml+136-22
- CHANGELOG.md+33
- README.md+130-58
- cspell.config.yaml+31
- docs/doxygen/config.doxyfile+1-1
- lexicon.txt-439
- manifest.yml+1-1
- sbom.spdx+45
- source/core_mqtt.c+14-11
- source/core_mqtt_serializer.c+1-3
- source/core_mqtt_state.c+1-3
- source/include/core_mqtt.h+13-2
- source/include/core_mqtt_config_defaults.h+81-1
- source/include/core_mqtt_default_logging.h-132
- source/include/core_mqtt_serializer.h+1-13
- source/include/core_mqtt_state.h+1-1
- source/interface/transport_interface.h+6-9
- test/CMakeLists.txt+60-48
- test/cbmc/include/core_mqtt_config.h+1-7
- test/cbmc/include/event_callback_stub.h+1-1
- test/cbmc/include/get_time_stub.h+1-1
- test/cbmc/include/mqtt_cbmc_state.h+1-1
- test/cbmc/include/network_interface_stubs.h+1-1
- test/cbmc/proofs/MQTT_Connect/MQTT_Connect_harness.c+2-1
- test/cbmc/proofs/MQTT_DeserializeAck/MQTT_DeserializeAck_harness.c+1-1
- test/cbmc/proofs/MQTT_DeserializePublish/MQTT_DeserializePublish_harness.c+1-1
- test/cbmc/proofs/MQTT_Disconnect/MQTT_Disconnect_harness.c+1-1
- test/cbmc/proofs/MQTT_GetIncomingPacketTypeAndLength/MQTT_GetIncomingPacketTypeAndLength_harness.c+6-1
- test/cbmc/proofs/MQTT_GetPacketId/MQTT_GetPacketId_harness.c+1-1
- test/cbmc/proofs/MQTT_GetSubAckStatusCodes/MQTT_GetSubAckStatusCodes_harness.c+1-1
- test/cbmc/proofs/MQTT_Init/MQTT_Init_harness.c+1-1
- test/cbmc/proofs/MQTT_MatchTopic/MQTT_MatchTopic_harness.c+1-1
- test/cbmc/proofs/MQTT_Ping/MQTT_Ping_harness.c+1-1
- test/cbmc/proofs/MQTT_ProcessLoop/MQTT_ProcessLoop_harness.c+1-1
- test/cbmc/proofs/MQTT_Publish/MQTT_Publish_harness.c+2-1
- test/cbmc/proofs/MQTT_ReceiveLoop/MQTT_ReceiveLoop_harness.c+1-1
- test/cbmc/proofs/MQTT_SerializeAck/MQTT_SerializeAck_harness.c+1-1
- test/cbmc/proofs/MQTT_SerializeConnect/MQTT_SerializeConnect_harness.c+1-1
- test/cbmc/proofs/MQTT_SerializeDisconnect/MQTT_SerializeDisconnect_harness.c+1-1
- test/cbmc/proofs/MQTT_SerializePingreq/MQTT_SerializePingreq_harness.c+1-1
- test/cbmc/proofs/MQTT_SerializePublish/MQTT_SerializePublish_harness.c+1-1
- test/cbmc/proofs/MQTT_SerializePublishHeader/MQTT_SerializePublishHeader_harness.c+1-1
- test/cbmc/proofs/MQTT_SerializeSubscribe/MQTT_SerializeSubscribe_harness.c+1-1
- test/cbmc/proofs/MQTT_SerializeUnsubscribe/MQTT_SerializeUnsubscribe_harness.c+1-1
- test/cbmc/proofs/MQTT_Subscribe/MQTT_Subscribe_harness.c+2-1
- test/cbmc/proofs/MQTT_Unsubscribe/MQTT_Unsubscribe_harness.c+2-1
- test/cbmc/sources/mqtt_cbmc_state.c+1-1
- test/cbmc/stubs/event_callback_stub.c+1-1
- test/cbmc/stubs/get_time_stub.c+1-1
- test/cbmc/stubs/memmove.c+1-1
- test/cbmc/stubs/network_interface_stubs.c+1-1
- test/unit-test/cmock_opaque_types.h+36
- test/unit-test/core_mqtt_config.h+3-9
- test/unit-test/core_mqtt_serializer_utest.c+8-1
- test/unit-test/core_mqtt_state_utest.c+1-1
- test/unit-test/core_mqtt_utest.c+10-1
- test/unit-test/logging/logging_levels.h+1-1
- test/unit-test/logging/logging_stack.h+1-1
- tools/cmock/project.yml+2
- tools/coverity/misra.config+22-25
Submodule corePKCS11 updated 81 files
- .github/.cSpellWords.txt+65-37
- .github/memory_statistics_config.json+1-1
- .github/workflows/ci.yml+47-29
- .github/workflows/release.yml+4-4
- .gitmodules+1-1
- CHANGELOG.md+14
- README.md+2-2
- docs/doxygen/config.doxyfile+1-1
- docs/doxygen/include/size_table.md+3-3
- manifest.yml+3-3
- pkcsFilePaths.cmake+1-1
- sbom.spdx+90
- source/core_pkcs11.c+44-48
- source/core_pki_utils.c+31-31
- source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.c+2-2
- source/dependency/3rdparty/mbedtls_utils/mbedtls_utils.h+2-2
- source/dependency/3rdparty/pkcs11+1-1
- source/include/core_pkcs11.h+2-2
- source/include/core_pkcs11_config_defaults.h+2-2
- source/include/core_pkcs11_pal.h+2-2
- source/include/core_pki_utils.h+2-2
- source/portable/mbedtls/core_pkcs11_mbedtls.c+76-45
- source/portable/os/core_pkcs11_pal_utils.c+2-2
- source/portable/os/core_pkcs11_pal_utils.h+2-2
- source/portable/os/freertos_winsim/core_pkcs11_pal.c+17-9
- source/portable/os/posix/core_pkcs11_pal.c+2-2
- test/CMakeLists.txt+9-7
- test/cbmc/include/core_pkcs11_config.h+2-2
- test/cbmc/include/mbedtls_config.h-20
- test/cbmc/include/pkcs11_interface_stubs.h+2-2
- test/cbmc/proofs/C_CloseSession/C_CloseSession_harness.c+2-2
- test/cbmc/proofs/C_CreateObject/C_CreateObject_harness.c+2-2
- test/cbmc/proofs/C_DestroyObject/C_DestroyObject_harness.c+2-2
- test/cbmc/proofs/C_DigestFinal/C_DigestFinal_harness.c+2-2
- test/cbmc/proofs/C_DigestInit/C_DigestInit_harness.c+2-2
- test/cbmc/proofs/C_DigestUpdate/C_DigestUpdate_harness.c+2-2
- test/cbmc/proofs/C_Finalize/C_Finalize_harness.c+2-2
- test/cbmc/proofs/C_FindObjects/C_FindObjects_harness.c+2-2
- test/cbmc/proofs/C_FindObjectsFinal/C_FindObjectsFinal_harness.c+2-2
- test/cbmc/proofs/C_FindObjectsInit/C_FindObjectsInit_harness.c+2-2
- test/cbmc/proofs/C_GenerateKeyPair/C_GenerateKeyPair_harness.c+2-2
- test/cbmc/proofs/C_GenerateRandom/C_GenerateRandom_harness.c+2-2
- test/cbmc/proofs/C_GetAttributeValue/C_GetAttributeValue_harness.c+2-2
- test/cbmc/proofs/C_GetFunctionList/C_GetFunctionList_harness.c+2-2
- test/cbmc/proofs/C_GetMechanismInfo/C_GetMechanismInfo_harness.c+2-2
- test/cbmc/proofs/C_GetSlotList/C_GetSlotList_harness.c+2-2
- test/cbmc/proofs/C_Initialize/C_Initialize_harness.c+2-2
- test/cbmc/proofs/C_OpenSession/C_OpenSession_harness.c+2-2
- test/cbmc/proofs/C_Sign/C_Sign_harness.c+2-2
- test/cbmc/proofs/C_SignInit/C_SignInit_harness.c+2-2
- test/cbmc/proofs/C_Verify/C_Verify_harness.c+2-2
- test/cbmc/proofs/C_VerifyInit/C_VerifyInit_harness.c+2-2
- test/cbmc/proofs/Makefile-project-defines+1-1
- test/cbmc/proofs/PKI_mbedTLSSignatureToPkcs11Signature/PKI_mbedTLSSignatureToPkcs11Signature_harness.c+2-2
- test/cbmc/proofs/PKI_pkcs11SignatureTombedTLSSignature/PKI_pkcs11SignatureTombedTLSSignature_harness.c+2-2
- test/cbmc/proofs/vAppendSHA256AlgorithmIdentifierSequence/vAppendSHA256AlgorithmIdentifierSequence_harness.c+2-2
- test/cbmc/proofs/xFindObjectWithLabelAndClass/xFindObjectWithLabelAndClass_harness.c+2-2
- test/cbmc/proofs/xGetSlotList/xGetSlotList_harness.c+2-2
- test/cbmc/proofs/xInitializePKCS11/xInitializePKCS11_harness.c+2-2
- test/cbmc/proofs/xInitializePkcs11Session/xInitializePkcs11Session_harness.c+2-2
- test/cbmc/proofs/xInitializePkcs11Token/xInitializePkcs11Token_harness.c+2-2
- test/cbmc/stubs/core_pkcs11_pal_stubs.c+2-2
- test/cbmc/stubs/core_pki_utils_stubs.c+2-2
- test/cbmc/stubs/mbedtls_stubs.c+2-2
- test/cbmc/stubs/pkcs11_interface_stubs.c+2-2
- test/include/core_pkcs11_config.h+2-2
- test/include/logging_levels.h+2-2
- test/include/logging_stack.h+2-2
- test/include/malloc_stub.h+2-2
- test/include/mock_osal.h+2-2
- test/mbedtls_integration/core_pkcs11_config.h+2-2
- test/mbedtls_integration/core_pkcs11_test_config.h+2-2
- test/mbedtls_integration/mbedtls_integration_test.c+2-2
- test/pkcs11_mbedtls_utest/core_pkcs11_mbedtls_utest.c+492-38
- test/pkcs11_utils_utest/pkcs11_utils_utest.c+2-2
- test/wrapper_utest/core_pkcs11_utest.c+223-19
- tools/cmock.cmake+1-1
- tools/coverity/README.md+3-3
- tools/coverity/misra.config+32-31
- tools/mbedtls.cmake+2-2
- tools/unity.cmake+1-1
0 commit comments