Skip to content

Expose which_sha implementation to avoid duplicated in CBMC #666

New issue
New issue
Open
Open
Expose which_sha implementation to avoid duplicated in CBMC#666
Labels
cbmcCBMC proof related work
@adpaco-aws

Description

@adpaco-aws
adpaco-aws
opened on Dec 10, 2020
Contributor

The which_sha function is static so it was copied to make_common_data_structures.c. In #638 this was updated and we discussed the possibility of exposing it to avoid duplication.

Activity

adpaco-aws
added
cbmcCBMC proof related work
on Dec 10, 2020
adpaco-aws
mentioned this on Dec 10, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    cbmcCBMC proof related work

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

      Development

      No branches or pull requests

        Participants

        @adpaco-aws

        Issue actions
          Expose which_sha implementation to avoid duplicated in CBMC · Issue #666 · aws/aws-encryption-sdk-c