Add pointer-overflow check for slow proofs
Opened this issue · 0 comments
feliperodri commented
We have disable pointer-overflow check for 3 proofs (se PR #703):
- aws_cryptosdk_enc_ctx_clone;
- aws_cryptosdk_enc_ctx_serialize;
- aws_cryptosdk_hdr_write;
We musta dd these checks back and investigate how to speed up these proofs.