René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Incorrect region in SARIF report","articleBody":"**Description**\r\n\r\nSometimes we have such region in SARIF report:\r\n```JSON\r\n\"region\" : {\r\n    \"startLine\" : 1,\r\n    \"startColumn\" : 1\r\n}\r\n```\r\n\r\nBut the first line of the source code contains the package name or class name. So there can't be an unchecked exception there.\r\n\r\n**To Reproduce**\r\n\r\nSteps to reproduce the behavior:\r\n\r\n1. Run test generation using IDEA plugin:\r\n```Java\r\npublic class Util {\r\n    public static int multiply(int x, int y) {\r\n        return Math.multiplyExact(x, y);\r\n    }\r\n}\r\n```\r\n2. Open generated SARIF report\r\n3. Find the incorrect region\r\n\r\n**Expected behavior**\r\n\r\nThe SARIF report contains only correct regions.\r\n\r\n**Visual proofs**\r\n\r\n![image](https://user-images.githubusercontent.com/54814796/177959083-93444e78-8a40-4aa9-9f55-b8fae19919d0.png)\r\n","author":{"url":"https://github.com/mmvpm","@type":"Person","name":"mmvpm"},"datePublished":"2022-07-08T09:11:47.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/460/UTBotJava/issues/460"}