Skip to content

Issues: aws/aws-encryption-sdk-c

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

101 Open 154 Closed
101 Open 154 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Windows download issue with OpenSSL high priority Needs attention before low-medium release blocker Necessary feature for a release
#769 opened Jul 19, 2023 by m-laken
6
example program crashes with fault
#727 opened Sep 3, 2021 by atitusfwd
3
Compilation error with AWS SDK 1.9
#719 opened Jul 1, 2021 by marco-ceriani
2
Add pointer-overflow check for slow proofs cbmc CBMC proof related work high priority Needs attention before low-medium
#704 opened May 21, 2021 by feliperodri
@robin-aws
Determine performance impact of using (init|clean|clear_up) list source functions cbmc CBMC proof related work
#690 opened Jan 19, 2021 by adpaco-aws
Make authN/authZ issues easier to diagnose
#689 opened Jan 16, 2021 by alex-chew
Ensure consistent compiler warn/error flags
#688 opened Jan 15, 2021 by alex-chew
1
Standardize CBMC stub filenames cbmc CBMC proof related work
#686 opened Jan 11, 2021 by adpaco-aws
Remove CBMC validator functions cbmc CBMC proof related work
#685 opened Jan 11, 2021 by adpaco-aws
Investigate potential re-use of EVP_CIPHER_CTX
#683 opened Jan 6, 2021 by alex-chew
1
Investigate how to move assumptions out of ensure_... functions cbmc CBMC proof related work
#675 opened Dec 22, 2020 by adpaco-aws
Improve documentation of DEFINES across all CBMC proofs cbmc CBMC proof related work
#669 opened Dec 15, 2020 by tegansb
Update CBMC proofs when allocator functions are updated in c-common cbmc CBMC proof related work
#668 opened Dec 15, 2020 by tegansb
Expose which_sha implementation to avoid duplicated in CBMC cbmc CBMC proof related work
#666 opened Dec 10, 2020 by adpaco-aws
Move aws_byte_buf_contents_match to AWS C-common cbmc CBMC proof related work
#665 opened Dec 10, 2020 by adpaco-aws
1
Update copyright style across all AWS Encryption SDK
#663 opened Dec 9, 2020 by adpaco-aws
Rename all CBMC proof allocators cbmc CBMC proof related work
#662 opened Dec 9, 2020 by feliperodri
Update alg_props allocation to use ensure_... function
#660 opened Dec 9, 2020 by adpaco-aws
Unpin MacOS CI builds from CMake 3.19.3
#658 opened Dec 8, 2020 by alex-chew
1
Avoid usage of __CPROVER_havoc_object cbmc CBMC proof related work
#653 opened Dec 3, 2020 by adpaco-aws
Add templates submodule for libcrypto cbmc CBMC proof related work
#652 opened Dec 3, 2020 by adpaco-aws
Update aws_byte_buf_is_bounded to include a null check cbmc CBMC proof related work
#642 opened Nov 27, 2020 by adpaco-aws
1
Change cbmc-batch.yaml files in CBMC proofs to standard cbmc-proof.txt ones cbmc CBMC proof related work
#637 opened Nov 23, 2020 by adpaco-aws
Enable deep checks in CBMC proofs cbmc CBMC proof related work
#631 opened Nov 16, 2020 by adpaco-aws
Review CBMC proofs with minor issues
#630 opened Nov 16, 2020 by adpaco-aws
ProTip! Exclude everything labeled bug with -label:bug.