aws / aws/aws-encryption-sdk-c
Add postconditions to enc_ctx_clone CBMC proof
Open
cbmc
- Dominant language
- C
- Stars
- 63
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
This issue has no description.
Contributor guide
Research direction
Locate the CBMC proof for enc_ctx_clone and review its existing assertions and contracts. Determine which postconditions are missing, add them to the proof, and run the relevant CBMC verification to confirm it passes.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c
- Domain
- cryptography, security
- Issue type
- Refactor
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100