UnitTestBot/usvm

在 GitHub 查看

Universal Symbolic Virtual Machine

星标: 33
派生: 27
开放的新手 issue: 0
已索引 issue: 62
平均合并: 4 天 3 小时
30 天内合并 PR: 15

主要语言: Kotlin
许可证: Apache-2.0
最近 GitHub push: 2026年9月19日
最近索引: 2026年9月20日
贡献指南: 没有贡献指南
行为准则: 没有行为准则
新手标签: 没有已索引的新手标签

适合新手全部

未关闭全部

目前已索引 62 个未关闭的 Issue

[TS] Support array growth and sparse slots 未关闭

难度 5/5 一周以上新手友好度 45/100

UnitTestBot/usvm#388 · 2026年9月18日创建
[TS PBT][P0] Align and simplify property execution semantics before integration 未关闭

难度 5/5 一周以上新手友好度 25/100

UnitTestBot/usvm#384 · 2026年9月7日创建
[TS PBT] Map c8/V8 branch coverage to EtsIR CFG edges 未关闭

难度 5/5 一周以上新手友好度 35/100

UnitTestBot/usvm#382 · 2026年9月7日创建
[TS] Preserve fake values in symbolic reference-array reads 未关闭

难度 4/5 3-5 天新手友好度 48/100

UnitTestBot/usvm#379 · 2026年8月28日创建
[TS Calls][Research] Capture stopped-path frontiers for article experiments 未关闭

难度 5/5 一周以上新手友好度 25/100

UnitTestBot/usvm#373 · 2026年8月23日创建
[TS Calls] Audit and classify existing semantic approximations 未关闭

难度 5/5 一周以上新手友好度 35/100

UnitTestBot/usvm#368 · 2026年8月22日创建
[TS Calls] Build a real-project call census and model roadmap 未关闭

难度 5/5 一周以上新手友好度 35/100

UnitTestBot/usvm#367 · 2026年8月22日创建
[Epic][TS Calls] Introduce explicit fallback policies and partial semantic models 未关闭

难度 5/5 一周以上新手友好度 25/100

UnitTestBot/usvm#360 · 2026年8月22日创建
[TS] Audit and formalize the type relations used by usvm-ts 未关闭

enhancement

难度 5/5 一周以上新手友好度 30/100

UnitTestBot/usvm#359 · 2026年8月22日创建
[TS PBT] Evaluate PBT and hybrid configurations on the benchmark 未关闭

难度 5/5 一周以上新手友好度 35/100

UnitTestBot/usvm#357 · 2026年8月22日创建
[TS PBT] Build a reproducible property benchmark and mutant corpus 未关闭

难度 5/5 一周以上新手友好度 30/100

UnitTestBot/usvm#356 · 2026年8月22日创建
[TS PBT] Evaluate runtime-derived PBT hints for symbolic search 未关闭

难度 5/5 一周以上新手友好度 35/100

UnitTestBot/usvm#355 · 2026年8月22日创建
[TS PBT] Assemble the end-to-end PBT and USVM pipeline 未关闭

难度 5/5 一周以上新手友好度 25/100

UnitTestBot/usvm#354 · 2026年8月22日创建
[TS PBT] Replay and shrink USVM counterexamples through PBT backends 未关闭

难度 4/5 3-5 天新手友好度 35/100

UnitTestBot/usvm#353 · 2026年8月22日创建
[TS PBT] Search for property violations with USVM 未关闭

难度 5/5 一周以上新手友好度 35/100

UnitTestBot/usvm#352 · 2026年8月22日创建
[TS PBT] Project property domains and preconditions into USVM 未关闭

难度 5/5 一周以上新手友好度 35/100

UnitTestBot/usvm#351 · 2026年8月22日创建
[Epic][TS PBT] Integrate pluggable PBT engines with symbolic execution 未关闭

难度 5/5 一周以上新手友好度 25/100

UnitTestBot/usvm#345 · 2026年8月22日创建
[TS] Extract parts of TsState into specific data structures 未关闭

难度 5/5 一周以上新手友好度 30/100

UnitTestBot/usvm#319 · 2025年8月5日创建
[TS] Bug with add operator 未关闭

UnitTestBot/usvm#310 · 1 个 reaction · 已指派 1 人 · 2025年7月11日创建
Add fork limit option 未关闭

UnitTestBot/usvm#301 · 已指派 1 人 · 2025年7月3日创建
[TS] Support `push` invocation in `InstanceCallExpr` resolution 未关闭

UnitTestBot/usvm#300 · 已指派 1 人 · 2025年7月3日创建
[TS] Support cast expression 未关闭

UnitTestBot/usvm#299 · 已指派 1 人 · 2025年7月3日创建
[ts] Handle field ref that refer to the method 未关闭

难度 3/5 1-2 天新手友好度 45/100

