path # lines of code src/main/java/com/amazon/checkerframework/compliance/kms/ComplianceVisitor.java 12 src/main/java/com/amazon/checkerframework/compliance/kms/ComplianceAnnotatedTypeFactory.java 40 src/main/java/com/amazon/checkerframework/compliance/kms/ComplianceChecker.java 12