aws / aws/aws-encryption-sdk-c
Add missing stubs file for CBMC proofs
Open
cbmc
- Dominant language
- C
- Stars
- 63
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
Add missing stubs file for:
- [ ] aws_cryptosdk_sign_header
- [ ] aws_cryptosdk_verify_header
Contributor guide
Research direction
Start by locating the existing CBMC proof stubs files and references to aws_cryptosdk_sign_header and aws_cryptosdk_verify_header. Add the missing stubs file in the same area and verify that both symbols are covered by the CBMC proofs.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c
- Domain
- cryptography, security
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100