Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

[TS] Execute Symbol values without treating them as references

Aperta
  • Qualcosa non va?
#439 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

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
55/100
Tipo di issue
Bug
Chiarezza
Abbastanza chiara
Stato di attività
Attiva
Stack tecnologico
kotlin, nodejs, typescript
Ambito
devtools, testing-qa

Direzione di ricerca

Start with the sort mapping in usvm-ts/src/main/kotlin/org/usvm/machine/TsContext.kt and the typeof handling in usvm-ts/src/main/kotlin/org/usvm/machine/expr/TsExprResolver.kt. Add a focused regression for the provided Symbol example after the required Symbol EtsIR is available, then compare the supported result with a concrete Node.js replay. Done means Symbol behavior is represented explicitly, while unsupported operands or environments remain marked as approximations.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

enhancement

Problem

The symbolic machine has no Symbol value sort or runtime-kind branch; Symbol-typed values fall outside its type-to-sort mapping.

Minimal TypeScript example

export function kind(value: symbol): string {
  return typeof value;
}

Expected behavior

For a Symbol input, kind returns "symbol". Symbol equality uses identity and numeric coercion raises TypeError; do not collapse symbols into string/object/unknown reference semantics. Requires Symbol EtsIR from UnitTestBot/jacodb#379.

Current source evidence

Sort mapping; typeof cases.

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
2g 20h
PR unite (30g)
9

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

  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

Tutte le issue di UnitTestBot/usvm

Issue simili

Altre issue su Kotlin

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.