AWS library to sign AWS HTTP requests with Signature Version 4
...This library has also undergone staticcodeanalysis using Coverity staticanalysis, and validation of memory safety through the CBMC automated reasoning tool.
Client library for using AWS IoT Defender service on embedded devices
...Deviations from the MISRA C:2012 guidelines are documented under MISRA Deviations. This library has also undergone staticcodeanalysis using Coverity staticanalysis.