aws / aws/aws-encryption-sdk-c
Add templates submodule for libcrypto
Open
cbmc
- Dominant language
- C
- Stars
- 63
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
Libcrypto stubs (e.g., ec_override.c which come from aws-c-common submodule) can now be submoduled from: https://github.com/awslabs/aws-verification-model-for-libcrypto
Contributor guide
Research direction
Start by inspecting the libcrypto stubs mentioned in the issue, including ec_override.c, and review how the existing aws-c-common submodule is wired. Compare the available templates in the linked aws-verification-model-for-libcrypto repository; done means the libcrypto stubs are sourced through the new templates submodule.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c, git
- Domain
- build-system, cryptography
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 42/100