aws / aws/aws-encryption-sdk-c
Add more post-conditions to aws_cryptosdk_keyring_on_encrypt proof
Open
cbmc
- Dominant language
- C
- Stars
- 63
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
There are still more functional properties to be checked.
Contributor guide
Research direction
The issue names the aws_cryptosdk_keyring_on_encrypt proof but provides no file or test path. Start by locating that proof and reading its existing post-conditions and surrounding specification. Done means the additional functional properties are checked and the verification passes.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c
- Domain
- cryptography, security
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100