aws / aws/aws-encryption-sdk-c
Review CBMC proofs with minor issues
- Dominant language
- C
- Stars
- 63
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
Review the following CBMC proofs:
* aws_cryptosdk_edk_list_clean_up: #625
* aws_cryptosdk_edk_list_clear: #625
* aws_cryptosdk_enc_ctx_clean_up: #623
* aws_cryptosdk_enc_ctx_clear: #623
* aws_cryptosdk_enc_ctx_init: Null coverage on validating functions
* aws_cryptosdk_enc_materials_destroy: #625
* aws_cryptosdk_enc_materials_new: Validating functions omitted
* aws_cryptosdk_hash_elems_array_init: aws_raise_error is omitted
* aws_cryptosdk_keyring_release: #624
* aws_cryptosdk_keyring_trace_clean_up: #625
* aws_cryptosdk_keyring_trace_clear: #625
* aws_cryptosdk_keyring_trace_copy_all: Validating functions omitted
* aws_cryptosdk_keyring_trace_eq: #625
* aws_cryptosdk_multi_keyring_add_child: aws_raise_error is omitted
* aws_cryptosdk_transfer_list: #623
Contributor guide
Research direction
Start by reviewing the CBMC proofs named in the issue and the referenced issues #623, #624, and #625. Compare the listed omissions and null coverage against the proof results; done means each named proof's minor issue is reviewed and its status or required follow-up is recorded.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c
- Domain
- cryptography, security, testing
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100