github / github/codeql

Java: Comparing Location leads to incorrect results

Offen
#3,644 2 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
Java question
Vorherrschende Sprache
CodeQL
Sterne
10.1k
Forks
2.1k
Ø Merge
2 T. 15 Std.
Gemergte PRs (30 T.)
141

Beschreibung

**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.

Beitragsleitfaden

Beitragsleitfaden öffnen

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.