UnitTestBot/usvm

Voir sur GitHub

Universal Symbolic Virtual Machine

Étoiles: 33
Forks: 27
Issues débutants ouvertes: 0
Issues indexées: 62
Merge moyen: 4 j 3 h
PR mergées (30 j): 15

Langage dominant: Kotlin
Licence: Apache-2.0
Dernier push GitHub: 19/9/2026
Dernière indexation: 20/9/2026
Guide de contribution: Aucun guide de contribution
Code de conduite: Aucun code de conduite
Labels débutants: Aucun label débutant indexé

Accessible aux débutants Tout

Ouverte Toutes

62 issues ouvertes indexées

[TS] Support array growth and sparse slots Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 45/100

UnitTestBot/usvm#388 · Ouverte le 18/9/2026
[TS PBT][P0] Align and simplify property execution semantics before integration Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

UnitTestBot/usvm#384 · Ouverte le 7/9/2026
[TS PBT] Map c8/V8 branch coverage to EtsIR CFG edges Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

UnitTestBot/usvm#382 · Ouverte le 7/9/2026
[TS] Preserve fake values in symbolic reference-array reads Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 48/100

UnitTestBot/usvm#379 · Ouverte le 28/8/2026
[TS Calls][Research] Capture stopped-path frontiers for article experiments Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

UnitTestBot/usvm#373 · Ouverte le 23/8/2026
[TS Calls] Audit and classify existing semantic approximations Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

UnitTestBot/usvm#368 · Ouverte le 22/8/2026
[TS Calls] Build a real-project call census and model roadmap Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

UnitTestBot/usvm#367 · Ouverte le 22/8/2026
[Epic][TS Calls] Introduce explicit fallback policies and partial semantic models Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

UnitTestBot/usvm#360 · Ouverte le 22/8/2026
[TS] Audit and formalize the type relations used by usvm-ts Ouverte

enhancement

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100

UnitTestBot/usvm#359 · Ouverte le 22/8/2026
[TS PBT] Evaluate PBT and hybrid configurations on the benchmark Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

UnitTestBot/usvm#357 · Ouverte le 22/8/2026
[TS PBT] Build a reproducible property benchmark and mutant corpus Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100

UnitTestBot/usvm#356 · Ouverte le 22/8/2026
[TS PBT] Evaluate runtime-derived PBT hints for symbolic search Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

UnitTestBot/usvm#355 · Ouverte le 22/8/2026
[TS PBT] Assemble the end-to-end PBT and USVM pipeline Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

UnitTestBot/usvm#354 · Ouverte le 22/8/2026
[TS PBT] Replay and shrink USVM counterexamples through PBT backends Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

UnitTestBot/usvm#353 · Ouverte le 22/8/2026
[TS PBT] Search for property violations with USVM Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

UnitTestBot/usvm#352 · Ouverte le 22/8/2026
[TS PBT] Project property domains and preconditions into USVM Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

UnitTestBot/usvm#351 · Ouverte le 22/8/2026
[Epic][TS PBT] Integrate pluggable PBT engines with symbolic execution Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

UnitTestBot/usvm#345 · Ouverte le 22/8/2026
[TS] Extract parts of TsState into specific data structures Ouverte

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100

UnitTestBot/usvm#319 · Ouverte le 5/8/2025
[TS] Bug with add operator Ouverte

UnitTestBot/usvm#310 · 1 réaction · 1 personne assignée · Ouverte le 11/7/2025
Add fork limit option Ouverte

UnitTestBot/usvm#301 · 1 personne assignée · Ouverte le 3/7/2025
[TS] Support `push` invocation in `InstanceCallExpr` resolution Ouverte

UnitTestBot/usvm#300 · 1 personne assignée · Ouverte le 3/7/2025
[TS] Support cast expression Ouverte

UnitTestBot/usvm#299 · 1 personne assignée · Ouverte le 3/7/2025
[ts] Handle field ref that refer to the method Ouverte

Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

UnitTestBot/usvm#298 · Ouverte le 2/7/2025
Use SMT formula satisfiability check caches Ouverte

enhancement

Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

UnitTestBot/usvm#297 · 1 réaction · Ouverte le 25/6/2025
[TS] Support new field declaration for instances Ouverte

Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

UnitTestBot/usvm#288 · Ouverte le 6/6/2025
Add support for multidimensional arrays in ETS Ouverte

UnitTestBot/usvm#287 · 1 personne assignée · Ouverte le 6/6/2025
Incorrect objects transformation inside of TsBinaryOperator Ouverte

