[TS] Replace the constant toString call approximation
I maintainer di solito rispondono entro 1 giorno
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 62/100
- Tipo di issue
- Bug
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Attiva
- Stack tecnologico
- kotlin, node.js, typescript
- Ambito
- compilers
Direzione di ricerca
Read usvm-ts/src/main/kotlin/org/usvm/machine/expr/CallApproximations.kt around lines 90-107, then replay the provided text() example with TypeScript/Node.js as the concrete reference. Add a focused symbolic test covering the supported receiver case and verify that unsupported operand or environment behavior remains explicit rather than exact.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Problem
The generic .toString() approximation returns "I am a string" for every receiver.
Minimal TypeScript example
export function text(): string {
return (42).toString();
}
Expected behavior
text() returns "42". Select semantics based on proven receiver type; avoid applying one fixed result to arrays, numbers and arbitrary objects. Unknown receiver behavior must remain explicit.
Current source evidence
Checked against USVM main 53dce8f3bca2713642c783ba8308a6a360a9e516. This exact snippet is a proposed regression from source audit; it has not yet been run as a new end-to-end test. #368 audits the existing call approximations but does not implement these individual fixes.
Acceptance criteria
- A focused test checks the symbolic outcome without reporting an approximation as exact semantics.
- The supported case agrees with concrete TypeScript/Node.js replay.
- Unsupported operand or environment cases remain explicit.
- Lingua principale
- Kotlin
- Stelle
- 33
- Fork
- 27
- Merge medio
- 3g 8h
- PR unite (30g)
- 7
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di UnitTestBot/usvm
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
UnitTestBot/usvm#440 ·
I maintainer di solito rispondono entro 1 giorno
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100
UnitTestBot/usvm#439 ·
I maintainer di solito rispondono entro 1 giorno
-
enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 70/100
UnitTestBot/usvm#438 ·
I maintainer di solito rispondono entro 1 giorno
-
enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 72/100
UnitTestBot/usvm#437 ·
I maintainer di solito rispondono entro 1 giorno
-
enhancement
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
UnitTestBot/usvm#435 ·
I maintainer di solito rispondono entro 1 giorno
Tutte le issue di UnitTestBot/usvm
Issue simili
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
home-assistant/android#7561 ·
I maintainer di solito rispondono entro 1 giorno
-
contributor: external needs review
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 74/100
fwcd/tree-sitter-kotlin#289 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
navikt/syfo-oppfolgingsplan-backend#482 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100