Merge branch 'main' into Vassiliy-Kudryashov/68-ide-fatal-error-during-tests-generation

Author: Vassiliy-Kudryashov

HowToUseLoggers.md

@@ -18,7 +18,7 @@ The file is usually in the resource folder.
 
 The easiest way is:
 
-- Go in the code that you are going to debug. Let’s assume it is a method in com.home.utbot.framework.plugin.api.UtBotTestCaseGenerator.
+- Go in the code that you are going to debug. Let’s assume it is a method in org.utbot.framework.plugin.api.UtBotTestCaseGenerator.
 - Find out if there is a KotlinLogging object that is used to create a **logger**
 - If such a logger exists, use the fully qualified class name as the logger name in the next steps
 <br/>
@@ -28,7 +28,7 @@ The easiest way is:
 Open log4j2.xml and add the logger in the loggers section like this
 
 ```
-<Logger name=" com.home.utbot.framework.plugin.api.UtBotTestCaseGenerator " level="info">
+<Logger name=" org.utbot.framework.plugin.api.UtBotTestCaseGenerator " level="info">
     <AppenderRef ref="Console"/>
 </Logger>
 ```
@@ -78,6 +78,6 @@ Having this logger, you can use it in code with different log levels in parallel
 3. Find the closest log4j2.xml file (usually it is located in the resources file), enable the logger with a desirable log level
 
 
-`<Logger name="com.huawei.utbot.engine.UtBotSymbolicEngine.timeout" level="debug"/>`
+`<Logger name="org.utbot.engine.UtBotSymbolicEngine.timeout" level="debug"/>`
 
 

utbot-framework/src/main/kotlin/org/utbot/fuzzer/FuzzerFunctions.kt

@@ -17,14 +17,17 @@ import soot.CharType
 import soot.DoubleType
 import soot.FloatType
 import soot.IntType
+import soot.Local
 import soot.LongType
 import soot.ShortType
 import soot.Unit
 import soot.Value
 import soot.ValueBox
 import soot.jimple.Constant
+import soot.jimple.IntConstant
 import soot.jimple.InvokeExpr
 import soot.jimple.NullConstant
+import soot.jimple.internal.AbstractSwitchStmt
 import soot.jimple.internal.ImmediateBox
 import soot.jimple.internal.JAssignStmt
 import soot.jimple.internal.JCastExpr
@@ -33,8 +36,10 @@ import soot.jimple.internal.JGeExpr
 import soot.jimple.internal.JGtExpr
 import soot.jimple.internal.JIfStmt
 import soot.jimple.internal.JLeExpr
+import soot.jimple.internal.JLookupSwitchStmt
 import soot.jimple.internal.JLtExpr
 import soot.jimple.internal.JNeExpr
+import soot.jimple.internal.JTableSwitchStmt
 import soot.jimple.internal.JVirtualInvokeExpr
 import soot.toolkits.graph.ExceptionalUnitGraph
 
@@ -45,17 +50,18 @@ private val logger = KotlinLogging.logger {}
  */
 fun collectConstantsForFuzzer(graph: ExceptionalUnitGraph): Set<FuzzedConcreteValue> {
     return graph.body.units.reversed().asSequence()
-        .filter { it is JIfStmt || it is JAssignStmt }
+        .filter { it is JIfStmt || it is JAssignStmt || it is AbstractSwitchStmt}
         .flatMap { unit ->
             unit.useBoxes.map { unit to it.value }
         }
         .filter { (_, value) ->
-            value is Constant || value is JCastExpr || value is InvokeExpr
+            value is Constant || value is Local || value is JCastExpr || value is InvokeExpr
         }
         .flatMap { (unit, value) ->
             sequenceOf(
                 ConstantsFromIfStatement,
                 ConstantsFromCast,
+                ConstantsFromSwitchCase,
                 BoundValuesForDoubleChecks,
                 StringConstant,
             ).flatMap { finder ->
@@ -158,6 +164,24 @@ private object ConstantsFromCast: ConstantsFinder {
 
 }
 
+private object ConstantsFromSwitchCase: ConstantsFinder {
+    override fun find(graph: ExceptionalUnitGraph, unit: Unit, value: Value): List<FuzzedConcreteValue> {
+        if (unit !is JTableSwitchStmt && unit !is JLookupSwitchStmt) return emptyList()
+        val result = mutableListOf<FuzzedConcreteValue>()
+        if (unit is JTableSwitchStmt) {
+            for (i in unit.lowIndex..unit.highIndex) {
+                result.add(FuzzedConcreteValue(intClassId, i, FuzzedOp.EQ))
+            }
+        }
+        if (unit is JLookupSwitchStmt) {
+            unit.lookupValues.asSequence().filterIsInstance<IntConstant>().forEach {
+                result.add(FuzzedConcreteValue(intClassId, it.value, FuzzedOp.EQ))
+            }
+        }
+        return result
+    }
+}
+
 private object BoundValuesForDoubleChecks: ConstantsFinder {
     override fun find(graph: ExceptionalUnitGraph, unit: Unit, value: Value): List<FuzzedConcreteValue> {
         if (value !is InvokeExpr) return emptyList()