Code

Setup proof infrastructure for CBMC#7

Code

Merged

yourslab merged 4 commits intoaws:mainaws/SigV4-for-AWS-IoT-embedded-sdk:mainfrom yourslab:cbmc-infrayourslab/sigv4-for-aws-iot-embedded-sdk:cbmc-infraCopy head branch name to clipboardApr 30, 2021

+513

Commits

Commits on Apr 27, 2021

• Add Litani and templates for CBMC

  yourslab

  committed
  80a9972

• Add sample proof

  yourslab

  committed
  ab28f38

• Implement CBMC proof for SigV4_AwsIotDateToIso8601

  yourslab

  committed
  be74c2e

Commits on Apr 29, 2021

• Unwind all loops such that no unwinding errors occur

  

  root

  authored and

  root

  committed
  0fb6009