René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Incomplete analysis steps in SARIF report","articleBody":"**Description**\r\n\r\nSometimes there is only one analysis step in the SARIF report\r\n\r\n![image](https://user-images.githubusercontent.com/54814796/178209887-4e7905b1-fcc7-4095-bd68-4a3071be0075.png)\r\n\r\n**To Reproduce**\r\n\r\nSteps to reproduce the behavior:\r\n\r\n1. Choose the default test directory:\r\n![image](https://user-images.githubusercontent.com/54814796/178210215-94537685-43d4-4308-89da-e508ee69e196.png)\r\n2. Run test generation on \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\n3. Check the _Analysis steps_\r\n\r\n**Expected behavior**\r\n\r\nThere are 2 steps: from _UtilTest.java_ and from _Util.java_.\r\n\r\n**Actual behavior**\r\n\r\nOnly one step from the source code.\r\n","author":{"url":"https://github.com/mmvpm","@type":"Person","name":"mmvpm"},"datePublished":"2022-07-11T07:26:52.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/470/UTBotJava/issues/470"}