Verifier crashes on a call to a varargs method with two or more arguments
維護者通常 1 天內回覆
還沒有人認領這個 Issue。
評估
研究方向
Start by running the minimal reproducer in main and trace how the verifier checks the count("a", "b") invocation against the varargs method. The issue does not name a source file or test, so locate the invocation-checking code and its existing tests. Done means the reproducer prints Correct! Passed Verification. instead of crashing.
由索引模型根據 Issue 內容生成。
描述
Impact: verification stops with an internal error. Found while building a test fixture; no example blocked yet.
Description
Calling a user-defined varargs method with two or more arguments crashes (Index 1 out of bounds for length 1): the arguments are matched one-to-one with the single array parameter.
Minimal reproducer
public class Repro {
static int count(String... names) {
return names.length;
}
public static void main(String[] args) {
int n = count("a", "b");
System.out.println(n);
}
}
Expected
Correct! Passed Verification.
Actual
Exception in thread "main" java.lang.RuntimeException:
Error while checking CtMethodImpl
on main(String[] args) {
with
Error while checking CtBlockImpl
on {
with
Error while checking CtLocalVariableImpl
on n = count("a", "b");
with
Error while checking CtInvocationImpl
on count("a", "b");
with Index 1 out of bounds for length 1
Caused by: java.lang.RuntimeException:
Reproduced on main at 0472025e (liquidjava-verifier 0.0.35); also on fbfb4e23 and 0.0.33 in the original form.
Context
Found while turning bugs mined from real open-source Java (fixed upstream or still present) into study examples for the error-message study.
- 主要語言
- Java
- 星號
- 67
- 分支
- 36
- 平均合併
- 2 天 3 小時
- 30 天內合併 PR
- 29
環境準備
- 沒有 Dockerfile 或 Docker Compose 檔案
- 有 Pull Request 範本
- 閱讀貢獻指南
從這裡開始
- 先讀完整個 Issue，再讀專案的貢獻指南。
- 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
- Fork 儲存庫，在一個分支上完成修改。
- 送出 Pull Request，並在描述裡引用這個 Issue 編號。
liquid-java/liquidjava 的其他 Issue
-
bug
難度 2/5 1-3 小時 新手友好度 72/100
liquid-java/liquidjava#388 ·
維護者通常 1 天內回覆
-
enhancement
難度 2/5 1-3 小時 新手友好度 65/100
liquid-java/liquidjava#373 ·
維護者通常 1 天內回覆
-
bug
難度 2/5 1-3 小時 新手友好度 78/100
liquid-java/liquidjava#321 ·
維護者通常 1 天內回覆
-
bug
難度 3/5 1-2 天 新手友好度 62/100
liquid-java/liquidjava#390 ·
維護者通常 1 天內回覆
-
Verifier crashes on `!` (or another unary operator) applied to a call whose type cannot be resolved未關閉bug
難度 3/5 1-2 天 新手友好度 65/100
liquid-java/liquidjava#389 ·
維護者通常 1 天內回覆
查看 liquid-java/liquidjava 的全部 Issue
相似的 Issue
-
難度 1/5 1 小時以內 新手友好度 82/100
mit-cml/appinventor-sources#4155 ·
維護者通常 1 天內回覆
-
難度 1/5 1-3 小時 新手友好度 62/100
Hira-shi/PW1-DAI-Carrel-Egal-Eyer#28 ·
維護者通常 1 天內回覆
-
`GET /v1/event/token/{uuid}` can report a BOM upload as done before policy evaluation and metrics have finished可能已有人在做 @Zargath 今天認領。 未關閉defect in triage
難度 2/5 1-3 小時 新手友好度 72/100
DependencyTrack/dependency-track#7646 ·
維護者通常 1 天內回覆
-
難度 2/5 1-3 小時 新手友好度 62/100
維護者通常 1 天內回覆
-
難度 2/5 1-3 小時 新手友好度 85/100
objectionary/eo-graphs#80 ·