aws / aws/aws-encryption-sdk-c
Update CBMC proofs when allocator functions are updated in c-common
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
Start by locating the allocator functions in c-common and the existing CBMC proofs that cover them. Compare the proofs with the current allocator interfaces, then update the affected proofs and confirm that the CBMC proof runs pass.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c
- Domain
- testing-qa, tooling
- Issue type
- Refactor
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100