aws / aws/aws-encryption-sdk-c
All CBMC proofs should use -DAWS_NO_STATIC_IMPL
Open
- 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 repository's CBMC proof entry points and review how proof commands are configured. Check each proof invocation for the -DAWS_NO_STATIC_IMPL definition; done means all CBMC proofs use that definition consistently and the proof suite still runs successfully.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c
- Domain
- testing
- Issue type
- Refactor
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100