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

Rust: create locations for Format and FormatArgument

Browse Source
This commit is contained in:
Arthur Baars
2024-10-24 10:36:58 +02:00
parent 017d492348
commit bad9262f12
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
rust/ql/lib/codeql/rust/elements/internal/LocationImpl.qll
View File

@@ -1,10 +1,17 @@
private import codeql.files.FileSystem
private import codeql.rust.elements.Locatable
private import codeql.rust.elements.Format
private import codeql.rust.elements.FormatArgument
module LocationImpl {
newtype TLocation =
TLocationDefault(@location_default location) or
TLocationSynth(File file, int beginLine, int beginColumn, int endLine, int endColumn) {
not locations_default(_, file, beginLine, beginColumn, endLine, endColumn) and none()
not locations_default(_, file, beginLine, beginColumn, endLine, endColumn) and
exists(string filePath | file.getAbsolutePath() = filePath |
any(Format f).hasLocationInfo(filePath, beginLine, beginColumn, endLine, endColumn) or
any(FormatArgument f).hasLocationInfo(filePath, beginLine, beginColumn, endLine, endColumn)
)
}
/**