File tree
162 files changed
+331
-8
lines changed- .github/workflows
- source
- dependency
- include
- portable/os
- test
- cbmc
- include
- proofs
- Free_FreeRTOS
- Malloc_FreeRTOS
- OTA_ActivateNewImage
- OTA_CBOR_Decode_GetStreamResponseMessage
- OTA_CBOR_Encode_GetStreamRequestMessage
- OTA_CheckForUpdate
- OTA_Err_strerror
- OTA_EventProcessingTask
- OTA_EventProcess
- OTA_GetImageState
- OTA_GetState
- OTA_GetStatistics
- OTA_HTTP_strerror
- OTA_Init
- OTA_JobParse_strerror
- OTA_MQTT_strerror
- OTA_OsStatus_strerror
- OTA_PalStatus_strerror
- OTA_Resume
- OTA_SetImageState
- OTA_Shutdown
- OTA_SignalEvent
- OTA_Suspend
- OtaDeinitEvent_FreeRTOS
- OtaDeleteTimer_FreeRTOS
- OtaInitEvent_FreeRTOS
- OtaReceiveEvent_FreeRTOS
- OtaSendEvent_FreeRTOS
- OtaStartTimer_FreeRTOS
- OtaStopTimer_FreeRTOS
- Posix_OtaDeinitEvent
- Posix_OtaDeleteTimer
- Posix_OtaInitEvent
- Posix_OtaReceiveEvent
- Posix_OtaSendEvent
- Posix_OtaStartTimer
- Posix_OtaStopTimer
- Posix_RequestTimerCallback
- Posix_selfTestTimerCallback
- STDC_FREE
- STDC_Malloc
- agentShutdownCleanup
- base64Decode
- buildStatusMessageReceiving
- checkDataType
- cleanupControl_Mqtt
- cleanupData_Http
- cleanupData_Mqtt
- closeFileHandler
- dataHandlerCleanup
- decodeAndStoreDataBlock
- decodeAndStoreKey
- decodeBase64IndexBuffer
- decodeFileBlock_Http
- decodeFileBlock_Mqtt
- executeHandler
- extractAndStoreArray
- extractParameter
- freeFileContextMem
- getFileContextFromJob
- handleCustomJob
- handleJobParsingError
- handleSelfTestJobDoc
- handleUnexpectedEvents
- inSelfTestHandler
- ingestDataBlockCleanup
- ingestDataBlock
- initDocModel
- initFileHandler
- initFileTransfer_Http
- initFileTransfer_Mqtt
- initializeAppBuffers
- initializeLocalBuffers
- jobNotificationHandler
- otaClose
- otaTimerCallback
- parseJSONbyModel
- parseJobDoc
- platformInSelftest
- preprocessBase64Index
- processDataBlock
- processDataHandler
- processJobHandler
- processNullFileContext
- processValidFileContext
- prvBuildStatusMessageFinish
- prvBuildStatusMessageSelfTest
- publishStatusMessage
- receiveAndProcessOtaEvent
- requestDataBlock_Http
- requestDataHandler
- requestFileBlock_Mqtt
- requestJobHandler
- requestJob_Mqtt
- requestTimerCallback
- resetEventQueue
- resumeHandler
- searchTransition
- selfTestTimerCallback
- setControlInterface
- setDataInterface
- setImageStateWithReason
- shutdownHandler
- startHandler
- stringBuilderUInt32Decimal
- stringBuilderUInt32Hex
- stringBuilder
- subscribeToJobNotificationTopics
- suspendHandler
- unsubscribeFromDataStream
- unsubscribeFromJobNotificationTopic
- updateBase64DecodingBuffer
- updateJobStatusFromImageState
- updateJobStatus_Mqtt
- userAbortHandler
- validateAndStartJob
- validateDataBlock
- validateJSON
- validateUpdateVersion
- verifyActiveJobStatus
- verifyRequiredParamsExtracted
- source
- unit-test
- tools
- coverity
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
162 files changed
+331
-8
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
14 |
| - | |
| 14 | + | |
15 | 15 |
| |
16 | 16 |
| |
17 | 17 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
7 |
| - | |
| 7 | + | |
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
|
- .github/workflows/doxygen.yml+11
- .github/workflows/memory_statistics.yml-22
- .github/workflows/release.yml+27-2
- .gitmodules-8
- CHANGELOG.md+9
- MISRA.md+24-19
- README.md+11-1
- docs/doxygen/config.doxyfile+729-96
- lexicon.txt+4
- manifest.yml+1-1
- sbom.spdx+29
- source/core_json.c+18-13
- source/include/core_json.h+3-1
- test/CMakeLists.txt+3
- test/cbmc/aws-templates-for-cbmc-proofs-1
- test/cbmc/include/README.md-1
- test/cbmc/include/README.md+6
- test/cbmc/include/core_json_annex.h+3-1
- test/cbmc/include/skipGeneric.h+3-1
- test/cbmc/litani-1
- test/cbmc/proofs/JSON_Iterate/JSON_Iterate_harness.c+3-1
- test/cbmc/proofs/JSON_Iterate/Makefile+1-1
- test/cbmc/proofs/JSON_Search/JSON_Search_harness.c+3-1
- test/cbmc/proofs/JSON_Search/Makefile+1-1
- test/cbmc/proofs/JSON_Validate/JSON_Validate_harness.c+3-1
- test/cbmc/proofs/JSON_Validate/Makefile+1-1
- test/cbmc/proofs/Makefile-json.common+1-1
- test/cbmc/proofs/Makefile-project-defines+2-2
- test/cbmc/proofs/Makefile-project-targets+1-1
- test/cbmc/proofs/Makefile-project-testing+1-1
- test/cbmc/proofs/Makefile.common-1
- test/cbmc/proofs/Makefile.common+999
- test/cbmc/proofs/lib/__init__.py
- test/cbmc/proofs/lib/summarize.py+92
- test/cbmc/proofs/run-cbmc-proofs.py-1
- test/cbmc/proofs/run-cbmc-proofs.py+414
- test/cbmc/proofs/skipAnyLiteral/Makefile+1-1
- test/cbmc/proofs/skipAnyLiteral/skipAnyLiteral_harness.c+3-1
- test/cbmc/proofs/skipCollection/Makefile+1-1
- test/cbmc/proofs/skipCollection/skipCollection_harness.c+3-1
- test/cbmc/proofs/skipEscape/Makefile+1-1
- test/cbmc/proofs/skipEscape/skipEscape_harness.c+3-1
- test/cbmc/proofs/skipNumber/Makefile+1-1
- test/cbmc/proofs/skipNumber/skipNumber_harness.c+3-1
- test/cbmc/proofs/skipSpace/Makefile+1-1
- test/cbmc/proofs/skipSpace/skipSpace_harness.c+3-1
- test/cbmc/proofs/skipSpaceAndComma/Makefile+1-1
- test/cbmc/proofs/skipSpaceAndComma/skipSpaceAndComma_harness.c+3-1
- test/cbmc/proofs/skipString/Makefile+1-1
- test/cbmc/proofs/skipString/skipString_harness.c+3-1
- test/cbmc/proofs/skipUTF8/Makefile+1-1
- test/cbmc/proofs/skipUTF8/skipUTF8_harness.c+3-1
- test/cbmc/sources/README.md-1
- test/cbmc/sources/README.md+6
- test/cbmc/stubs/README.md-1
- test/cbmc/stubs/README.md+6
- test/cbmc/stubs/skipAnyLiteral.c+3-1
- test/cbmc/stubs/skipAnyScalar.c+3-1
- test/cbmc/stubs/skipCollection.c+3-1
- test/cbmc/stubs/skipDigits.c+2
- test/cbmc/stubs/skipEscape.c+3-1
- test/cbmc/stubs/skipGeneric.c+3-1
- test/cbmc/stubs/skipNumber.c+3-1
- test/cbmc/stubs/skipSpace.c+3-1
- test/cbmc/stubs/skipSpaceAndComma.c+3-1
- test/cbmc/stubs/skipString.c+3-1
- test/cbmc/stubs/skipUTF8.c+3-1
- test/unit-test/catch_assert.h+2
- test/unit-test/core_json_utest.c+19-3
- tools/coverity/README.md+79
- tools/coverity/misra.config+13-10
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
| 6 | + | |
5 | 7 |
| |
6 | 8 |
| |
7 | 9 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
| 6 | + | |
5 | 7 |
| |
6 | 8 |
| |
7 | 9 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
| 6 | + | |
5 | 7 |
| |
6 | 8 |
| |
7 | 9 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
| 6 | + | |
5 | 7 |
| |
6 | 8 |
| |
7 | 9 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
2 | 2 |
| |
3 | 3 |
| |
4 | 4 |
| |
| 5 | + | |
| 6 | + | |
5 | 7 |
| |
6 | 8 |
| |
7 | 9 |
| |
|
0 commit comments