Machine failed in `JcApplicationGraph.getTyped`

Valutazione

Questa issue non è ancora stata valutata.

Descrizione

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/:?]

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Come iniziare

1. Leggi tutta la issue e poi la guida ai contributi del progetto.
2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
3. Fai un fork del repository e lavora su un branch.
4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di UnitTestBot/usvm

• [TS] Support array growth and sparse slots Aperta

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 45/100

  UnitTestBot/usvm#388 · Aperta il 18/9/2026

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

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  UnitTestBot/usvm#384 · Aperta il 7/9/2026

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

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

  UnitTestBot/usvm#382 · Aperta il 7/9/2026

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

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  UnitTestBot/usvm#379 · Aperta il 28/8/2026

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

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  UnitTestBot/usvm#373 · Aperta il 23/8/2026

Tutte le issue di UnitTestBot/usvm

Issue simili

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

  Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100

  rock3r/spectre#530 · Aperta il 21/9/2026

• [Feature request] Make minimum change period again 1 minute Aperta
  enhancement

  Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100

  Anthonyy232/Paperize#614 · Aperta il 21/9/2026

• CI: remove unecessary rustflags argument once we bump to Rust 1.97+ Aperta

  Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100

  bitcoindevkit/bdk-ffi#1125 · Aperta il 21/9/2026

• [BUG] [Kotlin] [kotlin-server] [jaxrs-spec] additionalModelTypeAnnotations also added to generated enums Aperta
  Issue: Bug

  Difficoltà 1/5 Meno di un'ora Idoneità per principianti 91/100

  OpenAPITools/openapi-generator#24978 · Aperta il 21/9/2026

• Legge til schemas for andre konsument topics Aperta
  helsemelding-json-schema json-schema-core

  Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100

  navikt/helsemelding-json-schema#29 · Aperta il 21/9/2026

Altre issue su Kotlin