UnitTestBot/usvm#281 · 1 personne assignée · Ouverte le 22/5/2025
Incorrect mkNumericExpr implementation Ouverte

UnitTestBot/usvm#280 · 1 personne assignée · Ouverte le 22/5/2025
```checkType``` in ```TSMethodTestRunner``` is not implemented Ouverte

UnitTestBot/usvm#203 · 1 personne assignée · Ouverte le 6/8/2024
`resolveObject` fails with `IndexOutOfBoundsException` Ouverte

bug

UnitTestBot/usvm#164 · 1 commentaire · 1 personne assignée · Ouverte le 29/11/2023
Incorrect types in execution lead to compilation errors Ouverte

bug

UnitTestBot/usvm#163 · 1 personne assignée · Ouverte le 29/11/2023
JcStateResolver crashed with Unexpected ref Ouverte

bug

UnitTestBot/usvm#162 · 1 personne assignée · Ouverte le 28/11/2023
Multiple `lateinit property has not been initialized` exception during analysis Ouverte

bug

UnitTestBot/usvm#161 · 1 personne assignée · Ouverte le 28/11/2023
Instrumentation timed out on one of `spoon` classes and was killed Ouverte

bug

UnitTestBot/usvm#156 · 2 commentaires · 1 personne assignée · Ouverte le 25/11/2023
One of generated test classes crashes gradle verification task Ouverte

question

UnitTestBot/usvm#153 · 1 personne assignée · Ouverte le 25/11/2023
Not decoded SymbolicList is present in UTest Ouverte

bug

UnitTestBot/usvm#152 · 1 personne assignée · Ouverte le 25/11/2023
Multiple timeouts during guava `Shorts` analysis Ouverte

question

UnitTestBot/usvm#151 · 1 personne assignée · Ouverte le 25/11/2023
Machine failed in `JcApplicationGraph.getTyped` Ouverte

bug

UnitTestBot/usvm#150 · 2 commentaires · 1 personne assignée · Ouverte le 25/11/2023
Class is not found, possibly because it has not been decoded Ouverte

bug

UnitTestBot/usvm#149 · 1 personne assignée · Ouverte le 25/11/2023
Invalid `UTestCyclicReferenceDescriptor` Ouverte

question

UnitTestBot/usvm#148 · 1 commentaire · 1 personne assignée · Ouverte le 24/11/2023
ArrayStoreException in test executor Ouverte

UnitTestBot/usvm#147 · 1 commentaire · 1 personne assignée · Ouverte le 24/11/2023
Multiple `UTestExecutionInitFailedResult` without cause as a result of class analysis Ouverte

bug

UnitTestBot/usvm#145 · 3 commentaires · 1 personne assignée · Ouverte le 24/11/2023
Compilation errors in generated times, possible reasoned by incorrect types resolving in machine Ouverte

bug

UnitTestBot/usvm#144 · 1 personne assignée · Ouverte le 23/11/2023
Duplicate class definition for name: "org/slf4j/impl/StaticLoggerBinder" Ouverte

bug

UnitTestBot/usvm#135 · 1 commentaire · 1 personne assignée · Ouverte le 22/11/2023
Instrumentation fails with thread death exception on `SparseImmutableTable` class Ouverte

bug

UnitTestBot/usvm#131 · 1 personne assignée · Ouverte le 22/11/2023
JcMachine failed with Trying cast not primitive type <> to primitive type <> Ouverte

bug

UnitTestBot/usvm#122 · 1 personne assignée · Ouverte le 20/11/2023
Multiple unexpected exception in instrumentation on a class from guava-26.0 Ouverte

bug

UnitTestBot/usvm#121 · 1 commentaire · 1 personne assignée · Ouverte le 20/11/2023
JcMachine failed with IllegalStateException: Unexpected type Ouverte

bug

UnitTestBot/usvm#120 · 1 commentaire · 1 personne assignée · Ouverte le 20/11/2023
UTestExpressionExecutor failed before methodUnderTest call on guava Throwables Ouverte

bug

UnitTestBot/usvm#119 · 1 commentaire · 1 personne assignée · Ouverte le 20/11/2023
JcMachine failed with IllegalStateException: Invalid model containing wrong type Ouverte

bug

UnitTestBot/usvm#118 · 1 personne assignée · Ouverte le 20/11/2023

UnitTestBot/usvm

Recevez les nouvelles issues par e-mail