aws/aws-encryption-sdk-c

Add pointer-overflow check for slow proofs

Opened this issue · 0 comments

We have disable pointer-overflow check for 3 proofs (se PR #703):

  1. aws_cryptosdk_enc_ctx_clone;
  2. aws_cryptosdk_enc_ctx_serialize;
  3. aws_cryptosdk_hdr_write;

We musta dd these checks back and investigate how to speed up these proofs.