UnitTestBot/usvm

Auf GitHub ansehen

Universal Symbolic Virtual Machine

Sterne: 33
Forks: 27
Offene Anfänger-Issues: 0
Indexierte Issues: 62
Ø Merge: 4 T. 3 Std.
Gemergte PRs (30 T.): 15

Vorherrschende Sprache: Kotlin
Lizenz: Apache-2.0
Letzter GitHub-Push: 19.9.2026
Zuletzt indexiert: 20.9.2026
Beitragsleitfaden: Kein Beitragsleitfaden
Verhaltenskodex: Kein Verhaltenskodex
Anfänger-Labels: Keine Anfänger-Labels indexiert

Einsteigerfreundlich Alles

Offen Alle

Bisher 62 offene Issues indexiert

[TS] Support array growth and sparse slots Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 45/100

UnitTestBot/usvm#388 · Erstellt am 18.9.2026
[TS PBT][P0] Align and simplify property execution semantics before integration Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

UnitTestBot/usvm#384 · Erstellt am 07.9.2026
[TS PBT] Map c8/V8 branch coverage to EtsIR CFG edges Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

UnitTestBot/usvm#382 · Erstellt am 07.9.2026
[TS] Preserve fake values in symbolic reference-array reads Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100

UnitTestBot/usvm#379 · Erstellt am 28.8.2026
[TS Calls][Research] Capture stopped-path frontiers for article experiments Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

UnitTestBot/usvm#373 · Erstellt am 23.8.2026
[TS Calls] Audit and classify existing semantic approximations Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

UnitTestBot/usvm#368 · Erstellt am 22.8.2026
[TS Calls] Build a real-project call census and model roadmap Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

UnitTestBot/usvm#367 · Erstellt am 22.8.2026
[Epic][TS Calls] Introduce explicit fallback policies and partial semantic models Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

UnitTestBot/usvm#360 · Erstellt am 22.8.2026
[TS] Audit and formalize the type relations used by usvm-ts Offen

enhancement

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100

UnitTestBot/usvm#359 · Erstellt am 22.8.2026
[TS PBT] Evaluate PBT and hybrid configurations on the benchmark Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

UnitTestBot/usvm#357 · Erstellt am 22.8.2026
[TS PBT] Build a reproducible property benchmark and mutant corpus Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100

UnitTestBot/usvm#356 · Erstellt am 22.8.2026
[TS PBT] Evaluate runtime-derived PBT hints for symbolic search Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

UnitTestBot/usvm#355 · Erstellt am 22.8.2026
[TS PBT] Assemble the end-to-end PBT and USVM pipeline Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

UnitTestBot/usvm#354 · Erstellt am 22.8.2026
[TS PBT] Replay and shrink USVM counterexamples through PBT backends Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

UnitTestBot/usvm#353 · Erstellt am 22.8.2026
[TS PBT] Search for property violations with USVM Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

UnitTestBot/usvm#352 · Erstellt am 22.8.2026
[TS PBT] Project property domains and preconditions into USVM Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

UnitTestBot/usvm#351 · Erstellt am 22.8.2026
[Epic][TS PBT] Integrate pluggable PBT engines with symbolic execution Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

UnitTestBot/usvm#345 · Erstellt am 22.8.2026
[TS] Extract parts of TsState into specific data structures Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100

UnitTestBot/usvm#319 · Erstellt am 05.8.2025
[TS] Bug with add operator Offen

UnitTestBot/usvm#310 · 1 Reaktion · 1 zugewiesene Person · Erstellt am 11.7.2025
Add fork limit option Offen

UnitTestBot/usvm#301 · 1 zugewiesene Person · Erstellt am 03.7.2025
[TS] Support `push` invocation in `InstanceCallExpr` resolution Offen

UnitTestBot/usvm#300 · 1 zugewiesene Person · Erstellt am 03.7.2025
[TS] Support cast expression Offen

UnitTestBot/usvm#299 · 1 zugewiesene Person · Erstellt am 03.7.2025
[ts] Handle field ref that refer to the method Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100

UnitTestBot/usvm#298 · Erstellt am 02.7.2025
Use SMT formula satisfiability check caches Offen

enhancement

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

UnitTestBot/usvm#297 · 1 Reaktion · Erstellt am 25.6.2025
[TS] Support new field declaration for instances Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

UnitTestBot/usvm#288 · Erstellt am 06.6.2025
Add support for multidimensional arrays in ETS Offen

UnitTestBot/usvm#287 · 1 zugewiesene Person · Erstellt am 06.6.2025
Incorrect objects transformation inside of TsBinaryOperator Offen

