aws / aws/aws-encryption-sdk-c
Style clean up in CBMC proofs
Open
cbmc
- Dominant language
- C
- Stars
- 63
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
All the CBMC proofs tagged in this issue should be revised (style clean up).
Contributor guide
Research direction
Start by locating the CBMC proofs associated with issue #487 and review the existing proof style before making changes. Done means all proofs covered by the issue have consistent styling, but the issue does not identify the proof files or define the required style.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c
- Domain
- security, testing-qa
- Issue type
- Refactor
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100