Skip to content

JcStateResolver crashed with Unexpected ref #162

@EgorkaKulikov

Description

@EgorkaKulikov
Collaborator

Run ContestEstimator with the following options:

timeLimit = 30
methodFilter = "com.google.common.base.internal.Finalizer.*"
projectFilter = listOf("guava-26.0")

The following problem is found in logs:

java.lang.IllegalArgumentException: Unexpected ref: (id:8)java.lang.Class#getName0():#0
	at org.usvm.model.ModelKt.modelEnsureConcreteInputRef(Model.kt:97) ~[usvm-core-comp-231128-22.jar:?]
	at org.usvm.collection.field.UFieldsModelRegion.read(UFieldsModelRegion.kt:19) ~[usvm-core-comp-231128-22.jar:?]
	at org.usvm.collection.field.UFieldsModelRegion.read(UFieldsModelRegion.kt:13) ~[usvm-core-comp-231128-22.jar:?]
	at org.usvm.memory.UReadOnlyMemory$DefaultImpls.read(Memory.kt:70) ~[usvm-core-comp-231128-22.jar:?]
	at org.usvm.memory.UReadOnlyMemory$DefaultImpls.read(Memory.kt:73) ~[usvm-core-comp-231128-22.jar:?]
	at org.usvm.memory.UWritableMemory$DefaultImpls.read(Memory.kt:82) ~[usvm-core-comp-231128-22.jar:?]
	at org.usvm.model.UModelBase.read(Model.kt:35) ~[usvm-core-comp-231128-22.jar:?]
	at org.usvm.api.util.JcTestStateResolver.resolveLValue(JcTestStateResolver.kt:93) ~[usvm-jvm-comp-231128-22.jar:?]
	at org.usvm.api.util.JcTestStateResolver.allocateAndInitializeObject(JcTestStateResolver.kt:266) ~[usvm-jvm-comp-231128-22.jar:?]
	at org.usvm.api.util.JcTestStateResolver.resolveObject(JcTestStateResolver.kt:223) ~[usvm-jvm-comp-231128-22.jar:?]
	at org.utbot.contest.usvm.jc.JcTestExecutor$MemoryScope.resolveObject(JcTestExecutor.kt:153) ~[main/:?]
	at org.utbot.contest.usvm.jc.JcTestExecutor$MemoryScope.resolveObject(JcTestExecutor.kt:111) ~[main/:?]
	at org.usvm.api.util.JcTestStateResolver.resolveReference(JcTestStateResolver.kt:171) ~[usvm-jvm-comp-231128-22.jar:?]
	at org.usvm.api.util.JcTestStateResolver.resolveExpr(JcTestStateResolver.kt:101) ~[usvm-jvm-comp-231128-22.jar:?]
	at org.utbot.contest.usvm.jc.JcTestExecutor$MemoryScope.resolveObject(JcTestExecutor.kt:177) ~[main/:?]
	at org.utbot.contest.usvm.jc.JcTestExecutor$MemoryScope.resolveObject(JcTestExecutor.kt:111) ~[main/:?]
	at org.usvm.api.util.JcTestStateResolver.resolveReference(JcTestStateResolver.kt:171) ~[usvm-jvm-comp-231128-22.jar:?]
	at org.usvm.api.util.JcTestStateResolver.resolveExpr(JcTestStateResolver.kt:101) ~[usvm-jvm-comp-231128-22.jar:?]
	at org.usvm.api.util.JcTestStateResolver.resolveLValue(JcTestStateResolver.kt:95) ~[usvm-jvm-comp-231128-22.jar:?]
	at org.utbot.contest.usvm.jc.JcTestExecutor$MemoryScope.createUTest(JcTestExecutor.kt:133) ~[main/:?]
	at org.utbot.contest.usvm.jc.JcTestExecutor.execute(JcTestExecutor.kt:70) ~[main/:?]
	at org.utbot.contest.usvm.ContestUsvmKt$runUsvmGeneration$1$9$5.invoke(ContestUsvm.kt:177) [main/:?]
	at org.utbot.contest.usvm.ContestUsvmKt$runUsvmGeneration$1$9$5.invoke(ContestUsvm.kt:170) [main/:?]
	at org.utbot.contest.usvm.ContestUsvmKt$analyzeAsync$1$1$1.addState(ContestUsvm.kt:277) [main/:?]
	at org.utbot.contest.usvm.ContestUsvmKt$analyzeAsync$1$1$1.addState(ContestUsvm.kt:271) [main/:?]
	at org.usvm.statistics.collectors.CoveredNewStatesCollector.onStateTerminated(CoveredNewStatesCollector.kt:26) [usvm-core-comp-231128-22.jar:?]
	at org.usvm.statistics.CompositeUMachineObserver.onStateTerminated(UMachineObserver.kt:48) [usvm-core-comp-231128-22.jar:?]
	at org.usvm.UMachine.run(Machine.kt:66) [usvm-core-comp-231128-22.jar:?]
	at org.usvm.machine.JcMachine.analyze(JcMachine.kt:195) [usvm-jvm-comp-231128-22.jar:?]
	at org.utbot.contest.usvm.ContestUsvmKt$analyzeAsync$1.invoke(ContestUsvm.kt:269) [main/:?]
	at org.utbot.contest.usvm.ContestUsvmKt$analyzeAsync$1.invoke(ContestUsvm.kt:267) [main/:?]

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

    Development

    No branches or pull requests

      Participants

      @EgorkaKulikov@Damtev

      Issue actions

        JcStateResolver crashed with Unexpected ref · Issue #162 · UnitTestBot/usvm