aws / aws/aws-encryption-sdk-c
Remove stub from aws_cryptosdk_enc_materials_destroy proof
Open
cbmc
- Dominant language
- C
- Stars
- 63
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
Once diffblue/cbmc#5344 is fixed, remove the stub.
Contributor guide
Research direction
Start by checking diffblue/cbmc#5344, which this issue identifies as a prerequisite. After that dependency is resolved, locate the proof containing the stub for aws_cryptosdk_enc_materials_destroy and confirm that removing it leaves the proof passing.
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
- 25/100