Merge branch 'main' into abdullin/constraint-model-synthesis

# Conflicts: # utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt # utbot-framework-test/src/test/kotlin/org/utbot/framework/assemble/AssembleModelGeneratorTests.kt # utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt # utbot-framework/src/main/kotlin/org/utbot/framework/plugin/api/TestCaseGenerator.kt
UnitTestBot · AbdullinAM · Jun 20, 2022 · Jun 20, 2022 · Jun 22, 2022 · Jun 28, 2022
commit d2564e956254a849e3303ec6c206672746b9b200
diff --git a/utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt b/utbot-framework-api/src/main/kotlin/org/utbot/framework/UtSettings.kt
@@ -373,7 +373,6 @@ object UtSettings : AbstractSettings(
      */
     var ignoreStaticsFromTrustedLibraries by getBooleanProperty(true)
 
-
     /**
      * Flag for enabling model synthesis
      */
@@ -391,12 +390,16 @@ object UtSettings : AbstractSettings(
      */
     var synthesisMaxDepth by getIntProperty(10)
 
-    override fun toString(): String =
-        settingsValues
-            .mapKeys { it.key.name }
-            .entries
-            .sortedBy { it.key }
-            .joinToString(separator = System.lineSeparator()) { "\t${it.key}=${it.value}" }
+    /**
+     * Use the sandbox in the concrete executor.
+     *
+     * If true (default), the sandbox will prevent potentially dangerous calls, e.g., file access, reading
+     * or modifying the environment, calls to `Unsafe` methods etc.
+     *
+     * If false, all these operations will be enabled and may lead to data loss during code analysis
+     * and test generation.
+     */
+    var useSandbox by getBooleanProperty(true)
 }
 
 /**

diff --git a/...ramework-test/src/test/kotlin/org/utbot/framework/assemble/AssembleModelGeneratorTests.kt b/...ramework-test/src/test/kotlin/org/utbot/framework/assemble/AssembleModelGeneratorTests.kt
@@ -55,8 +55,7 @@ import org.junit.jupiter.api.Assertions.assertTrue
 import org.junit.jupiter.api.BeforeEach
 import org.junit.jupiter.api.Disabled
 import org.junit.jupiter.api.Test
-import org.utbot.common.packageName
-import org.utbot.examples.assemble.*
+import org.utbot.framework.util.SootUtils
 
 /**
  * Test classes must be located in the same folder as [AssembleTestUtils] class.

diff --git a/utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt b/utbot-framework/src/main/kotlin/org/utbot/engine/UtBotSymbolicEngine.kt
@@ -116,16 +116,16 @@ private var stateSelectedCount = 0
 internal val defaultIdGenerator = ReferencePreservingIntIdGenerator()
 
 private fun pathSelector(
-    type: PathSelectorType,
     graph: InterProceduralUnitGraph,
+    typeRegistry: TypeRegistry,
     traverser: Traverser,
     postConditionConstructor: PostConditionConstructor
-) = when (type) {
+) = when (pathSelectorType) {
     PathSelectorType.COVERED_NEW_SELECTOR -> coveredNewSelector(graph) {
         withStepsLimit(pathSelectorStepsLimit)
     }
 
-    PathSelectorType.INHERITORS_SELECTOR -> inheritorsSelector(graph, traverser.typeRegistry) {
+    PathSelectorType.INHERITORS_SELECTOR -> inheritorsSelector(graph, typeRegistry) {
         withStepsLimit(pathSelectorStepsLimit)
     }
 
@@ -141,7 +141,11 @@ private fun pathSelector(
         withStepsLimit(pathSelectorStepsLimit)
     }
 
-    PathSelectorType.NN_REWARD_GUIDED_SELECTOR -> nnRewardGuidedSelector(graph, StrategyOption.DISTANCE) {
+    PathSelectorType.ML_SELECTOR -> mlSelector(graph, StrategyOption.DISTANCE) {
+        withStepsLimit(pathSelectorStepsLimit)
+    }
+
+    PathSelectorType.TORCH_SELECTOR -> mlSelector(graph, StrategyOption.DISTANCE) {
         withStepsLimit(pathSelectorStepsLimit)
     }
 
@@ -464,15 +468,11 @@ class UtBotSymbolicEngine(
                 null
             }
 
+
             else -> {
                 ObjectModelProvider(defaultIdGenerator).withFallback(fallbackModelProvider).generate(
-                    FuzzedMethodDescription(
-                        "thisInstance",
-                        voidClassId,
-                        listOf(utMethod.clazz.id),
-                        constantValues
-                    )
-                ).take(10).shuffled(Random(0)).map { it.value.model }.first().apply {
+                    FuzzedMethodDescription("thisInstance", voidClassId, listOf(utMethod.clazz.id), constantValues)
+                ).take(10).shuffled(random).map { it.value.model }.first().apply {
                     if (this is UtNullModel) { // it will definitely fail because of NPE,
                         return@flow
                     }

diff --git a/utbot-framework/src/main/kotlin/org/utbot/engine/z3/Z3initializer.kt b/utbot-framework/src/main/kotlin/org/utbot/engine/z3/Z3initializer.kt
@@ -2,6 +2,7 @@ package org.utbot.engine.z3
 
 import com.microsoft.z3.Context
 import com.microsoft.z3.Global
+import com.microsoft.z3.Native
 import org.utbot.common.FileUtil
 import java.io.File
 import java.nio.file.Files.createTempDirectory
@@ -61,6 +62,7 @@ abstract class Z3Initializer : AutoCloseable {
             }
 
             allLibraries.forEach { System.load("$libFolder/$it$ext") }
+            Native.globalParamSet("memory_max_size", "${8L * 1024 * 1024 * 1024}")
         }
 
         init {

diff --git a/utbot-framework/src/main/kotlin/org/utbot/framework/plugin/api/TestCaseGenerator.kt b/utbot-framework/src/main/kotlin/org/utbot/framework/plugin/api/TestCaseGenerator.kt
@@ -39,6 +39,7 @@ import org.utbot.framework.plugin.api.util.withUtContext
 import org.utbot.framework.synthesis.Synthesizer
 import org.utbot.framework.synthesis.postcondition.constructors.EmptyPostCondition
 import org.utbot.framework.synthesis.postcondition.constructors.PostConditionConstructor
+import org.utbot.framework.util.SootUtils
 import org.utbot.framework.util.jimpleBody
 import org.utbot.framework.util.toModel
 import org.utbot.instrumentation.ConcreteExecutor