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 摘要。