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

Rust: Proposed improved solution.

Browse Source
This commit is contained in:
Geoffrey White
2026-04-09 11:18:25 +01:00
parent 95681bfad4
commit e72c116664
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
rust/ql/lib/codeql/files/FileSystem.qll
View File

@@ -46,7 +46,7 @@ extensible predicate additionalExternalFile(string relativePath);
/** A file. */
class File extends Container, Impl::File {
pragma[nomagic]
private string getRelativePath0() { result = this.getRelativePath() }
private predicate isAdditionalExternalFile() { additionalExternalFile(this.getRelativePath()) }
/**
* Holds if this file was extracted from the source code of the target project
@@ -54,7 +54,7 @@ class File extends Container, Impl::File {
*/
predicate fromSource() {
exists(ExtractorStep s | s.getAction() = "Extract" and s.getFile() = this) and
not additionalExternalFile(this.getRelativePath0())
not this.isAdditionalExternalFile()
}
/**