aws / aws/aws-encryption-sdk-c
Add pointer-overflow check for slow proofs
Open
cbmc
high priority
- Dominant language
- C
- Stars
- 63
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
We have disable pointer-overflow check for 3 proofs (se [PR #703)](https://github.com/aws/aws-encryption-sdk-c/pull/703):
1. aws_cryptosdk_enc_ctx_clone;
2. aws_cryptosdk_enc_ctx_serialize;
3. aws_cryptosdk_hdr_write;
We musta dd these checks back and investigate how to speed up these proofs.
Contributor guide
Assessment
This issue has not been assessed yet.