# Memory safety proof for aws_cryptosdk_rsa_decrypt

This proof harness attains 100% code coverage.