Multiple `lateinit property has not been initialized` exception during analysis

オープン

#161 2023年11月28日に作成コメント 0 件リアクション 0 件担当者 1 名 GitHub で見る

まだ誰も着手していません。

評価

この issue はまだ評価されていません。

説明

bug

Run ContestEstimator with the following options:

timeLimit = 120
methodFilter = "io.seata.core.protocol.transaction.BranchRegisterRequest.*"
projectFilter = listOf("seata-core-0.5.0")

The following error is found in logs multiple times:

java.lang.InterruptedException: null
	at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:84) ~[kotlinx-coroutines-core-jvm-1.6.4.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.4.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.4.jar:?]
	at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.4.jar:?]
	at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.4.jar:?]
	at org.utbot.contest.usvm.jc.JcTestExecutor.execute(JcTestExecutor.kt:72) ~[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/:?]
	at org.utbot.common.ThreadBasedExecutor$invokeWithTimeout$1.invoke(ThreadUtil.kt:75) [utbot-core-2023.11-SNAPSHOT.jar:?]
	at org.utbot.common.ThreadBasedExecutor$ensureThreadIsAlive$1.invoke(ThreadUtil.kt:129) [utbot-core-2023.11-SNAPSHOT.jar:?]
	at org.utbot.common.ThreadBasedExecutor$ensureThreadIsAlive$1.invoke(ThreadUtil.kt:125) [utbot-core-2023.11-SNAPSHOT.jar:?]
	at kotlin.concurrent.ThreadsKt$thread$thread$1.run(Thread.kt:30) [kotlin-stdlib-1.8.22.jar:1.8.22-release-407(1.8.22)]
	
	
	Suppressed: java.lang.IllegalStateException: Unexpected exception kotlin.UninitializedPropertyAccessException: lateinit property rdProcess has not been initialized
		at org.usvm.instrumentation.testcase.descriptor.UTestUnexpectedExecutionBuilder.build(UTestUnexpectedExecutionBuilder.kt:28) ~[usvm-jvm-instrumentation-comp-231128-22.jar:?]
		at org.usvm.instrumentation.executor.UTestConcreteExecutor.executeAsync(UTestConcreteExecutor.kt:69) ~[usvm-jvm-instrumentation-comp-231128-22.jar:?]
		at org.usvm.instrumentation.executor.UTestConcreteExecutor$executeAsync$1.invokeSuspend(UTestConcreteExecutor.kt) ~[usvm-jvm-instrumentation-comp-231128-22.jar:?]
		at kotlin.coroutines.jvm.internal.BaseContinuationImpl.resumeWith(ContinuationImpl.kt:33) ~[kotlin-stdlib-1.8.22.jar:1.8.22-release-407(1.8.22)]
		at kotlinx.coroutines.DispatchedTask.run(DispatchedTask.kt:104) ~[kotlinx-coroutines-core-jvm-1.6.4.jar:?]
		at kotlinx.coroutines.EventLoopImplBase.processNextEvent(EventLoop.common.kt:284) ~[kotlinx-coroutines-core-jvm-1.6.4.jar:?]
		at kotlinx.coroutines.EventLoopImplBase.shutdown(EventLoop.common.kt:229) ~[kotlinx-coroutines-core-jvm-1.6.4.jar:?]
		at kotlinx.coroutines.EventLoop.decrementUseCount(EventLoop.common.kt:114) ~[kotlinx-coroutines-core-jvm-1.6.4.jar:?]
		at kotlinx.coroutines.EventLoop.decrementUseCount$default(EventLoop.common.kt:108) ~[kotlinx-coroutines-core-jvm-1.6.4.jar:?]
		at kotlinx.coroutines.BlockingCoroutine.joinBlocking(Builders.kt:91) ~[kotlinx-coroutines-core-jvm-1.6.4.jar:?]
		at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking(Builders.kt:59) ~[kotlinx-coroutines-core-jvm-1.6.4.jar:?]
		at kotlinx.coroutines.BuildersKt.runBlocking(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.4.jar:?]
		at kotlinx.coroutines.BuildersKt__BuildersKt.runBlocking$default(Builders.kt:38) ~[kotlinx-coroutines-core-jvm-1.6.4.jar:?]
		at kotlinx.coroutines.BuildersKt.runBlocking$default(Unknown Source) ~[kotlinx-coroutines-core-jvm-1.6.4.jar:?]
		at org.utbot.contest.usvm.jc.JcTestExecutor.execute(JcTestExecutor.kt:72) ~[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/:?]

主要言語: Kotlin
スター: 33
フォーク: 27
平均マージ: 4日 3時間
マージ済み PR（30日）: 15

コントリビューションガイド

このリポジトリのコントリビューションガイドは索引されていません

はじめの一歩

issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
リポジトリをフォークし、ブランチを切って変更します。
issue 番号を参照したプルリクエストを送ります。

UnitTestBot/usvm のほかの issue

[TS] Support array growth and sparse slots オープン

難易度 5/5 1週間以上初心者へのやさしさ 45/100

UnitTestBot/usvm#388 · 2026年9月18日に作成
[TS PBT][P0] Align and simplify property execution semantics before integration オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

UnitTestBot/usvm#384 · 2026年9月7日に作成
[TS PBT] Map c8/V8 branch coverage to EtsIR CFG edges オープン

難易度 5/5 1週間以上初心者へのやさしさ 35/100

UnitTestBot/usvm#382 · 2026年9月7日に作成
[TS] Preserve fake values in symbolic reference-array reads オープン

難易度 4/5 3〜5日初心者へのやさしさ 48/100

UnitTestBot/usvm#379 · 2026年8月28日に作成
[TS Calls][Research] Capture stopped-path frontiers for article experiments オープン

難易度 5/5 1週間以上初心者へのやさしさ 25/100

UnitTestBot/usvm#373 · 2026年8月23日に作成

UnitTestBot/usvm の issue をすべて見る

似ている issue

Windows helper args-file: delete after process exit (Codex P2 from #529) オープン

bug

難易度 2/5 1〜3時間初心者へのやさしさ 68/100

rock3r/spectre#530 · 2026年9月21日に作成
[Feature request] Make minimum change period again 1 minute オープン

enhancement

難易度 2/5 1〜3時間初心者へのやさしさ 68/100

Anthonyy232/Paperize#614 · 2026年9月21日に作成
CI: remove unecessary rustflags argument once we bump to Rust 1.97+ オープン

難易度 2/5 1〜3時間初心者へのやさしさ 76/100

bitcoindevkit/bdk-ffi#1125 · 2026年9月21日に作成
[BUG] [Kotlin] [kotlin-server] [jaxrs-spec] additionalModelTypeAnnotations also added to generated enums オープン

Issue: Bug

難易度 1/5 1時間未満初心者へのやさしさ 91/100

OpenAPITools/openapi-generator#24978 · 2026年9月21日に作成
Legge til schemas for andre konsument topics オープン

helsemelding-json-schema json-schema-core

難易度 2/5 1〜3時間初心者へのやさしさ 68/100

navikt/helsemelding-json-schema#29 · 2026年9月21日に作成

Kotlin の issue をもっと見る

Multiple `lateinit property has not been initialized` exception during analysis

評価

説明

コントリビューションガイド

はじめの一歩

UnitTestBot/usvm のほかの issue

似ている issue

新しい issue をメールで受け取る