René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Minimize results in SARIF report","articleBody":"**Description**\r\n\r\nSometimes there are duplicates or similar results in the SARIF report.\r\n\r\nFor example, the user runs test generation for the class:\r\n\r\n```Java\r\npublic class Main {\r\n    public int functionA(int a) {\r\n        return functionB(a);\r\n    }\r\n    public int functionB(int b) {\r\n        return functionC(b);\r\n    }\r\n    public int functionC(int c) {\r\n        return 1 / c;\r\n    }\r\n}\r\n```\r\n\r\nAnd the created SARIF report contains 3 results:\r\n\r\n![image](https://user-images.githubusercontent.com/54814796/178299173-00ec9e35-ff03-4693-ba66-26c2f3ad21a0.png)\r\n\r\nBut only only one of them is relevant to the user, because an unchecked exception is occurred in the `functionC` in all results.\r\n\r\n**Expected behavior**\r\n\r\nSARIF report does not contain duplicates and similar results.","author":{"url":"https://github.com/mmvpm","@type":"Person","name":"mmvpm"},"datePublished":"2022-07-11T15:25:09.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/490/UTBotJava/issues/490"}