github / github/codeql

Java: `ArrayInit.getInit` has indices < 0 for annotations

未關閉
#8,645 3 則留言 0 個 reaction 已指派 0 人 在 GitHub 檢視
question
主要語言
CodeQL
星號
10.1k
分支
2.1k
平均合併
2 天 15 小時
30 天內合併 PR
141

描述

### Version
CodeQL CLI version: 2.8.4

### Description of the issue

For array inits as part of annotations CodeQL's `ArrayInit.getInit` erroneously has `index` values < 0 as result.

### Example query
```ql
import java

from ArrayInit init, int index, Expr e
where
init.getInit(index) = e
and index < 0
select init, index, e
```
[Query Console link](https://lgtm.com/query/6322278065984969890/)

貢獻指南

開啟貢獻指南

評估

這個 Issue 還沒有評估資料。

把新 issue 寄到你的電子郵件信箱

精選適合新手參與的 GitHub issue 摘要。