aws / aws/aws-encryption-sdk-c
Enable deep checks in CBMC proofs
Open
cbmc
- Dominant language
- C
- Stars
- 63
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
Some Makefiles include this code:
```
# Enable after https://github.com/diffblue/cbmc/issues/5344 is fixed
#DEFINES += -DAWS_DEEP_CHECKS=1
```
We have to track this CBMC issue and enable deep checks once it is addressed.
Contributor guide
Research direction
Check the Makefiles containing the commented AWS_DEEP_CHECKS definition and review upstream CBMC issue 5344 first. Once that issue is addressed, enable the definition and run the affected CBMC proofs to confirm the deep checks pass.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c
- Domain
- cryptography, security
- Issue type
- Feature
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100