Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

JcStateResolver crashed with Unexpected ref

Abierto
  • ¿Algo no está bien?
#162 0 comentarios 0 reacciones 1 asignado Ver en GitHub

Los mantenedores suelen responder en 1 día

@Damtev ya está trabajando en esto.

Desde el 28/11/2023.

Evaluación

Este issue todavía no se ha evaluado.

Descripción

bug

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/:?]
Lenguaje dominante
Kotlin
Estrellas
33
Forks
27
Merge medio
2 d 20 h
PR fusionados (30 d)
10

Preparar el entorno

Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de UnitTestBot/usvm

Todos los issues de UnitTestBot/usvm

Issues similares

Más issues de Kotlin

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.