UnitTestBot/usvm

Universal Symbolic Virtual Machine

Stars: 33
Forks: 27
Open beginner issues: 0
Indexed issues: 62
Avg merge: 4d 3h
Merged PRs (30d): 15

Dominant language: Kotlin
License: Apache-2.0
Last GitHub push: Sep 19, 2026
Latest indexed: Sep 20, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

62 open issues indexed

[TS] Support array growth and sparse slots Open

Difficulty 5/5 Over a week Newbie friendliness 45/100

UnitTestBot/usvm#388 · Opened Sep 18, 2026
[TS PBT][P0] Align and simplify property execution semantics before integration Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

UnitTestBot/usvm#384 · Opened Sep 7, 2026
[TS PBT] Map c8/V8 branch coverage to EtsIR CFG edges Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

UnitTestBot/usvm#382 · Opened Sep 7, 2026
[TS] Preserve fake values in symbolic reference-array reads Open

Difficulty 4/5 3-5 days Newbie friendliness 48/100

UnitTestBot/usvm#379 · Opened Aug 28, 2026
[TS Calls][Research] Capture stopped-path frontiers for article experiments Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

UnitTestBot/usvm#373 · Opened Aug 23, 2026
[TS Calls] Audit and classify existing semantic approximations Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

UnitTestBot/usvm#368 · Opened Aug 22, 2026
[TS Calls] Build a real-project call census and model roadmap Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

UnitTestBot/usvm#367 · Opened Aug 22, 2026
[Epic][TS Calls] Introduce explicit fallback policies and partial semantic models Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

UnitTestBot/usvm#360 · Opened Aug 22, 2026
[TS] Audit and formalize the type relations used by usvm-ts Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 30/100

UnitTestBot/usvm#359 · Opened Aug 22, 2026
[TS PBT] Evaluate PBT and hybrid configurations on the benchmark Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

UnitTestBot/usvm#357 · Opened Aug 22, 2026
[TS PBT] Build a reproducible property benchmark and mutant corpus Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

UnitTestBot/usvm#356 · Opened Aug 22, 2026
[TS PBT] Evaluate runtime-derived PBT hints for symbolic search Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

UnitTestBot/usvm#355 · Opened Aug 22, 2026
[TS PBT] Assemble the end-to-end PBT and USVM pipeline Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

UnitTestBot/usvm#354 · Opened Aug 22, 2026
[TS PBT] Replay and shrink USVM counterexamples through PBT backends Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

UnitTestBot/usvm#353 · Opened Aug 22, 2026
[TS PBT] Search for property violations with USVM Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

UnitTestBot/usvm#352 · Opened Aug 22, 2026
[TS PBT] Project property domains and preconditions into USVM Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

UnitTestBot/usvm#351 · Opened Aug 22, 2026
[Epic][TS PBT] Integrate pluggable PBT engines with symbolic execution Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

UnitTestBot/usvm#345 · Opened Aug 22, 2026
[TS] Extract parts of TsState into specific data structures Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

UnitTestBot/usvm#319 · Opened Aug 5, 2025
[TS] Bug with add operator Open

UnitTestBot/usvm#310 · 1 reaction · 1 assignee · Opened Jul 11, 2025
Add fork limit option Open

UnitTestBot/usvm#301 · 1 assignee · Opened Jul 3, 2025
[TS] Support `push` invocation in `InstanceCallExpr` resolution Open

UnitTestBot/usvm#300 · 1 assignee · Opened Jul 3, 2025
[TS] Support cast expression Open

UnitTestBot/usvm#299 · 1 assignee · Opened Jul 3, 2025
[ts] Handle field ref that refer to the method Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

UnitTestBot/usvm#298 · Opened Jul 2, 2025
Use SMT formula satisfiability check caches Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

UnitTestBot/usvm#297 · 1 reaction · Opened Jun 25, 2025
[TS] Support new field declaration for instances Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

UnitTestBot/usvm#288 · Opened Jun 6, 2025
Add support for multidimensional arrays in ETS Open

