aws / aws/aws-encryption-sdk-c

Add templates submodule for libcrypto

Open
#652 0 comments 0 reactions 0 assignees View on GitHub
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

Open the contributing 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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.