# Memory safety proof for aws_cryptosdk_rsa_encrypt

This proof harness attains 100% code coverage.