aws/aws-encryption-sdk-c

Issues

• CMake installation location is unusual

  #810 opened a day ago by dawesc
  0

• t_local_cache_threading.c:85:12: error: incompatible pointer to integer conversion

  #807 opened 6 days ago by dawesc
  0

• a function declaration without a prototype is deprecated in all versions of C

  #805 opened 6 days ago by dawesc
  0

• How to compile into arm architecture can be used. solibrary

  #799 opened 5 months ago by songqi521
  0

• Rust support

  #793 opened 6 months ago by aquanow-jeffen
  1

• MBedTLS support

  #745 opened 9 months ago by disa6302
  1

• Unable to read a RSA public key by using libcrypto.so c library

  #768 opened a year ago by Volodymyr-Maiboroda-Imprivata
  1

• Windows download issue with OpenSSL

  #769 opened a year ago by m-laken
  6

• Errors when building with gcc-11

  #749 opened 2 years ago by samuel40791765
  1

• Add the DiscoveryFilter to the discovery keyring example

  #736 opened 3 years ago by juneb
  1

• example program crashes with fault

  #727 opened 3 years ago by atitusfwd
  3

• cannot get build working on windows platform

  #717 opened 3 years ago by atitusfwd
  2

• Compilation error with AWS SDK 1.9

  #719 opened 3 years ago by marco-ceriani
  2

• missing include inside kms_mrk_keyring

  #718 opened 3 years ago by marco-ceriani
  3

• build failure on windows

  #712 opened 3 years ago by atitusfwd
  3

• Add pointer-overflow check for slow proofs

  #704 opened 4 years ago by feliperodri
  0

• Bug: function `aws_cryptosdk_priv_hdr_parse_aad` can parse invalid headers successfuly

  #695 opened 4 years ago by giltho
  3

• Replace preconditions with session validator in sign_header and priv_try_gen_key proofs

  #670 opened 4 years ago by tegansb
  1

• Unpin MacOS CI builds from CMake 3.19.3

  #658 opened 4 years ago by alex-chew
  1

• Determine performance impact of using (init|clean|clear_up) list source functions

  #690 opened 4 years ago by adpaco-aws
  0

• Make authN/authZ issues easier to diagnose

  #689 opened 4 years ago by alex-chew
  0

• Ensure consistent compiler warn/error flags

  #688 opened 4 years ago by alex-chew
  1

• Investigate potential re-use of EVP_CIPHER_CTX

  #683 opened 4 years ago by alex-chew
  1

• Standardize CBMC stub filenames

  #686 opened 4 years ago by adpaco-aws
  0

• Remove CBMC validator functions

  #685 opened 4 years ago by adpaco-aws
  0

• CBMC proof for aws_cryptosdk_keyring_trace_copy_all function eat up all CI resources

  #672 opened 4 years ago by adpaco-aws
  1

• Investigate how to move assumptions out of `ensure_...` functions

  #675 opened 4 years ago by adpaco-aws
  0

• Improve documentation of DEFINES across all CBMC proofs

  #669 opened 4 years ago by tegansb
  0

• Conversion error when using `ensure_nondet_sig_ctx_has_allocated_members` in make_common_data_structures.h

  #667 opened 4 years ago by adpaco-aws
  2

• Update CBMC proofs when allocator functions are updated in c-common

  #668 opened 4 years ago by tegansb
  0

• Move aws_byte_buf_contents_match to AWS C-common

  #665 opened 4 years ago by adpaco-aws
  1

• Expose which_sha implementation to avoid duplicated in CBMC

  #666 opened 4 years ago by adpaco-aws
  0

• Update copyright style across all AWS Encryption SDK

  #663 opened 4 years ago by adpaco-aws
  0

• Rename all CBMC proof allocators

  #662 opened 4 years ago by feliperodri
  0

• Update alg_props allocation to use `ensure_...` function

  #660 opened 4 years ago by adpaco-aws
  0

• macOs build and test jobs fail due to the update to Catalina (v10.15)

  #650 opened 4 years ago by adpaco-aws
  4

• Avoid usage of __CPROVER_havoc_object

  #653 opened 4 years ago by adpaco-aws
  0

• Add templates submodule for libcrypto

  #652 opened 4 years ago by adpaco-aws
  0

• Split aws_cryptosdk_hdr_parse into smaller functions

  #639 opened 4 years ago by alex-chew
  0

• Update aws_byte_buf_is_bounded to include a null check

  #642 opened 4 years ago by adpaco-aws
  1

• Modularize hdr_parse function

  #640 opened 4 years ago by tegansb
  1

• Use safe memset in derive_key_v2

  #634 opened 4 years ago by alex-chew
  0

• Remove unnecessary comments in CBMC Makefiles

  #628 opened 4 years ago by adpaco-aws
  0

• Replace fixed values in CBMC Makefiles by definable values

  #629 opened 4 years ago by adpaco-aws
  0

• Enable deep checks in CBMC proofs

  #631 opened 4 years ago by adpaco-aws
  0

• Change cbmc-batch.yaml files in CBMC proofs to standard cbmc-proof.txt ones

  #637 opened 4 years ago by adpaco-aws
  0

• Review CBMC proofs with minor issues

  #630 opened 4 years ago by adpaco-aws
  0

• Remove nondet_ prefix from functions

  #626 opened 4 years ago by feliperodri
  0

• Static error function cannot be removed from CBMC report

  #625 opened 4 years ago by adpaco-aws
  1

• CBMC proof stubs do not replace included functions

  #624 opened 4 years ago by adpaco-aws
  1