aws / aws/aws-encryption-sdk-c
Add CBMC utility functions for dec_materials
Open
cbmc
- Dominant language
- C
- Stars
- 63
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
https://github.com/aws/aws-encryption-sdk-c/pull/526#discussion_r424701319
Contributor guide
Research direction
Start with the discussion linked from PR #526 and locate the dec_materials entry point in the repository. Confirm which CBMC utility functions were requested and which files or checks they affect; completion cannot be defined from this issue alone.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c
- Domain
- testing
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100