UnitTestBot/usvm#287 · 1 assignee · Opened Jun 6, 2025
Incorrect objects transformation inside of TsBinaryOperator Open

UnitTestBot/usvm#281 · 1 assignee · Opened May 22, 2025
Incorrect mkNumericExpr implementation Open

UnitTestBot/usvm#280 · 1 assignee · Opened May 22, 2025
```checkType``` in ```TSMethodTestRunner``` is not implemented Open

UnitTestBot/usvm#203 · 1 assignee · Opened Aug 6, 2024
`resolveObject` fails with `IndexOutOfBoundsException` Open

bug

UnitTestBot/usvm#164 · 1 comment · 1 assignee · Opened Nov 29, 2023
Incorrect types in execution lead to compilation errors Open

bug

UnitTestBot/usvm#163 · 1 assignee · Opened Nov 29, 2023
JcStateResolver crashed with Unexpected ref Open

bug

UnitTestBot/usvm#162 · 1 assignee · Opened Nov 28, 2023
Multiple `lateinit property has not been initialized` exception during analysis Open

bug

UnitTestBot/usvm#161 · 1 assignee · Opened Nov 28, 2023
Instrumentation timed out on one of `spoon` classes and was killed Open

bug

UnitTestBot/usvm#156 · 2 comments · 1 assignee · Opened Nov 25, 2023
One of generated test classes crashes gradle verification task Open

question

UnitTestBot/usvm#153 · 1 assignee · Opened Nov 25, 2023
Not decoded SymbolicList is present in UTest Open

bug

UnitTestBot/usvm#152 · 1 assignee · Opened Nov 25, 2023
Multiple timeouts during guava `Shorts` analysis Open

question

UnitTestBot/usvm#151 · 1 assignee · Opened Nov 25, 2023
Machine failed in `JcApplicationGraph.getTyped` Open

bug

UnitTestBot/usvm#150 · 2 comments · 1 assignee · Opened Nov 25, 2023
Class is not found, possibly because it has not been decoded Open

bug

UnitTestBot/usvm#149 · 1 assignee · Opened Nov 25, 2023
Invalid `UTestCyclicReferenceDescriptor` Open

question

UnitTestBot/usvm#148 · 1 comment · 1 assignee · Opened Nov 24, 2023
ArrayStoreException in test executor Open

UnitTestBot/usvm#147 · 1 comment · 1 assignee · Opened Nov 24, 2023
Multiple `UTestExecutionInitFailedResult` without cause as a result of class analysis Open

bug

UnitTestBot/usvm#145 · 3 comments · 1 assignee · Opened Nov 24, 2023
Compilation errors in generated times, possible reasoned by incorrect types resolving in machine Open

bug

UnitTestBot/usvm#144 · 1 assignee · Opened Nov 23, 2023
Duplicate class definition for name: "org/slf4j/impl/StaticLoggerBinder" Open

bug

UnitTestBot/usvm#135 · 1 comment · 1 assignee · Opened Nov 22, 2023
Instrumentation fails with thread death exception on `SparseImmutableTable` class Open

bug

UnitTestBot/usvm#131 · 1 assignee · Opened Nov 22, 2023
JcMachine failed with Trying cast not primitive type <> to primitive type <> Open

bug

UnitTestBot/usvm#122 · 1 assignee · Opened Nov 20, 2023
Multiple unexpected exception in instrumentation on a class from guava-26.0 Open

bug

UnitTestBot/usvm#121 · 1 comment · 1 assignee · Opened Nov 20, 2023
JcMachine failed with IllegalStateException: Unexpected type Open

bug

UnitTestBot/usvm#120 · 1 comment · 1 assignee · Opened Nov 20, 2023
UTestExpressionExecutor failed before methodUnderTest call on guava Throwables Open

bug

UnitTestBot/usvm#119 · 1 comment · 1 assignee · Opened Nov 20, 2023
JcMachine failed with IllegalStateException: Invalid model containing wrong type Open

bug

UnitTestBot/usvm#118 · 1 assignee · Opened Nov 20, 2023

A short digest of beginner-friendly GitHub issues.