github / github/codeql

Java: Comparing Location leads to incorrect results

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

Descrição

**Description of the issue**
It appears when comparing `Location` of two different elements non-existent or incorrect results are found.
Try the query below on the default projects on https://lgtm.com/query:
```
import java

from ArrayTypeAccess arrayTypeAccess, Location location, RValue other, Location otherLocation
where
arrayTypeAccess.getFile() = other.getFile()
and location = arrayTypeAccess.getLocation()
and otherLocation = other.getLocation()
and location.getStartLine() = otherLocation.getStartLine()
and location.getEndLine() = otherLocation.getEndLine()
and location.getStartColumn() = otherLocation.getStartColumn()
and location.getEndColumn() = otherLocation.getEndColumn()
select arrayTypeAccess, other
```

It finds ArrayTypeAccess' where there are none and also finds RValues of variables which do not exist at that position.

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.