hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-02 04:05:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: More consistency queries

Browse Source
This commit is contained in:
Ian Lynagh
2021-07-29 15:58:07 +01:00
parent b2acb7d7a1
commit 06d9d305c2
1 changed files with 15 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
java/ql/consistency-queries/locations.ql
View File

@@ -1,4 +1,5 @@
import java
import semmle.code.configfiles.ConfigFiles
// Locations should either be :0:0:0:0 locations (UnknownLocation, or
// a whole file), or all 4 fields should be positive.
@@ -15,7 +16,20 @@ Location backwardsLocation() {
result.getStartColumn() > result.getEndColumn()
}
Location unusedLocation() {
not exists(Top t | t.getLocation() = result) and
not exists(XMLLocatable x | x.getLocation() = result) and
not exists(ConfigLocatable c | c.getLocation() = result) and
not (result.getFile().getExtension() = "xml" and
result.getStartLine() = 0 and
result.getStartColumn() = 0 and
result.getEndLine() = 0 and
result.getEndColumn() = 0)
}
from Location l
where l = badLocation() or l = backwardsLocation()
where l = badLocation()
or l = backwardsLocation()
or l = unusedLocation()
select l