UnitTestBot/usvm#298 · 2025年7月2日创建
Use SMT formula satisfiability check caches 未关闭

enhancement

难度 5/5 一周以上新手友好度 25/100

UnitTestBot/usvm#297 · 1 个 reaction · 2025年6月25日创建
[TS] Support new field declaration for instances 未关闭

难度 4/5 3-5 天新手友好度 35/100

UnitTestBot/usvm#288 · 2025年6月6日创建
Add support for multidimensional arrays in ETS 未关闭

UnitTestBot/usvm#287 · 已指派 1 人 · 2025年6月6日创建
Incorrect objects transformation inside of TsBinaryOperator 未关闭

UnitTestBot/usvm#281 · 已指派 1 人 · 2025年5月22日创建
Incorrect mkNumericExpr implementation 未关闭

UnitTestBot/usvm#280 · 已指派 1 人 · 2025年5月22日创建
```checkType``` in ```TSMethodTestRunner``` is not implemented 未关闭

UnitTestBot/usvm#203 · 已指派 1 人 · 2024年8月6日创建
`resolveObject` fails with `IndexOutOfBoundsException` 未关闭

bug

UnitTestBot/usvm#164 · 1 条评论 · 已指派 1 人 · 2023年11月29日创建
Incorrect types in execution lead to compilation errors 未关闭

bug

UnitTestBot/usvm#163 · 已指派 1 人 · 2023年11月29日创建
JcStateResolver crashed with Unexpected ref 未关闭

bug

UnitTestBot/usvm#162 · 已指派 1 人 · 2023年11月28日创建
Multiple `lateinit property has not been initialized` exception during analysis 未关闭

bug

UnitTestBot/usvm#161 · 已指派 1 人 · 2023年11月28日创建
Instrumentation timed out on one of `spoon` classes and was killed 未关闭

bug

UnitTestBot/usvm#156 · 2 条评论 · 已指派 1 人 · 2023年11月25日创建
One of generated test classes crashes gradle verification task 未关闭

question

UnitTestBot/usvm#153 · 已指派 1 人 · 2023年11月25日创建
Not decoded SymbolicList is present in UTest 未关闭

bug

UnitTestBot/usvm#152 · 已指派 1 人 · 2023年11月25日创建
Multiple timeouts during guava `Shorts` analysis 未关闭

question

UnitTestBot/usvm#151 · 已指派 1 人 · 2023年11月25日创建
Machine failed in `JcApplicationGraph.getTyped` 未关闭

bug

UnitTestBot/usvm#150 · 2 条评论 · 已指派 1 人 · 2023年11月25日创建
Class is not found, possibly because it has not been decoded 未关闭

bug

UnitTestBot/usvm#149 · 已指派 1 人 · 2023年11月25日创建
Invalid `UTestCyclicReferenceDescriptor` 未关闭

question

UnitTestBot/usvm#148 · 1 条评论 · 已指派 1 人 · 2023年11月24日创建
ArrayStoreException in test executor 未关闭

UnitTestBot/usvm#147 · 1 条评论 · 已指派 1 人 · 2023年11月24日创建
Multiple `UTestExecutionInitFailedResult` without cause as a result of class analysis 未关闭

bug

UnitTestBot/usvm#145 · 3 条评论 · 已指派 1 人 · 2023年11月24日创建
Compilation errors in generated times, possible reasoned by incorrect types resolving in machine 未关闭

bug

UnitTestBot/usvm#144 · 已指派 1 人 · 2023年11月23日创建
Duplicate class definition for name: "org/slf4j/impl/StaticLoggerBinder" 未关闭

bug

UnitTestBot/usvm#135 · 1 条评论 · 已指派 1 人 · 2023年11月22日创建
Instrumentation fails with thread death exception on `SparseImmutableTable` class 未关闭

bug

UnitTestBot/usvm#131 · 已指派 1 人 · 2023年11月22日创建
JcMachine failed with Trying cast not primitive type <> to primitive type <> 未关闭

bug

UnitTestBot/usvm#122 · 已指派 1 人 · 2023年11月20日创建
Multiple unexpected exception in instrumentation on a class from guava-26.0 未关闭

bug

UnitTestBot/usvm#121 · 1 条评论 · 已指派 1 人 · 2023年11月20日创建
JcMachine failed with IllegalStateException: Unexpected type 未关闭

bug

UnitTestBot/usvm#120 · 1 条评论 · 已指派 1 人 · 2023年11月20日创建
UTestExpressionExecutor failed before methodUnderTest call on guava Throwables 未关闭

bug

UnitTestBot/usvm#119 · 1 条评论 · 已指派 1 人 · 2023年11月20日创建
JcMachine failed with IllegalStateException: Invalid model containing wrong type 未关闭

bug

UnitTestBot/usvm#118 · 已指派 1 人 · 2023年11月20日创建

UnitTestBot/usvm

把新 issue 发到你的邮箱