github / github/codeql

Java: Comparing Location leads to incorrect results

オープン
#3,644 コメント 2 件 リアクション 0 件 担当者 0 名 GitHub で見る
Java question
主要言語
CodeQL
スター
10.1k
フォーク
2.1k
平均マージ
2日 15時間
マージ済み PR(30日)
141

説明

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

コントリビューションガイド

コントリビューションガイドを開く

評価

この issue はまだ評価されていません。

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。