MISRA Violation Fixes - Githubissues

aws / aws-iot-core-mqtt-file-streams-embedded-c

MIT License

2 stars 5 forks source link

MISRA Violation Fixes #8

Closed bradleysmith23 closed 11 months ago

bradleysmith23 commented 11 months ago

Issue #, if available:

Description of changes: Fix MISRA violations Add check to mqttDownloader_createGetDataBlockRequest() to see if the buffer passed in is long enough for the call to snprintf() Update CBMC proofs and unit tests with the addition of a parameter to mqttDownloader_createGetDataBlockRequest().

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

bradleysmith23 commented 11 months ago

Were the changes verified by running the OTA demo?

Yes, verified that the OTA Demo runs successfully with these changes.

bradleysmith23 commented 11 months ago

Again, verified the changes by running the OTA demo for both the CBOR and JSON data types