Add sarif results minimization (#490)

utbot-framework/src/main/kotlin/org/utbot/sarif/DataClasses.kt

@@ -99,7 +99,17 @@ data class SarifResult(
     val locations: List<SarifPhysicalLocationWrapper> = listOf(),
     val relatedLocations: List<SarifRelatedPhysicalLocationWrapper> = listOf(),
     val codeFlows: List<SarifCodeFlow> = listOf()
-)
+) {
+    /**
+     * Returns the total number of locations in all [codeFlows].
+     */
+    fun totalCodeFlowLocations() =
+        codeFlows.sumBy { codeFlow ->
+            codeFlow.threadFlows.sumBy { threadFlow ->
+                threadFlow.locations.size
+            }
+        }
+}
 
 /**
  * The severity of the result. "Error" for detected unchecked exceptions.

utbot-framework/src/main/kotlin/org/utbot/sarif/SarifReport.kt

@@ -90,11 +90,25 @@ class SarifReport(
         return Sarif.fromRun(
             SarifRun(
                 SarifTool.fromRules(sarifRules.toList()),
-                sarifResults
+                minimizeResults(sarifResults)
             )
         )
     }
 
+    /**
+     * Minimizes detected errors and removes duplicates.
+     * Between two [SarifResult]s with the same `ruleId` and `locations`
+     * it chooses the one with the shorter length of the execution trace.
+     */
+    private fun minimizeResults(sarifResults: List<SarifResult>): List<SarifResult> =
+         sarifResults.groupBy { sarifResult ->
+            Pair(sarifResult.ruleId, sarifResult.locations)
+         }.map { (_, sarifResultsGroup) ->
+             sarifResultsGroup.minByOrNull { sarifResult ->
+                 sarifResult.totalCodeFlowLocations()
+             }!!
+        }
+
     private fun processUncheckedException(
         method: UtMethod<*>,
         utExecution: UtExecution,