Machine failed in `JcApplicationGraph.getTyped`

Assessment

This issue has not been assessed yet.

Description

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

ERROR | analyzeAsync failed
java.util.NoSuchElementException: Collection contains no element matching the predicate.
	at org.usvm.machine.JcApplicationGraph.getTyped(JcApplicationGraph.kt:86) ~[usvm-jvm-2511-1.jar:?]
	at org.usvm.machine.mocks.JcMockerKt.mockMethod(JcMocker.kt:17) ~[usvm-jvm-2511-1.jar:?]
	at org.usvm.machine.interpreter.JcInterpreter.visitMethodCall(JcInterpreter.kt:258) ~[usvm-jvm-2511-1.jar:?]
	at org.usvm.machine.interpreter.JcInterpreter.step(JcInterpreter.kt:159) ~[usvm-jvm-2511-1.jar:?]
	at org.usvm.machine.interpreter.JcInterpreter.step(JcInterpreter.kt:83) ~[usvm-jvm-2511-1.jar:?]
	at org.usvm.UMachine.run(Machine.kt:44) ~[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/:?]

Contributor guide

No contributing guide indexed for this repository

First steps

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

More from UnitTestBot/usvm

• [TS] Support array growth and sparse slots Open

  Difficulty 5/5 Over a week Newbie friendliness 45/100

  UnitTestBot/usvm#388 · Opened Sep 18, 2026

• [TS PBT][P0] Align and simplify property execution semantics before integration Open

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  UnitTestBot/usvm#384 · Opened Sep 7, 2026

• [TS PBT] Map c8/V8 branch coverage to EtsIR CFG edges Open

  Difficulty 5/5 Over a week Newbie friendliness 35/100

  UnitTestBot/usvm#382 · Opened Sep 7, 2026

• [TS] Preserve fake values in symbolic reference-array reads Open

  Difficulty 4/5 3-5 days Newbie friendliness 48/100

  UnitTestBot/usvm#379 · Opened Aug 28, 2026

• [TS Calls][Research] Capture stopped-path frontiers for article experiments Open

  Difficulty 5/5 Over a week Newbie friendliness 25/100

  UnitTestBot/usvm#373 · Opened Aug 23, 2026

All issues in UnitTestBot/usvm

Similar issues

• No test covers the claim that only the last command's state is checked Open

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

  johanhaleby/occurrent#1120 · Opened Sep 23, 2026

• TOML `rename` is not applied to a type inside `Box<T>` (Swift, Kotlin, Python) Open

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

  mozilla/uniffi-rs#3006 · Opened Sep 23, 2026

• 2 rename bugs Open
  bug

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

  yairm210/Unciv#15634 · 1 comment · Opened Sep 23, 2026

• Hide camera-based functionality if the device does not have a camera Open

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

  ankidroid/Anki-Android#21999 · Opened Sep 22, 2026

• libzkp.so in jniLibs/x86_64 is a 32-bit ELF binary instead of 64-bit Open

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

  openwallet-foundation/multipaz#2028 · Opened Sep 22, 2026

More Kotlin issues