aws / aws/aws-encryption-sdk-c
Transfer aws_hash_iter_overrides to AWS C Common
Open
cbmc
- Dominant language
- C
- Stars
- 63
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
There are proofs in ESDK-C that require a new version of the stubs `aws_hash_iter_overrides`; however, they need to live in AWS C Common project along with the `aws_hash_table` implementation.
Contributor guide
Research direction
Start by locating the aws_hash_iter_overrides stubs and the aws_hash_table implementation in ESDK-C and AWS C Common. Check the existing ESDK-C proofs that require the newer stubs, then determine the shared-project boundary. Done means the stubs live with the AWS C Common implementation and the affected proofs still work.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c
- Domain
- cryptography
- Issue type
- Refactor
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100