Path	Lines of Code
CHANGELOG.md	13
MISRA.md	19
README.md	53
SECURITY.md	4
test/cbmc/proofs/SigV4_AwsIotDateToIso8601/README.md	15
test/cbmc/proofs/SigV4_AwsIotDateToIso8601/cbmc-viewer.json	6
test/cbmc/proofs/SigV4_GenerateHTTPAuthorization/README.md	15
test/cbmc/proofs/SigV4_GenerateHTTPAuthorization/cbmc-viewer.json	6
test/cbmc/proofs/copyHeaderStringToCanonicalBuffer/README.md	9
test/cbmc/proofs/copyHeaderStringToCanonicalBuffer/cbmc-viewer.json	6