UnitTestBot/usvm

View on GitHub

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

Incorrect setting collection field to null leads to further problems with iterator Open

bug

UnitTestBot/usvm#111 · 1 assignee · Opened Nov 16, 2023
NullPointerException is expected as a result of the correct test Open

bug

UnitTestBot/usvm#109 · 2 comments · 1 assignee · Opened Nov 15, 2023
Type parameters in generated tests lead to failing of `toJavaClass` Open

bug

UnitTestBot/usvm#108 · 2 comments · 1 assignee · Opened Nov 15, 2023
Generating tests for one method returns less test cases than for the whole class Open

bug

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

UnitTestBot/usvm#107 · Opened Nov 15, 2023
Support constructing approximated objects Open

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

UnitTestBot/usvm#100 · Opened Nov 13, 2023
Support coverage of disjunctions in if statements Open

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

UnitTestBot/usvm#95 · Opened Nov 8, 2023
Support virtual entrypoints Open

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

UnitTestBot/usvm#93 · Opened Nov 7, 2023
NPE when using java.io.Reader/java.io.InputStreamReader Open

bug

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

UnitTestBot/usvm#77 · Opened Oct 17, 2023
USVM freezes with java.security.SecureRandom (new SecureRandom()) Open

bug

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

UnitTestBot/usvm#76 · Opened Oct 17, 2023
NPE when using java.lang.System.out/java.lang.System.err Open

bug

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

UnitTestBot/usvm#75 · Opened Oct 17, 2023
Java Analyzer check-list Open

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

UnitTestBot/usvm#25 · Opened Jun 19, 2023
The root issue for all TODOs Open

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

UnitTestBot/usvm#11 · Opened Mar 22, 2023

UnitTestBot/usvm

Get new issues in your inbox