Skip to content

Commit 7b166e6

Browse files
committed
Fixed NPE in super class name for Object in resolver
1 parent 4eca012 commit 7b166e6

File tree

1 file changed

+3
-2
lines changed
  • utbot-framework/src/main/kotlin/org/utbot/engine

1 file changed

+3
-2
lines changed

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

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1139,12 +1139,13 @@ fun Traverser.toMethodResult(value: Any?, sootType: Type): MethodResult {
11391139
else -> {
11401140
workaround(RUN_CONCRETE) {
11411141
val className = value.javaClass.id.name
1142-
val superclassName = value.javaClass.superclass.name
1142+
val superClass = value.javaClass.superclass
11431143

11441144
val refTypeName = when {
11451145
// hardcoded string is used cause class is not public
11461146
className in typesOfObjectsToRecreate -> className
1147-
superclassName == PrintStream::class.qualifiedName -> superclassName
1147+
// superClass is null for Object class
1148+
superClass != null && superClass.name == PrintStream::class.qualifiedName -> superClass.name
11481149
// we want to generate an unbounded symbolic variable for every unknown class as well
11491150
else -> workaround(MAKE_SYMBOLIC) { className }
11501151
}

0 commit comments

Comments
 (0)