aws / aws/aws-encryption-sdk-c
Remove nondet_ prefix from functions
Open
cbmc
- Dominant language
- C
- Stars
- 63
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
This prefix is used by CBMC to return an unconstrained value for a specific function. So we should rename functions like `nondet_hash_string_element_allocation`.
Contributor guide
Research direction
Search the repository for functions beginning with `nondet_`, starting with `nondet_hash_string_element_allocation`, and inspect their CBMC usage and all call sites. Done means the relevant functions and references use the replacement names consistently without changing their unconstrained-value behavior.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c
- Domain
- cryptography
- Issue type
- Refactor
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 25/100