Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

[TS] Produce replayable witnesses for unrefined any references selected as strings

Abierto
  • ¿Algo no está bien?
#592 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Los mantenedores suelen responder en 1 día

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
5/5
Tiempo estimado
Más de una semana
Aptitud para principiantes
25/100
Tipo de issue
Error
Claridad
Bastante claro
Estado de actividad
Activo
Stack tecnológico
kotlin
Área
backend, testing-qa

Línea de trabajo

Start with usvm-ts/src/test/resources/samples/lang/TypeCoercion.ts, method transitiveCoercionNoTypes, and the prepareRefinedStringBackings and TsTestResolver.kt:398 paths mentioned in the issue. Reproduce the missing backing array failure and trace how the final model selects a string for an unrefined any reference. Define a sound witness or explicit unsupported result that preserves path constraints and all listed alternatives; validate every emitted witness by native replay.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

An unconstrained any reference can be selected as a string by the final solver model without a modeled backing array. Witness extraction then raises TsUnsupportedWitnessException instead of producing a replayable input. This is independent of the computed-member frontend update.

Observed evidence:

  • CI at USVM 2679630a854114b3d82740bc16623fc674092b2e, run 38957306345, TypeCoercion.test transitiveCoercionNoTypes: Symbolic string is missing backing array: 0x-2. The stack is resolveParameters -> resolveFakeObject -> resolveExpr -> resolveTsValue -> resolveString (TsTestResolver.kt:398). CI reached 100% method coverage before extraction failed.
  • The same unchanged test reproduced locally on clean main e56cea5018f5f04408083fe44be9a5212ae2600f, using the previous JacoDB pin 4251d2023d: Symbolic string is missing backing array: 0x-1.
  • An isolated run at the CI commit also passed, so the precise model selection is variable. The failure is not established as a computed-member pin regression.

Reproducer source remains in usvm-ts/src/test/resources/samples/lang/TypeCoercion.ts, method transitiveCoercionNoTypes(a, b, c). It compares a == b, c != 0, c != 1, and c && a == c, returning 1, 2, 4, or 3.

prepareRefinedStringBackings only prepares references proven to be non-nullish strings on the current path. The any references in this example may remain unrefined, while the final model's type stream chooses a string. Do not replace missing backing with an invented empty string or suppress extraction failure: that could invalidate the path witness.

Required result: define and implement a sound way to obtain concrete witnesses for these unrefined alternatives (including their original path constraints), or report their unsupported status explicitly at the analysis/witness boundary. Preserve nullish, object, numeric, Boolean, and string alternatives. Validate every emitted concrete witness by native replay. Keep this separate from the bounded numeric/Boolean TypeCoercion regression fixture; that fixture does not establish general any witness support.

Lenguaje dominante
Kotlin
Estrellas
33
Forks
27
Merge medio
3 d 21 h
PR fusionados (30 d)
88

Preparar el entorno

Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de UnitTestBot/usvm

Todos los issues de UnitTestBot/usvm

Issues similares

Más issues de Kotlin

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.