[{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 12,
      "endColumn": 52,
      "startColumn": 33,
      "startLine": 12
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCBC.java"}
  }],
  "logMsg": "Rule ID_2_1_3_01 violated",
  "onfailIdentifier": "InvalidCBCPadding"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 25,
      "endColumn": 42,
      "startColumn": 28,
      "startLine": 25
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
  }],
  "logMsg": "Rule ID_5_3_01 violated",
  "onfailIdentifier": "InvalidMACAlgorithm"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 17,
        "endColumn": 66,
        "startColumn": 9,
        "startLine": 17
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 24,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 17,
        "endColumn": 66,
        "startColumn": 9,
        "startLine": 17
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 29,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 29
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 26,
      "endColumn": 49,
      "startColumn": 9,
      "startLine": 26
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCProviderCipher.java"}
  }],
  "logMsg": "Rule ID_2_1_01 violated",
  "onfailIdentifier": "InvalidCipherModeforAESBlockCipher"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 22,
      "endColumn": 50,
      "startColumn": 17,
      "startLine": 22
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCBC.java"}
  }],
  "logMsg": "Violation against Order: Base c1gcm is not correctly terminated. Expected one of [c.init] to follow the correct last call on this base. (InvalidOrderforAEAD)",
  "onfailIdentifier": "InvalidOrderforAEAD"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 17,
        "endColumn": 66,
        "startColumn": 9,
        "startLine": 17
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 32,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 32
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 15,
      "endColumn": 62,
      "startColumn": 14,
      "startLine": 15
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCBC.java"}
  }],
  "logMsg": "Violation against Order: Base c3 is not correctly terminated. Expected one of [c.init] to follow the correct last call on this base. (InvalidOrderOfCipherOperations)",
  "onfailIdentifier": "InvalidOrderOfCipherOperations"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 15,
      "endColumn": 33,
      "startColumn": 28,
      "startLine": 15
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BlockCipher.java"}
  }],
  "logMsg": "Rule ID_2_01 violated",
  "onfailIdentifier": "Invalid_TR21021_Cipher"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 14,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 14
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 31,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 31
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 26,
      "endColumn": 48,
      "startColumn": 40,
      "startLine": 26
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCProviderCipher.java"}
  }],
  "logMsg": "Rule BouncyCastleProvider_Cipher violated",
  "onfailIdentifier": "InvalidProvider_Cipher"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 21,
      "endColumn": 50,
      "startColumn": 9,
      "startLine": 21
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCBC.java"}
  }],
  "logMsg": "Rule BouncyCastleProvider_Cipher violated",
  "onfailIdentifier": "InvalidProvider_Cipher"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 12,
        "endColumn": 59,
        "startColumn": 9,
        "startLine": 12
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 31,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 31
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 17,
        "endColumn": 66,
        "startColumn": 9,
        "startLine": 17
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 24,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 22,
      "endColumn": 66,
      "startColumn": 40,
      "startLine": 22
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCProviderCipher.java"}
  }],
  "logMsg": "Rule BouncyCastleProvider_Cipher violated",
  "onfailIdentifier": "InvalidProvider_Cipher"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 12,
        "endColumn": 59,
        "startColumn": 9,
        "startLine": 12
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 29,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 29
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 17,
        "endColumn": 66,
        "startColumn": 9,
        "startLine": 17
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 32,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 32
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 17,
        "endColumn": 66,
        "startColumn": 9,
        "startLine": 17
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 47,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 47
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 17,
        "endColumn": 66,
        "startColumn": 9,
        "startLine": 17
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 47,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 47
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 62,
        "endColumn": 26,
        "startColumn": 11,
        "startLine": 62
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 48,
        "endColumn": 18,
        "startColumn": 3,
        "startLine": 48
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 24,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 17,
        "endColumn": 43,
        "startColumn": 6,
        "startLine": 17
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 24,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 38,
        "endColumn": 45,
        "startColumn": 6,
        "startLine": 38
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 24,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    },
    {
      "region": {
        "endLine": 11,
        "endColumn": 43,
        "startColumn": 6,
        "startLine": 11
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 14,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 14
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 31,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 31
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 24,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    },
    {
      "region": {
        "endLine": 16,
        "endColumn": 46,
        "startColumn": 6,
        "startLine": 16
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 17,
        "endColumn": 66,
        "startColumn": 9,
        "startLine": 17
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 29,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 29
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 14,
      "endColumn": 74,
      "startColumn": 33,
      "startLine": 14
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCRSACipher.java"}
  }],
  "logMsg": "Rule ID_3_5_01 violated",
  "onfailIdentifier": "InvalidRSAPadding"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 50,
        "endColumn": 58,
        "startColumn": 55,
        "startLine": 50
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 38,
        "endColumn": 63,
        "startColumn": 34,
        "startLine": 38
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 50,
        "endColumn": 63,
        "startColumn": 19,
        "startLine": 50
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_1_02 violated",
  "onfailIdentifier": "InsufficientCCMTagLength"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 52,
        "endColumn": 28,
        "startColumn": 13,
        "startLine": 52
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 60,
        "endColumn": 17,
        "startColumn": 2,
        "startLine": 60
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 15,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 15
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 29,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 29
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 15,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 15
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 24,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 19,
      "endColumn": 37,
      "startColumn": 28,
      "startLine": 19
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BlockCipher.java"}
  }],
  "logMsg": "Rule ID_2_01 violated",
  "onfailIdentifier": "Invalid_TR21021_Cipher"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 62,
        "endColumn": 26,
        "startColumn": 11,
        "startLine": 62
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 60,
        "endColumn": 17,
        "startColumn": 2,
        "startLine": 60
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 38,
      "endColumn": 65,
      "startColumn": 2,
      "startLine": 38
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
  }],
  "logMsg": "Violation against Order: Base c is not correctly terminated. Expected one of [c.aad, c.finalize, c.update] to follow the correct last call on this base. (InvalidOrderforAEAD)",
  "onfailIdentifier": "InvalidOrderforAEAD"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 12,
      "endColumn": 59,
      "startColumn": 14,
      "startLine": 12
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCBC.java"}
  }],
  "logMsg": "Violation against Order: Base c1 is not correctly terminated. Expected one of [c.init] to follow the correct last call on this base. (InvalidOrderOfCipherOperations)",
  "onfailIdentifier": "InvalidOrderOfCipherOperations"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 24,
      "endColumn": 38,
      "startColumn": 28,
      "startLine": 24
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
  }],
  "logMsg": "Rule ID_5_3_01 violated",
  "onfailIdentifier": "InvalidMACAlgorithm"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 15,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 15
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 47,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 47
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 24,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    },
    {
      "region": {
        "endLine": 14,
        "endColumn": 50,
        "startColumn": 6,
        "startLine": 14
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 15,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 15
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 31,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 31
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 27,
      "endColumn": 70,
      "startColumn": 40,
      "startLine": 27
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCProviderCipher.java"}
  }],
  "logMsg": "Rule BouncyCastleProvider_Cipher violated",
  "onfailIdentifier": "InvalidProvider_Cipher"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 32,
        "endColumn": 57,
        "startColumn": 55,
        "startLine": 32
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 38,
        "endColumn": 63,
        "startColumn": 34,
        "startLine": 38
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 32,
        "endColumn": 62,
        "startColumn": 19,
        "startLine": 32
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_1_02 violated",
  "onfailIdentifier": "InsufficientCCMTagLength"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 23,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 23
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 31,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 31
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 22,
      "endColumn": 67,
      "startColumn": 9,
      "startLine": 22
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCProviderCipher.java"}
  }],
  "logMsg": "Rule ID_2_1_01 violated",
  "onfailIdentifier": "InvalidCipherModeforAESBlockCipher"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 23,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 23
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 32,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 32
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 24,
      "endColumn": 50,
      "startColumn": 17,
      "startLine": 24
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCBC.java"}
  }],
  "logMsg": "Violation against Order: Base c1ctr is not correctly terminated. Expected one of [c.init] to follow the correct last call on this base. (InvalidOrderOfCipherOperations)",
  "onfailIdentifier": "InvalidOrderOfCipherOperations"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 15,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 15
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 29,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 29
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 12,
        "endColumn": 59,
        "startColumn": 9,
        "startLine": 12
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 24,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 12,
        "endColumn": 59,
        "startColumn": 9,
        "startLine": 12
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 32,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 32
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 14,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 14
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 47,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 47
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 24,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    },
    {
      "region": {
        "endLine": 25,
        "endColumn": 49,
        "startColumn": 6,
        "startLine": 25
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 23,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 23
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 24,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 18,
      "endColumn": 39,
      "startColumn": 9,
      "startLine": 18
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCProviderCipher.java"}
  }],
  "logMsg": "Rule BouncyCastleProvider_Cipher violated",
  "onfailIdentifier": "InvalidProvider_Cipher"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 12,
        "endColumn": 59,
        "startColumn": 9,
        "startLine": 12
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 47,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 47
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 23,
      "endColumn": 50,
      "startColumn": 17,
      "startLine": 23
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCBC.java"}
  }],
  "logMsg": "Violation against Order: Base c1cbc is not correctly terminated. Expected one of [c.init] to follow the correct last call on this base. (InvalidOrderOfCipherOperations)",
  "onfailIdentifier": "InvalidOrderOfCipherOperations"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 24,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    },
    {
      "region": {
        "endLine": 19,
        "endColumn": 48,
        "startColumn": 6,
        "startLine": 19
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 52,
        "endColumn": 28,
        "startColumn": 13,
        "startLine": 52
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 48,
        "endColumn": 18,
        "startColumn": 3,
        "startLine": 48
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 23,
      "endColumn": 37,
      "startColumn": 28,
      "startLine": 23
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BlockCipher.java"}
  }],
  "logMsg": "Rule ID_2_01 violated",
  "onfailIdentifier": "Invalid_TR21021_Cipher"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 24,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    },
    {
      "region": {
        "endLine": 18,
        "endColumn": 48,
        "startColumn": 6,
        "startLine": 18
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 15,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 15
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 31,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 31
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 18,
      "endColumn": 39,
      "startColumn": 9,
      "startLine": 18
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCProviderCipher.java"}
  }],
  "logMsg": "Rule ID_2_1_01 violated",
  "onfailIdentifier": "InvalidCipherModeforAESBlockCipher"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 63,
      "endColumn": 61,
      "startColumn": 15,
      "startLine": 63
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
  }],
  "logMsg": "Rule BouncyCastleProvider_KeyGenerator violated",
  "onfailIdentifier": "InvalidProvider_KeyGenerator"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 14,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 14
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 29,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 29
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 14,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 14
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 24,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 12,
        "endColumn": 59,
        "startColumn": 9,
        "startLine": 12
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 32,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 32
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 23,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 23
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 31,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 31
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 17,
        "endColumn": 66,
        "startColumn": 9,
        "startLine": 17
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 31,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 31
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 23,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 23
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 47,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 47
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 23,
      "endColumn": 37,
      "startColumn": 28,
      "startLine": 23
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
  }],
  "logMsg": "Rule ID_5_3_01 violated",
  "onfailIdentifier": "InvalidMACAlgorithm"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 24,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    },
    {
      "region": {
        "endLine": 13,
        "endColumn": 46,
        "startColumn": 6,
        "startLine": 13
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 24,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    },
    {
      "region": {
        "endLine": 21,
        "endColumn": 44,
        "startColumn": 6,
        "startLine": 21
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 14,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 14
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 47,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 47
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 21,
      "endColumn": 50,
      "startColumn": 17,
      "startLine": 21
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCBC.java"}
  }],
  "logMsg": "Violation against Order: Base c1ccm is not correctly terminated. Expected one of [c.init] to follow the correct last call on this base. (InvalidOrderforAEAD)",
  "onfailIdentifier": "InvalidOrderforAEAD"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 32,
      "endColumn": 57,
      "startColumn": 55,
      "startLine": 32
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
  }],
  "logMsg": "Rule ID_2_1_2_1_02 violated",
  "onfailIdentifier": "InsufficientCCMTagLength"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 14,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 14
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 24,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 23,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 23
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 47,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 47
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 12,
        "endColumn": 59,
        "startColumn": 9,
        "startLine": 12
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 47,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 47
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 14,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 14
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 32,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 32
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 23,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 23
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 24,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 23,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 23
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 29,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 29
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 15,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 15
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 32,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 32
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 11,
      "endColumn": 41,
      "startColumn": 2,
      "startLine": 11
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BlockCipher.java"}
  }],
  "logMsg": "Rule ID_2_1_01 violated",
  "onfailIdentifier": "InvalidCipherModeforAESBlockCipher"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 23,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 23
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 32,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 32
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 27,
      "endColumn": 71,
      "startColumn": 9,
      "startLine": 27
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCProviderCipher.java"}
  }],
  "logMsg": "Rule ID_2_1_01 violated",
  "onfailIdentifier": "InvalidCipherModeforAESBlockCipher"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 12,
        "endColumn": 59,
        "startColumn": 9,
        "startLine": 12
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 31,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 31
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 24,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    },
    {
      "region": {
        "endLine": 24,
        "endColumn": 45,
        "startColumn": 6,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 27,
      "endColumn": 37,
      "startColumn": 28,
      "startLine": 27
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BlockCipher.java"}
  }],
  "logMsg": "Rule ID_2_01 violated",
  "onfailIdentifier": "Invalid_TR21021_Cipher"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 23,
      "endColumn": 50,
      "startColumn": 9,
      "startLine": 23
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCBC.java"}
  }],
  "logMsg": "Rule BouncyCastleProvider_Cipher violated",
  "onfailIdentifier": "InvalidProvider_Cipher"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 38,
      "endColumn": 58,
      "startColumn": 55,
      "startLine": 38
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
  }],
  "logMsg": "Rule ID_2_1_2_1_02 violated",
  "onfailIdentifier": "InsufficientCCMTagLength"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 23,
      "endColumn": 49,
      "startColumn": 36,
      "startLine": 23
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCBC.java"}
  }],
  "logMsg": "Rule ID_2_1_3_01 violated",
  "onfailIdentifier": "InvalidCBCPadding"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 14,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 14
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 29,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 29
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 17,
        "endColumn": 66,
        "startColumn": 9,
        "startLine": 17
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    },
    {
      "region": {
        "endLine": 31,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 31
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCTR.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 23,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 23
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 29,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 29
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 15,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 15
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 47,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 47
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 15,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 15
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 32,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 32
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 24,
      "endColumn": 50,
      "startColumn": 9,
      "startLine": 24
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCBC.java"}
  }],
  "logMsg": "Rule BouncyCastleProvider_Cipher violated",
  "onfailIdentifier": "InvalidProvider_Cipher"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 17,
      "endColumn": 66,
      "startColumn": 14,
      "startLine": 17
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCBC.java"}
  }],
  "logMsg": "Violation against Order: Base c4 is not correctly terminated. Expected one of [c.init] to follow the correct last call on this base. (InvalidOrderOfCipherOperations)",
  "onfailIdentifier": "InvalidOrderOfCipherOperations"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 15,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 15
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 24,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 24,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    },
    {
      "region": {
        "endLine": 15,
        "endColumn": 46,
        "startColumn": 6,
        "startLine": 15
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 50,
      "endColumn": 58,
      "startColumn": 55,
      "startLine": 50
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
  }],
  "logMsg": "Rule ID_2_1_2_1_02 violated",
  "onfailIdentifier": "InsufficientCCMTagLength"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 24,
        "endColumn": 50,
        "startColumn": 9,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    },
    {
      "region": {
        "endLine": 23,
        "endColumn": 44,
        "startColumn": 6,
        "startLine": 23
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCMac.java"}
    }
  ],
  "logMsg": "Rule ID_2_2_02 violated",
  "onfailIdentifier": "InsufficientAESCTRIntegrityProtection"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 21,
      "endColumn": 45,
      "startColumn": 9,
      "startLine": 21
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/BCProviderCipher.java"}
  }],
  "logMsg": "Rule ID_2_1_01 violated",
  "onfailIdentifier": "InvalidCipherModeforAESBlockCipher"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 12,
        "endColumn": 59,
        "startColumn": 9,
        "startLine": 12
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 34,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 34
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    },
    {
      "region": {
        "endLine": 24,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 24
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGMAC.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [{
    "region": {
      "endLine": 14,
      "endColumn": 62,
      "startColumn": 14,
      "startLine": 14
    },
    "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCBC.java"}
  }],
  "logMsg": "Violation against Order: Base c2 is not correctly terminated. Expected one of [c.init] to follow the correct last call on this base. (InvalidOrderOfCipherOperations)",
  "onfailIdentifier": "InvalidOrderOfCipherOperations"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 12,
        "endColumn": 59,
        "startColumn": 9,
        "startLine": 12
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    },
    {
      "region": {
        "endLine": 29,
        "endColumn": 62,
        "startColumn": 15,
        "startLine": 29
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESGCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
},{
  "problem": true,
  "locations": [
    {
      "region": {
        "endLine": 14,
        "endColumn": 62,
        "startColumn": 9,
        "startLine": 14
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 27,
        "endColumn": 55,
        "startColumn": 18,
        "startLine": 27
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    },
    {
      "region": {
        "endLine": 32,
        "endColumn": 61,
        "startColumn": 15,
        "startLine": 32
      },
      "artifactLocation": {"uri": "file:/home/alex/Repos/Java_Validation/codyze-java-testcases/src/main/java/jca/AESCCM.java"}
    }
  ],
  "logMsg": "Rule ID_2_1_2_3_01 violated",
  "onfailIdentifier": "InvalidCBCIV"
}]