aws / aws/aws-encryption-sdk-c
Update EVP_EncryptUpdate and EVP_DecryptUpdate stubs for CBMC proofs
Open
cbmc
- Dominant language
- C
- Stars
- 63
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
Using `IMPLIES` might make the logic here more explicit.
Contributor guide
Research direction
Start by locating the EVP_EncryptUpdate and EVP_DecryptUpdate stubs and reading the surrounding CBMC proof context. Determine how IMPLIES should make the stub logic explicit, then confirm the CBMC proofs pass with the updated stubs.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c
- Domain
- security
- Issue type
- Refactor
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100