UnitTestBot/usvm#281 · 1 zugewiesene Person · Erstellt am 22.5.2025
Incorrect mkNumericExpr implementation Offen

UnitTestBot/usvm#280 · 1 zugewiesene Person · Erstellt am 22.5.2025
```checkType``` in ```TSMethodTestRunner``` is not implemented Offen

UnitTestBot/usvm#203 · 1 zugewiesene Person · Erstellt am 06.8.2024
`resolveObject` fails with `IndexOutOfBoundsException` Offen

bug

UnitTestBot/usvm#164 · 1 Kommentar · 1 zugewiesene Person · Erstellt am 29.11.2023
Incorrect types in execution lead to compilation errors Offen

bug

UnitTestBot/usvm#163 · 1 zugewiesene Person · Erstellt am 29.11.2023
JcStateResolver crashed with Unexpected ref Offen

bug

UnitTestBot/usvm#162 · 1 zugewiesene Person · Erstellt am 28.11.2023
Multiple `lateinit property has not been initialized` exception during analysis Offen

bug

UnitTestBot/usvm#161 · 1 zugewiesene Person · Erstellt am 28.11.2023
Instrumentation timed out on one of `spoon` classes and was killed Offen

bug

UnitTestBot/usvm#156 · 2 Kommentare · 1 zugewiesene Person · Erstellt am 25.11.2023
One of generated test classes crashes gradle verification task Offen

question

UnitTestBot/usvm#153 · 1 zugewiesene Person · Erstellt am 25.11.2023
Not decoded SymbolicList is present in UTest Offen

bug

UnitTestBot/usvm#152 · 1 zugewiesene Person · Erstellt am 25.11.2023
Multiple timeouts during guava `Shorts` analysis Offen

question

UnitTestBot/usvm#151 · 1 zugewiesene Person · Erstellt am 25.11.2023
Machine failed in `JcApplicationGraph.getTyped` Offen

bug

UnitTestBot/usvm#150 · 2 Kommentare · 1 zugewiesene Person · Erstellt am 25.11.2023
Class is not found, possibly because it has not been decoded Offen

bug

UnitTestBot/usvm#149 · 1 zugewiesene Person · Erstellt am 25.11.2023
Invalid `UTestCyclicReferenceDescriptor` Offen

question

UnitTestBot/usvm#148 · 1 Kommentar · 1 zugewiesene Person · Erstellt am 24.11.2023
ArrayStoreException in test executor Offen

UnitTestBot/usvm#147 · 1 Kommentar · 1 zugewiesene Person · Erstellt am 24.11.2023
Multiple `UTestExecutionInitFailedResult` without cause as a result of class analysis Offen

bug

UnitTestBot/usvm#145 · 3 Kommentare · 1 zugewiesene Person · Erstellt am 24.11.2023
Compilation errors in generated times, possible reasoned by incorrect types resolving in machine Offen

bug

UnitTestBot/usvm#144 · 1 zugewiesene Person · Erstellt am 23.11.2023
Duplicate class definition for name: "org/slf4j/impl/StaticLoggerBinder" Offen

bug

UnitTestBot/usvm#135 · 1 Kommentar · 1 zugewiesene Person · Erstellt am 22.11.2023
Instrumentation fails with thread death exception on `SparseImmutableTable` class Offen

bug

UnitTestBot/usvm#131 · 1 zugewiesene Person · Erstellt am 22.11.2023
JcMachine failed with Trying cast not primitive type <> to primitive type <> Offen

bug

UnitTestBot/usvm#122 · 1 zugewiesene Person · Erstellt am 20.11.2023
Multiple unexpected exception in instrumentation on a class from guava-26.0 Offen

bug

UnitTestBot/usvm#121 · 1 Kommentar · 1 zugewiesene Person · Erstellt am 20.11.2023
JcMachine failed with IllegalStateException: Unexpected type Offen

bug

UnitTestBot/usvm#120 · 1 Kommentar · 1 zugewiesene Person · Erstellt am 20.11.2023
UTestExpressionExecutor failed before methodUnderTest call on guava Throwables Offen

bug

UnitTestBot/usvm#119 · 1 Kommentar · 1 zugewiesene Person · Erstellt am 20.11.2023
JcMachine failed with IllegalStateException: Invalid model containing wrong type Offen

bug

UnitTestBot/usvm#118 · 1 zugewiesene Person · Erstellt am 20.11.2023

UnitTestBot/usvm

Neue Issues direkt in Ihr Postfach