Not decoded SymbolicList is present in UTest

Open

#152 opened on Nov 25, 2023 0 comments 0 reactions 1 assignee View on GitHub

@Saloed is already working on this.

Since Nov 25, 2023.

Assessment

This issue has not been assessed yet.

Description

bug

Run ContestEstimator with the following settings

timeLimit = 30
methodFilter = "com.alibaba.fastjson.parser.deserializer.ResolveFieldDeserializer.*"
projectFilter = listOf("fastjson-1.2.50")

The following error is found in logs:

ERROR JcToUtExecutionConverter.convert((id:21)com.alibaba.fastjson.parser.deserializer.ResolveFieldDeserializer#setValue(java.lang.Object, java.lang.Object)) failed
java.lang.IllegalStateException: JcType.classId failed on org.usvm.api.SymbolicList<E>
	at org.utbot.contest.usvm.converter.ConverterUtilsKt.getClassId(ConverterUtils.kt:73) ~[main/:?]
	at org.utbot.contest.usvm.converter.UTestInstToUtModelConverter.processExpr(UTestInstToUtModelConverter.kt:220) ~[main/:?]
	at org.utbot.contest.usvm.converter.UTestInstToUtModelConverter.processInst(UTestInstToUtModelConverter.kt:112) ~[main/:?]
	at org.utbot.contest.usvm.converter.UTestInstToUtModelConverter.processUTest(UTestInstToUtModelConverter.kt:66) ~[main/:?]
	at org.utbot.contest.usvm.converter.JcToUtExecutionConverter.<init>(JcToUtExecutionConverter.kt:65) ~[main/:?]
	at org.utbot.contest.usvm.ContestUsvmKt$runUsvmGeneration$1$9$5.invoke(ContestUsvm.kt:184) [main/:?]
	at org.utbot.contest.usvm.ContestUsvmKt$runUsvmGeneration$1$9$5.invoke(ContestUsvm.kt:168) [main/:?]
	at org.utbot.contest.usvm.ContestUsvmKt$analyzeAsync$1$1$1.addState(ContestUsvm.kt:275) [main/:?]
	at org.utbot.contest.usvm.ContestUsvmKt$analyzeAsync$1$1$1.addState(ContestUsvm.kt:269) [main/:?]
	at org.usvm.statistics.collectors.CoveredNewStatesCollector.onStateTerminated(CoveredNewStatesCollector.kt:26) [usvm-core-2511-1.jar:?]
	at org.usvm.statistics.CompositeUMachineObserver.onStateTerminated(UMachineObserver.kt:48) [usvm-core-2511-1.jar:?]
	at org.usvm.UMachine.run(Machine.kt:66) [usvm-core-2511-1.jar:?]
	at org.usvm.machine.JcMachine.analyze(JcMachine.kt:195) [usvm-jvm-2511-1.jar:?]
	at org.utbot.contest.usvm.ContestUsvmKt$analyzeAsync$1.invoke(ContestUsvm.kt:267) [main/:?]
	at org.utbot.contest.usvm.ContestUsvmKt$analyzeAsync$1.invoke(ContestUsvm.kt:265) [main/:?]

Dominant language: Kotlin
Stars: 33
Forks: 27
Avg merge: 4d 3h
Merged PRs (30d): 15

Contributor guide

No contributing guide indexed for this repository

First steps

Read the whole issue, then the project's contributing guide.
Comment on the issue to say you are picking it up — it saves two people doing the same work.
Fork the repository and make your change on a branch.
Open a pull request that references the issue number.

Similar issues

Windows helper args-file: delete after process exit (Codex P2 from #529) Open

bug

Difficulty 2/5 1-3 hours Newbie friendliness 68/100

rock3r/spectre#530 · Opened Sep 21, 2026
[Add a package]: uk.co.fractalmotion.mugshot:mugshot-annotations Open

index-request triaged

Difficulty 2/5 1-3 hours Newbie friendliness 72/100

JetBrains/klibs-io#543 · 3 comments · Opened Sep 21, 2026
[Feature request] Make minimum change period again 1 minute Open

enhancement

Difficulty 2/5 1-3 hours Newbie friendliness 68/100

Anthonyy232/Paperize#614 · Opened Sep 21, 2026
CI: remove unecessary rustflags argument once we bump to Rust 1.97+ Open

Difficulty 2/5 1-3 hours Newbie friendliness 76/100

bitcoindevkit/bdk-ffi#1125 · Opened Sep 21, 2026
[BUG] Wings: wings do not scale with player size (generic.scale attribute) Open

🌑 nextgen

Difficulty 2/5 1-3 hours Newbie friendliness 82/100

CCBlueX/LiquidBounce#9214 · 1 comment · Opened Sep 21, 2026

More Kotlin issues