Issues

• CMake installation location is unusual

  aws/aws-encryption-sdk-c#810 · Filter by author dawesc opened on Nov 26, 2024

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

  aws/aws-encryption-sdk-c#807 · Filter by author dawesc opened on Nov 21, 2024

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

  aws/aws-encryption-sdk-c#805 · Filter by author dawesc opened on Nov 21, 2024

• Windows download issue with OpenSSL

  high priorityrelease blocker
  aws/aws-encryption-sdk-c#769 · Filter by author m-laken opened on Jul 19, 2023
  6

• example program crashes with fault

  aws/aws-encryption-sdk-c#727 · Filter by author atitusfwd opened on Sep 3, 2021
  3

• Add pointer-overflow check for slow proofs

  cbmchigh priority
  aws/aws-encryption-sdk-c#704 · Filter by author feliperodri opened on May 21, 2021
  

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

  cbmc
  aws/aws-encryption-sdk-c#690 · Filter by author adpaco opened on Jan 19, 2021

• Make authN/authZ issues easier to diagnose

  aws/aws-encryption-sdk-c#689 · Filter by author alex-chew opened on Jan 16, 2021

• Ensure consistent compiler warn/error flags

  aws/aws-encryption-sdk-c#688 · Filter by author alex-chew opened on Jan 15, 2021
  1

• Standardize CBMC stub filenames

  cbmc
  aws/aws-encryption-sdk-c#686 · Filter by author adpaco opened on Jan 11, 2021

• Remove CBMC validator functions

  cbmc
  aws/aws-encryption-sdk-c#685 · Filter by author adpaco opened on Jan 11, 2021

• Investigate potential re-use of EVP_CIPHER_CTX

  aws/aws-encryption-sdk-c#683 · Filter by author alex-chew opened on Jan 6, 2021
  1

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

  cbmc
  aws/aws-encryption-sdk-c#675 · Filter by author adpaco opened on Dec 22, 2020

• Improve documentation of DEFINES across all CBMC proofs

  cbmc
  aws/aws-encryption-sdk-c#669 · Filter by author tegansb opened on Dec 15, 2020

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

  cbmc
  aws/aws-encryption-sdk-c#668 · Filter by author tegansb opened on Dec 15, 2020

• Expose which_sha implementation to avoid duplicated in CBMC

  cbmc
  aws/aws-encryption-sdk-c#666 · Filter by author adpaco opened on Dec 10, 2020

• Move aws_byte_buf_contents_match to AWS C-common

  cbmc
  aws/aws-encryption-sdk-c#665 · Filter by author adpaco opened on Dec 10, 2020
  1

• Update copyright style across all AWS Encryption SDK

  aws/aws-encryption-sdk-c#663 · Filter by author adpaco opened on Dec 9, 2020

• Rename all CBMC proof allocators

  cbmc
  aws/aws-encryption-sdk-c#662 · Filter by author feliperodri opened on Dec 9, 2020

• Update alg_props allocation to use ensure_... function

  aws/aws-encryption-sdk-c#660 · Filter by author adpaco opened on Dec 9, 2020

• Unpin MacOS CI builds from CMake 3.19.3

  aws/aws-encryption-sdk-c#658 · Filter by author alex-chew opened on Dec 8, 2020
  1

• Avoid usage of __CPROVER_havoc_object

  cbmc
  aws/aws-encryption-sdk-c#653 · Filter by author adpaco opened on Dec 3, 2020

• Add templates submodule for libcrypto

  cbmc
  aws/aws-encryption-sdk-c#652 · Filter by author adpaco opened on Dec 3, 2020

• Update aws_byte_buf_is_bounded to include a null check

  cbmc
  aws/aws-encryption-sdk-c#642 · Filter by author adpaco opened on Nov 27, 2020
  1

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

  cbmc
  aws/aws-encryption-sdk-c#637 · Filter by author adpaco opened on Nov 23, 2020