issues
search
UnitTestBot
/
usvm
Universal Symbolic Virtual Machine
Apache License 2.0
18
stars
17
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Implement multidimensional array initialization
#212
mxprshn
opened
4 days ago
0
Update patched CPython from 3.11.2 to 3.11.9 + fixed Windows release segfault
#211
tochilinak
closed
6 days ago
0
Specify JDK for jitpack builds
#210
Saloed
closed
2 weeks ago
0
[python] Introducing virtual objects with multiple sets of slots
#209
jefremof
closed
6 days ago
3
Updated approximations version
#208
MchKosticyn
closed
3 weeks ago
0
[python] First step in supporting type inference, based on the usage of `sq_concat`
#207
jefremof
closed
3 weeks ago
1
Update README.md of `usvm-python`
#206
tochilinak
closed
4 weeks ago
0
Upgrade jacodb version
#205
Saloed
closed
1 month ago
0
Updated usvm-api and approximations
#204
MchKosticyn
closed
1 month ago
0
```checkType``` in ```TSMethodTestRunner``` is not implemented
#203
zishkaz
opened
1 month ago
0
Incorrect EtsThis processing in USVM TypeScript
#202
zishkaz
closed
1 month ago
0
TS symbolic machine expansion
#201
zishkaz
closed
1 month ago
0
TS symbolic machine expansion
#200
zishkaz
closed
1 month ago
0
Test framework improvements
#199
CaelmBleidd
closed
1 month ago
0
Disable some tests to fix CI pipeline
#198
Saloed
closed
1 month ago
0
Introduction of TypeScript symbolic machine
#197
CaelmBleidd
closed
1 month ago
0
Update jacodb and refine dataflow accordingly
#196
Lipen
closed
1 month ago
3
USVM API implementation for TypeScript
#195
zishkaz
closed
1 month ago
0
Move `TrieNode` from `kotlinx.collections`
#194
oveeernight
opened
1 month ago
4
Enable tests by fixing the filtering of "check" task dependencies
#193
Lipen
closed
1 month ago
0
Improve deps management
#192
Lipen
closed
1 month ago
0
Remove dependency on 'jvm-dataflow' in 'usvm-jvm' module
#191
Lipen
closed
1 month ago
1
Fix API-dependency on kotlinx-collections
#190
Lipen
closed
1 month ago
0
Move analysis module from jacodb
#189
Saloed
closed
2 months ago
0
Add `splitWrite`
#188
oveeernight
closed
2 months ago
0
Add gameserver
#187
Parzival-05
closed
3 months ago
1
Fix foldHeapRef for static refs
#186
Saloed
closed
4 months ago
0
Upgrade jacodb version to "neo"
#185
Saloed
closed
4 months ago
0
Detekt Linter
#184
sergeypospelov
closed
5 months ago
1
Fix parent static field instrumentation
#183
IlyaMuravjov
closed
6 months ago
0
JcMachine debug profiler
#182
Saloed
closed
6 months ago
0
JcMachineOptions and implicit exceptions
#181
Saloed
closed
6 months ago
0
Loop limiter and iterative deepening PS strategies
#180
Saloed
closed
6 months ago
0
Incorrect bytecode transformation for Java 5 class file
#179
IlyaMuravjov
closed
6 months ago
0
Track state fork points
#178
Saloed
closed
6 months ago
0
Fix `JcTypeSystem.isFinal` check
#177
Saloed
closed
6 months ago
0
Log failed asserts and forks
#176
Saloed
closed
6 months ago
0
Improve USVM performance
#175
Saloed
closed
6 months ago
0
Add test for annotation default value instrumentation
#174
IlyaMuravjov
closed
6 months ago
0
Add failing test for static interface method call instrumentation
#173
IlyaMuravjov
closed
6 months ago
0
Fix `int` overflow in `TraceCollector.hash()`
#172
IlyaMuravjov
closed
7 months ago
0
Fix annotated method instrumentation
#171
IlyaMuravjov
closed
7 months ago
0
Fix default instrumenter factory class name
#170
IlyaMuravjov
closed
7 months ago
0
usvm-python
#169
tochilinak
closed
1 month ago
1
DO NOT MERGE: usvm-go bridge implementation
#168
buraindo
closed
8 months ago
0
ClassScorer api improvement
#167
EgorkaKulikov
closed
8 months ago
0
Allow configuring how jar paths are retrieved
#166
IlyaMuravjov
closed
8 months ago
0
Added hack for non-null `value` field in strings
#165
Damtev
closed
9 months ago
0
`resolveObject` fails with `IndexOutOfBoundsException`
#164
IlyaMuravjov
opened
9 months ago
1
Incorrect types in execution lead to compilation errors
#163
EgorkaKulikov
opened
9 months ago
0
Next