A Java compiler plugin that proves, at compile-time, that Java code only requests 256-bit data keys from AWS KMS. - View it on GitHub