github / github/codeql

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

Aberta
#8,645 3 comentários 0 reações 0 responsáveis Ver no GitHub
question
Linguagem predominante
CodeQL
Estrelas
10.1k
Forks
2.1k
Merge médio
2d 15h
PRs com merge (30d)
141

Descrição

### 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/)

Guia de contribuição

Abrir o guia de contribuição

Avaliação

Esta issue ainda não foi avaliada.

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.