Issues

Java Analyzer check-list
#25 · sergeypospelov opened on Jun 19, 2023
The root issue for all TODOs
#11 · sergeypospelov opened on Mar 22, 2023

[TS] Evaluate instanceof against the runtime constructor value
Feature
UnitTestBot/usvm#457 · opened on Oct 2, 2026
[TS] Bind lexical this when calling stored arrow functions
UnitTestBot/usvm#440 · opened on Oct 2, 2026
[TS] Execute Symbol values without treating them as references
UnitTestBot/usvm#439 · opened on Oct 2, 2026
[TS] Support multiple arguments in Array.unshift
UnitTestBot/usvm#438 · opened on Oct 2, 2026
[TS] Normalize negative indices in Array.fill
UnitTestBot/usvm#437 · opened on Oct 2, 2026
[TS] Replace the constant toString call approximation
UnitTestBot/usvm#436 · opened on Oct 2, 2026
[TS] Constrain Array.includes to element membership
UnitTestBot/usvm#435 · opened on Oct 2, 2026
[TS] Constrain Array.indexOf to the first matching element
UnitTestBot/usvm#434 · opened on Oct 2, 2026
[TS] Compute Array.join from elements and separator
UnitTestBot/usvm#433 · opened on Oct 2, 2026
[TS] Execute yield in generator functions
UnitTestBot/usvm#431 · opened on Oct 2, 2026
[TS] Convert arrays and objects to Number via ToPrimitive
UnitTestBot/usvm#430 · opened on Oct 2, 2026
[TS] Return function from typeof callable values
UnitTestBot/usvm#429 · opened on Oct 2, 2026
[TS] Execute exponentiation expressions
UnitTestBot/usvm#428 · opened on Oct 2, 2026
[TS] Route thrown exceptions into catch blocks
UnitTestBot/usvm#427 · opened on Oct 2, 2026
[TS] Delete object properties across all value sorts
UnitTestBot/usvm#426 · opened on Oct 2, 2026
[TS] Evaluate property presence for the object in operator
UnitTestBot/usvm#425 · opened on Oct 2, 2026
[TS] Concatenate symbolic strings
UnitTestBot/usvm#424 · opened on Oct 2, 2026
[TS] Make empty strings falsy in symbolic conditions
UnitTestBot/usvm#423 · opened on Oct 2, 2026
[TS] Compare TypeScript strings by value
UnitTestBot/usvm#422 · opened on Oct 2, 2026
[TS] Materialize symbolic string inputs in generated tests
UnitTestBot/usvm#421 · opened on Oct 2, 2026
[TS] Execute bigint values and arithmetic in usvm-ts
UnitTestBot/usvm#420 · opened on Oct 2, 2026
[TS] Support object arrays in symbolic input fields
Task
UnitTestBot/usvm#419 · opened on Oct 2, 2026
[TS PBT][Checkpoint] Validate the bounded core feedback loop and assess its research value
Task
UnitTestBot/usvm#405 · opened on Sep 30, 2026
[TS PBT][Research] Establish novelty and deliver the reproducible property-feedback paper
Task
UnitTestBot/usvm#404 · opened on Sep 30, 2026
[TS PBT] Challenge context-scoped observed function summaries during symbolic search
Task
UnitTestBot/usvm#403 · opened on Sep 30, 2026