Path	Lines of Code
CHANGELOG.md	22
CMakeLists.txt	36
MISRA.md	26
README.md	88
SECURITY.md	4
test/CMakeLists.txt	74
test/cbmc/include/README.md	5
test/cbmc/proofs/README.md	21
test/cbmc/proofs/SigV4_AwsIotDateToIso8601/README.md	15
test/cbmc/proofs/SigV4_AwsIotDateToIso8601/cbmc-proof.txt	1
test/cbmc/proofs/SigV4_AwsIotDateToIso8601/cbmc-viewer.json	6
test/cbmc/proofs/SigV4_GenerateHTTPAuthorization/README.md	15
test/cbmc/proofs/SigV4_GenerateHTTPAuthorization/cbmc-proof.txt	1
test/cbmc/proofs/SigV4_GenerateHTTPAuthorization/cbmc-viewer.json	6
test/cbmc/proofs/copyHeaderStringToCanonicalBuffer/README.md	9
test/cbmc/proofs/copyHeaderStringToCanonicalBuffer/cbmc-proof.txt	1
test/cbmc/proofs/copyHeaderStringToCanonicalBuffer/cbmc-viewer.json	6
test/cbmc/sources/README.md	5
test/cbmc/stubs/README.md	5
test/unit-test/CMakeLists.txt	45
tools/coverity/README.md	72