Add a new unit test for throwTaintErrorForEachMarkSeparately setting

Author: mmvpm

utbot-framework-test/src/test/kotlin/org/utbot/examples/taint/TaintSeveralMarksTest.kt

@@ -54,6 +54,28 @@ internal class TaintSeveralMarksTest : UtValueTestCaseCheckerForTaint(
         }
     }
 
+    @Test
+    fun testTaintBad123() {
+        checkWithException(
+            TaintSeveralMarks::bad123,
+            eq(3), // success & taint error (x2, for each mark separately)
+            { r -> r.isException<TaintAnalysisError>() },
+            { r -> r.isSuccess },
+        )
+    }
+
+    @Test
+    fun testTaintBad123Separately() {
+        withoutThrowTaintErrorForEachMarkSeparately {
+            checkWithException(
+                TaintSeveralMarks::bad123,
+                eq(2), // success & taint error (one for two marks)
+                { r -> r.isException<TaintAnalysisError>() },
+                { r -> r.isSuccess },
+            )
+        }
+    }
+
     @Test
     fun testTaintBadSourceAll() {
         checkWithException(

utbot-sample/src/main/java/org/utbot/examples/taint/TaintSeveralMarks.java

@@ -13,7 +13,7 @@ public String source2() {
         return "2";
     }
 
-    public String sourceAll() {
+    public String source12() {
         return "12";
     }
 
@@ -46,6 +46,10 @@ public void sink13(String s) {
         //
     }
 
+    public void sink123(String s) {
+        //
+    }
+
     public void sinkAll(String s) {
         //
     }
@@ -67,8 +71,13 @@ public void bad13() {
         sink13(s);
     }
 
+    public void bad123() {
+        String s12 = source12();
+        sink123(s12);
+    }
+
     public void badSourceAll() {
-        String s = sourceAll();
+        String s = source12();
         sink1(s);
         sink2(s);
         sinkAll(s);

utbot-sample/src/main/resources/taint/TaintSeveralMarksConfig.yaml

@@ -5,7 +5,7 @@ sources:
   - org.utbot.examples.taint.TaintSeveralMarks.source2:
       add-to: return
       marks: mark2
-  - org.utbot.examples.taint.TaintSeveralMarks.sourceAll:
+  - org.utbot.examples.taint.TaintSeveralMarks.source12:
       add-to: return
       marks: [ mark1, mark2 ]
 
@@ -37,6 +37,9 @@ sinks:
   - org.utbot.examples.taint.TaintSeveralMarks.sink13:
       check: arg1
       marks: [ mark1, mark3 ]
+  - org.utbot.examples.taint.TaintSeveralMarks.sink123:
+      check: arg1
+      marks: [ mark1, mark2, mark3 ]
   - org.utbot.examples.taint.TaintSeveralMarks.sinkAll:
       check: arg1
       marks: []