Commit 1f2362f
File tree
155 files changed
+171
-159
lines changed- docs/doxygen
- source
- 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_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
- 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
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
155 files changed
+171
-159
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
38 | 38 | | |
39 | 39 | | |
40 | 40 | | |
41 | | - | |
| 41 | + | |
42 | 42 | | |
43 | 43 | | |
44 | 44 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
0 commit comments