Stop using soot in NonNullSpeculator so it can be used by fuzzer

Author: IlyaMuravjov

utbot-framework-api/src/main/kotlin/org/utbot/framework/TrustedPackages.kt

@@ -10,7 +10,9 @@ private val isPackageTrusted: MutableMap<String, Boolean> = mutableMapOf()
 /**
  * Determines whether [this] class is from trusted libraries as defined in [TrustedLibraries].
  */
-fun SootClass.isFromTrustedLibrary(): Boolean {
+fun SootClass.isFromTrustedLibrary(): Boolean = isTrustedPackage(packageName)
+
+fun isTrustedPackage(packageName: String): Boolean {
     isPackageTrusted[packageName]?.let {
         return it
     }

utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt

@@ -2342,7 +2342,7 @@ class Traverser(
         createdField: SymbolicValue,
     ) {
         if (nonNullSpeculator.speculativelyCannotProduceNullPointerException(
-                field = field,
+                field = field.fieldId,
                 isMocked = (createdField as? ObjectValue)?.asWrapperOrNull is UtMockWrapper,
                 classUnderTest = methodUnderTest.classId,
             )

utbot-framework/src/main/kotlin/org/utbot/framework/context/NonNullSpeculator.kt

@@ -1,7 +1,7 @@
 package org.utbot.framework.context
 
 import org.utbot.framework.plugin.api.ClassId
-import soot.SootField
+import org.utbot.framework.plugin.api.FieldId
 
 interface NonNullSpeculator {
     /**
@@ -13,7 +13,7 @@ interface NonNullSpeculator {
      * @see docs/SpeculativeFieldNonNullability.md for more information.
      */
     fun speculativelyCannotProduceNullPointerException(
-        field: SootField,
+        field: FieldId,
         isMocked: Boolean,
         classUnderTest: ClassId,
     ): Boolean

utbot-framework/src/main/kotlin/org/utbot/framework/context/simple/SimpleNonNullSpeculator.kt

@@ -2,17 +2,19 @@ package org.utbot.framework.context.simple
 
 import org.utbot.framework.UtSettings
 import org.utbot.framework.context.NonNullSpeculator
-import org.utbot.framework.isFromTrustedLibrary
+import org.utbot.framework.isTrustedPackage
 import org.utbot.framework.plugin.api.ClassId
-import soot.SootField
+import org.utbot.framework.plugin.api.FieldId
+import org.utbot.framework.plugin.api.util.isFinal
+import org.utbot.framework.plugin.api.util.isPublic
 
 class SimpleNonNullSpeculator : NonNullSpeculator {
     override fun speculativelyCannotProduceNullPointerException(
-        field: SootField,
+        field: FieldId,
         isMocked: Boolean,
         classUnderTest: ClassId,
     ): Boolean =
         !UtSettings.maximizeCoverageUsingReflection &&
-                field.declaringClass.isFromTrustedLibrary() &&
+                isTrustedPackage(field.declaringClass.packageName) &&
                 (field.isFinal || !field.isPublic)
 }

utbot-framework/src/main/kotlin/org/utbot/framework/context/spring/SpringNonNullSpeculator.kt

@@ -5,8 +5,6 @@ import org.utbot.framework.context.NonNullSpeculator
 import org.utbot.framework.plugin.api.ClassId
 import org.utbot.framework.plugin.api.FieldId
 import org.utbot.framework.plugin.api.util.allDeclaredFieldIds
-import org.utbot.framework.plugin.api.util.fieldId
-import soot.SootField
 
 class SpringNonNullSpeculator(
     private val delegateNonNullSpeculator: NonNullSpeculator,
@@ -25,19 +23,19 @@ class SpringNonNullSpeculator(
     )
 
     override fun speculativelyCannotProduceNullPointerException(
-        field: SootField,
+        field: FieldId,
         isMocked: Boolean,
         classUnderTest: ClassId
     ): Boolean {
         if (delegateNonNullSpeculator.speculativelyCannotProduceNullPointerException(field, isMocked, classUnderTest))
             return true
 
-        if (field.fieldId !in classUnderTest.allDeclaredFieldIds)
+        if (field !in classUnderTest.allDeclaredFieldIds)
             return false
 
         val speculativelyCannotProduceNPE = isMocked
 
-        val speculation = Speculation(field.fieldId, isMocked, classUnderTest, speculativelyCannotProduceNPE)
+        val speculation = Speculation(field, isMocked, classUnderTest, speculativelyCannotProduceNPE)
         if (loggedSpeculations.add(speculation))
             logger.info { "New speculation: $speculation" }