hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Swift: Manual changes after running code generator

Browse Source
This commit is contained in:
Tom Hvitved
2024-09-13 14:32:28 +02:00
parent c785cd9d7b
commit d2f633b3b4
164 changed files with 2362 additions and 1974 deletions
Download Patch File Download Diff File Expand all files Collapse all files

144
swift/ql/lib/codeql/swift/elements/AstNodeImpl.qll
View File

@@ -5,80 +5,82 @@ private import codeql.swift.elements.expr.ClosureExpr
private import codeql.swift.elements.Callable
private import codeql.swift.generated.ParentChild
private module Cached {
private Element getEnclosingDeclStep(Element e) {
not e instanceof Decl and
result = getImmediateParent(e)
module Impl {
private module Cached {
private Element getEnclosingDeclStep(Element e) {
not e instanceof Decl and
result = getImmediateParent(e)
}
cached
Decl getEnclosingDecl(AstNode ast) { result = getEnclosingDeclStep*(getImmediateParent(ast)) }
private Element getEnclosingFunctionStep(Element e) {
not e instanceof Function and
result = getEnclosingDecl(e)
}
cached
Function getEnclosingFunction(AstNode ast) {
result = getEnclosingFunctionStep*(getEnclosingDecl(ast))
}
private Element getEnclosingClosureStep(Element e) {
not e instanceof Callable and
result = getImmediateParent(e)
}
cached
ClosureExpr getEnclosingClosure(AstNode ast) {
result = getEnclosingClosureStep*(getImmediateParent(ast))
}
}
cached
Decl getEnclosingDecl(AstNode ast) { result = getEnclosingDeclStep*(getImmediateParent(ast)) }
/**
* A node in the abstract syntax tree.
*/
class AstNode extends Generated::AstNode {
/**
* Gets the nearest function definition that contains this AST node, if any.
* This includes functions, methods, (de)initializers, and accessors, but not closures.
*
* For example, in the following code, the AST node for `n + 1` has `foo` as its
* enclosing function (via `getEnclosingFunction`), whereas its enclosing callable is
* the closure `{(n : Int) in n + 1 }` (via `getEnclosingCallable`):
*
* ```swift
* func foo() {
* var f = { (n : Int) in n + 1 }
* }
* ```
*/
final Function getEnclosingFunction() { result = Cached::getEnclosingFunction(this) }
private Element getEnclosingFunctionStep(Element e) {
not e instanceof Function and
result = getEnclosingDecl(e)
}
/**
* Gets the nearest declaration that contains this AST node, if any.
*
* Note that the nearest declaration may be an extension of a type declaration. If you always
* want the type declaration and not the extension, use `getEnclosingDecl().asNominalTypeDecl()`.
*/
final Decl getEnclosingDecl() { result = Cached::getEnclosingDecl(this) }
cached
Function getEnclosingFunction(AstNode ast) {
result = getEnclosingFunctionStep*(getEnclosingDecl(ast))
}
private Element getEnclosingClosureStep(Element e) {
not e instanceof Callable and
result = getImmediateParent(e)
}
cached
ClosureExpr getEnclosingClosure(AstNode ast) {
result = getEnclosingClosureStep*(getImmediateParent(ast))
}
}
/**
* A node in the abstract syntax tree.
*/
class AstNode extends Generated::AstNode {
/**
* Gets the nearest function definition that contains this AST node, if any.
* This includes functions, methods, (de)initializers, and accessors, but not closures.
*
* For example, in the following code, the AST node for `n + 1` has `foo` as its
* enclosing function (via `getEnclosingFunction`), whereas its enclosing callable is
* the closure `{(n : Int) in n + 1 }` (via `getEnclosingCallable`):
*
* ```swift
* func foo() {
* var f = { (n : Int) in n + 1 }
* }
* ```
*/
final Function getEnclosingFunction() { result = Cached::getEnclosingFunction(this) }
/**
* Gets the nearest declaration that contains this AST node, if any.
*
* Note that the nearest declaration may be an extension of a type declaration. If you always
* want the type declaration and not the extension, use `getEnclosingDecl().asNominalTypeDecl()`.
*/
final Decl getEnclosingDecl() { result = Cached::getEnclosingDecl(this) }
/**
* Gets the nearest `Callable` that contains this AST node, if any.
* This includes (auto)closures, functions, methods, (de)initializers, and accessors.
*
* For example, in the following code, the AST node for `n + 1` has the closure
* `{(n : Int) in n + 1 }` as its enclosing callable.
*
* ```swift
* func foo() {
* var f = { (n : Int) in n + 1 }
* }
* ```
*/
final Callable getEnclosingCallable() {
if exists(Cached::getEnclosingClosure(this))
then result = Cached::getEnclosingClosure(this)
else result = Cached::getEnclosingFunction(this)
/**
* Gets the nearest `Callable` that contains this AST node, if any.
* This includes (auto)closures, functions, methods, (de)initializers, and accessors.
*
* For example, in the following code, the AST node for `n + 1` has the closure
* `{(n : Int) in n + 1 }` as its enclosing callable.
*
* ```swift
* func foo() {
* var f = { (n : Int) in n + 1 }
* }
* ```
*/
final Callable getEnclosingCallable() {
if exists(Cached::getEnclosingClosure(this))
then result = Cached::getEnclosingClosure(this)
else result = Cached::getEnclosingFunction(this)
}
}
}

44
swift/ql/lib/codeql/swift/elements/AvailabilityInfoImpl.qll
View File

@@ -1,25 +1,27 @@
private import codeql.swift.generated.AvailabilityInfo
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* An availability condition of an `if`, `while`, or `guard` statements.
*
* Examples:
* ```
* if #available(iOS 12, *) {
* // Runs on iOS 12 and above
* } else {
* // Runs only anything below iOS 12
* }
* if #unavailable(macOS 10.14, *) {
* // Runs only on macOS 10 and below
* }
* ```
*/
class AvailabilityInfo extends Generated::AvailabilityInfo {
override string toString() {
result = "#available" and not this.isUnavailable()
or
result = "#unavailable" and this.isUnavailable()
module Impl {
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* An availability condition of an `if`, `while`, or `guard` statements.
*
* Examples:
* ```
* if #available(iOS 12, *) {
* // Runs on iOS 12 and above
* } else {
* // Runs only anything below iOS 12
* }
* if #unavailable(macOS 10.14, *) {
* // Runs only on macOS 10 and below
* }
* ```
*/
class AvailabilityInfo extends Generated::AvailabilityInfo {
override string toString() {
result = "#available" and not this.isUnavailable()
or
result = "#unavailable" and this.isUnavailable()
}
}
}

26
swift/ql/lib/codeql/swift/elements/CallableImpl.qll
View File

@@ -2,18 +2,20 @@ private import codeql.swift.generated.Callable
private import codeql.swift.elements.AstNode
private import codeql.swift.elements.decl.Decl
class Callable extends Generated::Callable {
/**
* Holds if this Callable is a function named `funcName`.
*/
predicate hasName(string funcName) { this.getName() = funcName }
module Impl {
class Callable extends Generated::Callable {
/**
* Holds if this Callable is a function named `funcName`.
*/
predicate hasName(string funcName) { this.getName() = funcName }
/**
* Holds if this Callable is a function named `funcName` defined in a module
* called `moduleName`.
*/
predicate hasName(string moduleName, string funcName) {
this.hasName(funcName) and
this.(Decl).getModule().getFullName() = moduleName
/**
* Holds if this Callable is a function named `funcName` defined in a module
* called `moduleName`.
*/
predicate hasName(string moduleName, string funcName) {
this.hasName(funcName) and
this.(Decl).getModule().getFullName() = moduleName
}
}
}

35
swift/ql/lib/codeql/swift/elements/CommentImpl.qll
View File

@@ -1,35 +1,8 @@
private import codeql.swift.generated.Comment
class Comment extends Generated::Comment {
/** toString */
override string toString() { result = this.getText() }
}
class SingleLineComment extends Comment {
SingleLineComment() {
this.getText().matches("//%") and
not this instanceof SingleLineDocComment
module Impl {
class Comment extends Generated::Comment {
/** toString */
override string toString() { result = this.getText() }
}
}
class MultiLineComment extends Comment {
MultiLineComment() {
this.getText().matches("/*%") and
not this instanceof MultiLineDocComment
}
}
class DocComment extends Comment {
DocComment() {
this instanceof SingleLineDocComment or
this instanceof MultiLineDocComment
}
}
class SingleLineDocComment extends Comment {
SingleLineDocComment() { this.getText().matches("///%") }
}
class MultiLineDocComment extends Comment {
MultiLineDocComment() { this.getText().matches("/**%") }
}

27
swift/ql/lib/codeql/swift/elements/Comments.qll Normal file
View File

@@ -0,0 +1,27 @@
import Comment
final class SingleLineComment extends Comment {
SingleLineComment() {
this.getText().matches("//%") and
not this instanceof SingleLineDocComment
}
}
final class MultiLineComment extends Comment {
MultiLineComment() {
this.getText().matches("/*%") and
not this instanceof MultiLineDocComment
}
}
abstract private class DocCommentImpl extends Comment { }
final class DocComment = DocCommentImpl;
final class SingleLineDocComment extends DocCommentImpl {
SingleLineDocComment() { this.getText().matches("///%") }
}
final class MultiLineDocComment extends DocCommentImpl {
MultiLineDocComment() { this.getText().matches("/**%") }
}

29
swift/ql/lib/codeql/swift/elements/CompilerDiagnostics.qll Normal file
View File

@@ -0,0 +1,29 @@
import Diagnostics
/**
* A compiler error message.
*/
final class CompilerError extends Diagnostics {
CompilerError() { this.getSeverity() = "error" }
}
/**
* A compiler-generated warning.
*/
final class CompilerWarning extends Diagnostics {
CompilerWarning() { this.getSeverity() = "warning" }
}
/**
* A compiler-generated note (typically attached to an error or warning).
*/
final class CompilerNote extends Diagnostics {
CompilerNote() { this.getSeverity() = "note" }
}
/**
* A compiler-generated remark (milder than a warning, this does not indicate an issue).
*/
final class CompilerRemark extends Diagnostics {
CompilerRemark() { this.getSeverity() = "remark" }
}

60
swift/ql/lib/codeql/swift/elements/DiagnosticsImpl.qll
View File

@@ -1,49 +1,23 @@
private import codeql.swift.generated.Diagnostics
/**
* A compiler-generated error, warning, note or remark.
*/
class Diagnostics extends Generated::Diagnostics {
override string toString() { result = this.getSeverity() + ": " + this.getText() }
module Impl {
/**
* Gets a string representing the severity of this compiler diagnostic.
* A compiler-generated error, warning, note or remark.
*/
string getSeverity() {
this.getKind() = 1 and result = "error"
or
this.getKind() = 2 and result = "warning"
or
this.getKind() = 3 and result = "note"
or
this.getKind() = 4 and result = "remark"
class Diagnostics extends Generated::Diagnostics {
override string toString() { result = this.getSeverity() + ": " + this.getText() }
/**
* Gets a string representing the severity of this compiler diagnostic.
*/
string getSeverity() {
this.getKind() = 1 and result = "error"
or
this.getKind() = 2 and result = "warning"
or
this.getKind() = 3 and result = "note"
or
this.getKind() = 4 and result = "remark"
}
}
}
/**
* A compiler error message.
*/
class CompilerError extends Diagnostics {
CompilerError() { this.getSeverity() = "error" }
}
/**
* A compiler-generated warning.
*/
class CompilerWarning extends Diagnostics {
CompilerWarning() { this.getSeverity() = "warning" }
}
/**
* A compiler-generated note (typically attached to an error or warning).
*/
class CompilerNote extends Diagnostics {
CompilerNote() { this.getSeverity() = "note" }
}
/**
* A compiler-generated remark (milder than a warning, this does not indicate an issue).
*/
class CompilerRemark extends Diagnostics {
CompilerRemark() { this.getSeverity() = "remark" }
}

30
swift/ql/lib/codeql/swift/elements/ElementImpl.qll
View File

@@ -1,20 +1,22 @@
private import codeql.swift.generated.Element
class Element extends Generated::Element {
private predicate resolvesFrom(Element e) { e.getResolveStep() = this }
module Impl {
class Element extends Generated::Element {
private predicate resolvesFrom(Element e) { e.getResolveStep() = this }
override string toString() { result = this.getPrimaryQlClasses() }
override string toString() { result = this.getPrimaryQlClasses() }
Element getFullyUnresolved() {
not this.resolvesFrom(_) and result = this
or
exists(Element e |
this.resolvesFrom(e) and
result = e.getFullyUnresolved()
)
Element getFullyUnresolved() {
not this.resolvesFrom(_) and result = this
or
exists(Element e |
this.resolvesFrom(e) and
result = e.getFullyUnresolved()
)
}
}
class UnknownElement extends Element {
UnknownElement() { this.isUnknown() }
}
}
class UnknownElement extends Element {
UnknownElement() { this.isUnknown() }
}

186
swift/ql/lib/codeql/swift/elements/FileImpl.qll
View File

@@ -2,106 +2,110 @@ private import codeql.swift.generated.File
private import codeql.swift.elements.Location
private import codeql.swift.elements.UnknownLocation
class File extends Generated::File {
/** toString */
override string toString() { result = this.getAbsolutePath() }
module Impl {
class File extends Generated::File {
/** toString */
override string toString() { result = this.getAbsolutePath() }
/** Gets the absolute path of this file. */
string getAbsolutePath() { result = this.getName() }
/** Gets the absolute path of this file. */
string getAbsolutePath() { result = this.getName() }
/** Gets the full name of this file. */
string getFullName() { result = this.getAbsolutePath() }
/** Gets the full name of this file. */
string getFullName() { result = this.getAbsolutePath() }
/** Gets the URL of this file. */
string getURL() { result = "file://" + this.getAbsolutePath() + ":0:0:0:0" }
/** Gets the URL of this file. */
string getURL() { result = "file://" + this.getAbsolutePath() + ":0:0:0:0" }
/**
* Holds if either,
* - `part` is the base name of this container and `i = 1`, or
* - `part` is the stem of this container and `i = 2`, or
* - `part` is the extension of this container and `i = 3`.
*/
cached
private predicate splitAbsolutePath(string part, int i) {
part = this.getAbsolutePath().regexpCapture(".*/(([^/]*?)(?:\\.([^.]*))?)", i)
}
/**
* Holds if either,
* - `part` is the base name of this container and `i = 1`, or
* - `part` is the stem of this container and `i = 2`, or
* - `part` is the extension of this container and `i = 3`.
*/
cached
private predicate splitAbsolutePath(string part, int i) {
part = this.getAbsolutePath().regexpCapture(".*/(([^/]*?)(?:\\.([^.]*))?)", i)
}
/** Gets the base name of this file. */
string getBaseName() { this.splitAbsolutePath(result, 1) }
/** Gets the base name of this file. */
string getBaseName() { this.splitAbsolutePath(result, 1) }
/**
* Gets the extension of this container, that is, the suffix of its base name
* after the last dot character, if any.
*
* In particular,
*
* - if the name does not include a dot, there is no extension, so this
* predicate has no result;
* - if the name ends in a dot, the extension is the empty string;
* - if the name contains multiple dots, the extension follows the last dot.
*
* Here are some examples of absolute paths and the corresponding extensions
* (surrounded with quotes to avoid ambiguity):
*
* <table border="1">
* <tr><th>Absolute path</th><th>Extension</th></tr>
* <tr><td>"/tmp/tst.txt"</td><td>"txt"</td></tr>
* <tr><td>"/tmp/.classpath"</td><td>"classpath"</td></tr>
* <tr><td>"/bin/bash"</td><td>not defined</td></tr>
* <tr><td>"/tmp/tst2."</td><td>""</td></tr>
* <tr><td>"/tmp/x.tar.gz"</td><td>"gz"</td></tr>
* </table>
*/
string getExtension() { this.splitAbsolutePath(result, 3) }
/**
* Gets the extension of this container, that is, the suffix of its base name
* after the last dot character, if any.
*
* In particular,
*
* - if the name does not include a dot, there is no extension, so this
* predicate has no result;
* - if the name ends in a dot, the extension is the empty string;
* - if the name contains multiple dots, the extension follows the last dot.
*
* Here are some examples of absolute paths and the corresponding extensions
* (surrounded with quotes to avoid ambiguity):
*
* <table border="1">
* <tr><th>Absolute path</th><th>Extension</th></tr>
* <tr><td>"/tmp/tst.txt"</td><td>"txt"</td></tr>
* <tr><td>"/tmp/.classpath"</td><td>"classpath"</td></tr>
* <tr><td>"/bin/bash"</td><td>not defined</td></tr>
* <tr><td>"/tmp/tst2."</td><td>""</td></tr>
* <tr><td>"/tmp/x.tar.gz"</td><td>"gz"</td></tr>
* </table>
*/
string getExtension() { this.splitAbsolutePath(result, 3) }
/**
* Gets the stem of this container, that is, the prefix of its base name up to
* (but not including) the last dot character if there is one, or the entire
* base name if there is not.
*
* Here are some examples of absolute paths and the corresponding stems
* (surrounded with quotes to avoid ambiguity):
*
* <table border="1">
* <tr><th>Absolute path</th><th>Stem</th></tr>
* <tr><td>"/tmp/tst.txt"</td><td>"tst"</td></tr>
* <tr><td>"/tmp/.classpath"</td><td>""</td></tr>
* <tr><td>"/bin/bash"</td><td>"bash"</td></tr>
* <tr><td>"/tmp/tst2."</td><td>"tst2"</td></tr>
* <tr><td>"/tmp/x.tar.gz"</td><td>"x.tar"</td></tr>
* </table>
*/
string getStem() { this.splitAbsolutePath(result, 2) }
/**
* Gets the stem of this container, that is, the prefix of its base name up to
* (but not including) the last dot character if there is one, or the entire
* base name if there is not.
*
* Here are some examples of absolute paths and the corresponding stems
* (surrounded with quotes to avoid ambiguity):
*
* <table border="1">
* <tr><th>Absolute path</th><th>Stem</th></tr>
* <tr><td>"/tmp/tst.txt"</td><td>"tst"</td></tr>
* <tr><td>"/tmp/.classpath"</td><td>""</td></tr>
* <tr><td>"/bin/bash"</td><td>"bash"</td></tr>
* <tr><td>"/tmp/tst2."</td><td>"tst2"</td></tr>
* <tr><td>"/tmp/x.tar.gz"</td><td>"x.tar"</td></tr>
* </table>
*/
string getStem() { this.splitAbsolutePath(result, 2) }
/**
* Gets the number of lines containing code in this file. This value
* is approximate.
*/
int getNumberOfLinesOfCode() {
result =
count(int line |
exists(Location loc |
not loc instanceof UnknownLocation and loc.getFile() = this and loc.getStartLine() = line
/**
* Gets the number of lines containing code in this file. This value
* is approximate.
*/
int getNumberOfLinesOfCode() {
result =
count(int line |
exists(Location loc |
not loc instanceof UnknownLocation and
loc.getFile() = this and
loc.getStartLine() = line
)
)
)
}
}
/**
* Gets the relative path of this file from the root folder of the
* analyzed source location. The relative path of the root folder itself
* would be the empty string.
*
* This has no result if the file is outside the source root, that is,
* if the root folder is not a reflexive, transitive parent of this file.
*/
string getRelativePath() {
exists(string absPath, string pref |
absPath = this.getAbsolutePath() and sourceLocationPrefix(pref)
|
absPath = pref and result = ""
or
absPath = pref.regexpReplaceAll("/$", "") + "/" + result and
not result.matches("/%")
)
/**
* Gets the relative path of this file from the root folder of the
* analyzed source location. The relative path of the root folder itself
* would be the empty string.
*
* This has no result if the file is outside the source root, that is,
* if the root folder is not a reflexive, transitive parent of this file.
*/
string getRelativePath() {
exists(string absPath, string pref |
absPath = this.getAbsolutePath() and sourceLocationPrefix(pref)
|
absPath = pref and result = ""
or
absPath = pref.regexpReplaceAll("/$", "") + "/" + result and
not result.matches("/%")
)
}
}
}

94
swift/ql/lib/codeql/swift/elements/KeyPathComponentImpl.qll
View File

@@ -1,62 +1,64 @@
private import codeql.swift.generated.KeyPathComponent
private import swift
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* A component of a `KeyPathExpr`.
*/
class KeyPathComponent extends Generated::KeyPathComponent {
module Impl {
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* Property access like `.bar` in `\Foo.bar`.
* A component of a `KeyPathExpr`.
*/
predicate isProperty() { this.getKind() = 3 }
class KeyPathComponent extends Generated::KeyPathComponent {
/**
* Property access like `.bar` in `\Foo.bar`.
*/
predicate isProperty() { this.getKind() = 3 }
/**
* Array or dictionary subscript like `[1]` or `["a", "b"]`.
*/
predicate isSubscript() { this.getKind() = 4 }
/**
* Array or dictionary subscript like `[1]` or `["a", "b"]`.
*/
predicate isSubscript() { this.getKind() = 4 }
/**
* Optional forcing `!`.
*/
predicate isOptionalForcing() { this.getKind() = 5 }
/**
* Optional forcing `!`.
*/
predicate isOptionalForcing() { this.getKind() = 5 }
/**
* Optional chaining `?`.
*/
predicate isOptionalChaining() { this.getKind() = 6 }
/**
* Optional chaining `?`.
*/
predicate isOptionalChaining() { this.getKind() = 6 }
/**
* Implicit optional wrapping component inserted by the compiler when an optional chain ends in a non-optional value.
*/
predicate isOptionalWrapping() { this.getKind() = 7 }
/**
* Implicit optional wrapping component inserted by the compiler when an optional chain ends in a non-optional value.
*/
predicate isOptionalWrapping() { this.getKind() = 7 }
/**
* Reference to the entire object; the `self` in `\Foo.self`.
*/
predicate isSelf() { this.getKind() = 8 }
/**
* Reference to the entire object; the `self` in `\Foo.self`.
*/
predicate isSelf() { this.getKind() = 8 }
/**
* Tuple indexing like `.1`.
*/
predicate isTupleIndexing() { this.getKind() = 9 }
/**
* Tuple indexing like `.1`.
*/
predicate isTupleIndexing() { this.getKind() = 9 }
/** Gets the underlying key-path expression which this is a component of. */
KeyPathExpr getKeyPathExpr() { result.getAComponent() = this }
/** Gets the underlying key-path expression which this is a component of. */
KeyPathExpr getKeyPathExpr() { result.getAComponent() = this }
/** Holds if this component is the i'th component of the underling key-path expression. */
predicate hasIndex(int i) { any(KeyPathExpr e).getComponent(i) = this }
/** Holds if this component is the i'th component of the underling key-path expression. */
predicate hasIndex(int i) { any(KeyPathExpr e).getComponent(i) = this }
/** Gets the next component of the underlying key-path expression. */
KeyPathComponent getNextComponent() {
exists(int i, KeyPathExpr e |
hasKeyPathExprAndIndex(e, i, this) and
hasKeyPathExprAndIndex(e, i + 1, result)
)
/** Gets the next component of the underlying key-path expression. */
KeyPathComponent getNextComponent() {
exists(int i, KeyPathExpr e |
hasKeyPathExprAndIndex(e, i, this) and
hasKeyPathExprAndIndex(e, i + 1, result)
)
}
}
pragma[nomagic]
private predicate hasKeyPathExprAndIndex(KeyPathExpr e, int i, KeyPathComponent c) {
e.getComponent(i) = c
}
}
pragma[nomagic]
private predicate hasKeyPathExprAndIndex(KeyPathExpr e, int i, KeyPathComponent c) {
e.getComponent(i) = c
}

26
swift/ql/lib/codeql/swift/elements/LocatableImpl.qll
View File

@@ -2,17 +2,19 @@ private import codeql.swift.generated.Locatable
private import codeql.swift.elements.File
private import codeql.swift.elements.UnknownLocation
class Locatable extends Generated::Locatable {
pragma[nomagic]
override Location getLocation() {
result = Generated::Locatable.super.getLocation()
or
not exists(Generated::Locatable.super.getLocation()) and
result instanceof UnknownLocation
}
module Impl {
class Locatable extends Generated::Locatable {
pragma[nomagic]
override Location getLocation() {
result = Generated::Locatable.super.getLocation()
or
not exists(Generated::Locatable.super.getLocation()) and
result instanceof UnknownLocation
}
/**
* Gets the primary file where this element occurs.
*/
File getFile() { result = this.getLocation().getFile() }
/**
* Gets the primary file where this element occurs.
*/
File getFile() { result = this.getLocation().getFile() }
}
}

46
swift/ql/lib/codeql/swift/elements/LocationImpl.qll
View File

@@ -1,28 +1,32 @@
private import codeql.swift.generated.Location
/**
* A location of a program element.
*/
class Location extends Generated::Location {
module Impl {
/**
* Holds if this location is described by `path`, `startLine`, `startColumn`, `endLine` and `endColumn`.
* A location of a program element.
*/
predicate hasLocationInfo(string path, int startLine, int startColumn, int endLine, int endColumn) {
path = this.getFile().getFullName() and
startLine = this.getStartLine() and
startColumn = this.getStartColumn() and
endLine = this.getEndLine() and
endColumn = this.getEndColumn()
}
class Location extends Generated::Location {
/**
* Holds if this location is described by `path`, `startLine`, `startColumn`, `endLine` and `endColumn`.
*/
predicate hasLocationInfo(
string path, int startLine, int startColumn, int endLine, int endColumn
) {
path = this.getFile().getFullName() and
startLine = this.getStartLine() and
startColumn = this.getStartColumn() and
endLine = this.getEndLine() and
endColumn = this.getEndColumn()
}
/**
* Gets a textual representation of this location.
*/
override string toString() {
exists(string filePath, int startLine, int startColumn, int endLine, int endColumn |
this.hasLocationInfo(filePath, startLine, startColumn, endLine, endColumn)
|
toUrl(filePath, startLine, startColumn, endLine, endColumn, result)
)
/**
* Gets a textual representation of this location.
*/
override string toString() {
exists(string filePath, int startLine, int startColumn, int endLine, int endColumn |
this.hasLocationInfo(filePath, startLine, startColumn, endLine, endColumn)
|
toUrl(filePath, startLine, startColumn, endLine, endColumn, result)
)
}
}
}

184
swift/ql/lib/codeql/swift/elements/MacroRoleImpl.qll
View File

@@ -4,97 +4,101 @@
private import codeql.swift.generated.MacroRole
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* The role of a macro, for example #freestanding(declaration) or @attached(member).
*/
class MacroRole extends Generated::MacroRole {
module Impl {
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* String representation of the role kind.
* The role of a macro, for example #freestanding(declaration) or @attached(member).
*/
string getKindName() {
this.isExpressionKind() and result = "expression"
or
this.isDeclarationKind() and result = "declaration"
or
this.isAccessorKind() and result = "accessor"
or
this.isMemberAttributeKind() and result = "memberAttribute"
or
this.isMemberKind() and result = "member"
or
this.isPeerKind() and result = "peer"
or
this.isConformanceKind() and result = "conformance"
or
this.isCodeItemKind() and result = "codeItem"
or
this.isExtensionKind() and result = "extension"
class MacroRole extends Generated::MacroRole {
/**
* String representation of the role kind.
*/
string getKindName() {
this.isExpressionKind() and result = "expression"
or
this.isDeclarationKind() and result = "declaration"
or
this.isAccessorKind() and result = "accessor"
or
this.isMemberAttributeKind() and result = "memberAttribute"
or
this.isMemberKind() and result = "member"
or
this.isPeerKind() and result = "peer"
or
this.isConformanceKind() and result = "conformance"
or
this.isCodeItemKind() and result = "codeItem"
or
this.isExtensionKind() and result = "extension"
}
/**
* Holds for `expression` roles.
*/
predicate isExpressionKind() { this.getKind() = 1 }
/**
* Holds for `declaration` roles.
*/
predicate isDeclarationKind() { this.getKind() = 2 }
/**
* Holds for `accessor` roles.
*/
predicate isAccessorKind() { this.getKind() = 4 }
/**
* Holds for `memberAttribute` roles.
*/
predicate isMemberAttributeKind() { this.getKind() = 8 }
/**
* Holds for `member` roles.
*/
predicate isMemberKind() { this.getKind() = 16 }
/**
* Holds for `peer` roles.
*/
predicate isPeerKind() { this.getKind() = 32 }
/**
* Holds for `conformance` roles.
*/
predicate isConformanceKind() { this.getKind() = 64 }
/**
* Holds for `codeItem` roles.
*/
predicate isCodeItemKind() { this.getKind() = 128 }
/**
* Holds for `extension` roles.
*/
predicate isExtensionKind() { this.getKind() = 256 }
/**
* String representation of the macro syntax.
*/
string getMacroSyntaxName() {
this.isFreestandingMacroSyntax() and result = "#freestanding"
or
this.isAttachedMacroSyntax() and result = "@attached"
}
/**
* Holds for #freestanding macros.
*/
predicate isFreestandingMacroSyntax() { this.getMacroSyntax() = 0 }
/**
* Holds for @attached macros.
*/
predicate isAttachedMacroSyntax() { this.getMacroSyntax() = 1 }
override string toString() {
result = this.getMacroSyntaxName() + "(" + this.getKindName() + ")"
}
}
/**
* Holds for `expression` roles.
*/
predicate isExpressionKind() { this.getKind() = 1 }
/**
* Holds for `declaration` roles.
*/
predicate isDeclarationKind() { this.getKind() = 2 }
/**
* Holds for `accessor` roles.
*/
predicate isAccessorKind() { this.getKind() = 4 }
/**
* Holds for `memberAttribute` roles.
*/
predicate isMemberAttributeKind() { this.getKind() = 8 }
/**
* Holds for `member` roles.
*/
predicate isMemberKind() { this.getKind() = 16 }
/**
* Holds for `peer` roles.
*/
predicate isPeerKind() { this.getKind() = 32 }
/**
* Holds for `conformance` roles.
*/
predicate isConformanceKind() { this.getKind() = 64 }
/**
* Holds for `codeItem` roles.
*/
predicate isCodeItemKind() { this.getKind() = 128 }
/**
* Holds for `extension` roles.
*/
predicate isExtensionKind() { this.getKind() = 256 }
/**
* String representation of the macro syntax.
*/
string getMacroSyntaxName() {
this.isFreestandingMacroSyntax() and result = "#freestanding"
or
this.isAttachedMacroSyntax() and result = "@attached"
}
/**
* Holds for #freestanding macros.
*/
predicate isFreestandingMacroSyntax() { this.getMacroSyntax() = 0 }
/**
* Holds for @attached macros.
*/
predicate isAttachedMacroSyntax() { this.getMacroSyntax() = 1 }
override string toString() { result = this.getMacroSyntaxName() + "(" + this.getKindName() + ")" }
}

14
swift/ql/lib/codeql/swift/elements/OtherAvailabilitySpecImpl.qll
View File

@@ -1,9 +1,11 @@
private import codeql.swift.generated.OtherAvailabilitySpec
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* A wildcard availability spec `*`
*/
class OtherAvailabilitySpec extends Generated::OtherAvailabilitySpec {
override string toString() { result = "*" }
module Impl {
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* A wildcard availability spec `*`
*/
class OtherAvailabilitySpec extends Generated::OtherAvailabilitySpec {
override string toString() { result = "*" }
}
}

14
swift/ql/lib/codeql/swift/elements/PlatformVersionAvailabilitySpecImpl.qll
View File

@@ -1,9 +1,11 @@
private import codeql.swift.generated.PlatformVersionAvailabilitySpec
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* An availability spec based on platform and version, for example `macOS 12` or `watchOS 14`
*/
class PlatformVersionAvailabilitySpec extends Generated::PlatformVersionAvailabilitySpec {
override string toString() { result = this.getPlatform() + " " + this.getVersion() }
module Impl {
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* An availability spec based on platform and version, for example `macOS 12` or `watchOS 14`
*/
class PlatformVersionAvailabilitySpec extends Generated::PlatformVersionAvailabilitySpec {
override string toString() { result = this.getPlatform() + " " + this.getVersion() }
}
}

6
swift/ql/lib/codeql/swift/elements/UnknownFileImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.UnknownFile
class UnknownFile extends Generated::UnknownFile {
override string getName() { result = "" }
module Impl {
class UnknownFile extends Generated::UnknownFile {
override string getName() { result = "" }
}
}

22
swift/ql/lib/codeql/swift/elements/UnknownLocationImpl.qll
View File

@@ -2,19 +2,21 @@ private import codeql.swift.generated.UnknownLocation
private import codeql.swift.elements.UnknownFile
private import codeql.swift.elements.File
/**
* A `Location` that is given to something that is not associated with any position in the source code.
*/
class UnknownLocation extends Generated::UnknownLocation {
override File getFile() { result instanceof UnknownFile }
module Impl {
/**
* A `Location` that is given to something that is not associated with any position in the source code.
*/
class UnknownLocation extends Generated::UnknownLocation {
override File getFile() { result instanceof UnknownFile }
override int getStartLine() { result = 0 }
override int getStartLine() { result = 0 }
override int getStartColumn() { result = 0 }
override int getStartColumn() { result = 0 }
override int getEndLine() { result = 0 }
override int getEndLine() { result = 0 }
override int getEndColumn() { result = 0 }
override int getEndColumn() { result = 0 }
override string toString() { result = "UnknownLocation" }
override string toString() { result = "UnknownLocation" }
}
}

36
swift/ql/lib/codeql/swift/elements/UnspecifiedElementImpl.qll
View File

@@ -2,22 +2,24 @@ private import codeql.swift.generated.UnspecifiedElement
import codeql.swift.elements.Location
import codeql.swift.elements.Locatable
class UnspecifiedElement extends Generated::UnspecifiedElement {
override string toString() {
exists(string source, string index |
(
source = " from " + this.getParent().getPrimaryQlClasses()
or
not this.hasParent() and source = ""
) and
(
index = "[" + this.getIndex() + "]"
or
not this.hasIndex() and index = ""
) and
result = "missing " + this.getProperty() + index + source
)
}
module Impl {
class UnspecifiedElement extends Generated::UnspecifiedElement {
override string toString() {
exists(string source, string index |
(
source = " from " + this.getParent().getPrimaryQlClasses()
or
not this.hasParent() and source = ""
) and
(
index = "[" + this.getIndex() + "]"
or
not this.hasIndex() and index = ""
) and
result = "missing " + this.getProperty() + index + source
)
}
override Location getLocation() { result = this.getParent().(Locatable).getLocation() }
override Location getLocation() { result = this.getParent().(Locatable).getLocation() }
}
}

65
swift/ql/lib/codeql/swift/elements/decl/AccessorImpl.qll
View File

@@ -1,40 +1,35 @@
private import codeql.swift.generated.decl.Accessor
private import SetObserver
private predicate isKnownAccessorKind(Accessor decl, string kind) {
decl.isGetter() and kind = "get"
or
decl.isSetter() and kind = "set"
or
decl.isWillSet() and kind = "willSet"
or
decl.isDidSet() and kind = "didSet"
or
decl.isRead() and kind = "_read"
or
decl.isModify() and kind = "_modify"
or
decl.isUnsafeAddress() and kind = "unsafeAddress"
or
decl.isUnsafeMutableAddress() and kind = "unsafeMutableAddress"
}
class Accessor extends Generated::Accessor {
predicate isPropertyObserver() {
this instanceof WillSetObserver or this instanceof DidSetObserver
}
override string toString() {
isKnownAccessorKind(this, result)
module Impl {
private predicate isKnownAccessorKind(Accessor decl, string kind) {
decl.isGetter() and kind = "get"
or
not isKnownAccessorKind(this, _) and
result = super.toString()
decl.isSetter() and kind = "set"
or
decl.isWillSet() and kind = "willSet"
or
decl.isDidSet() and kind = "didSet"
or
decl.isRead() and kind = "_read"
or
decl.isModify() and kind = "_modify"
or
decl.isUnsafeAddress() and kind = "unsafeAddress"
or
decl.isUnsafeMutableAddress() and kind = "unsafeMutableAddress"
}
class Accessor extends Generated::Accessor {
predicate isPropertyObserver() {
this instanceof WillSetObserver or this instanceof DidSetObserver
}
override string toString() {
isKnownAccessorKind(this, result)
or
not isKnownAccessorKind(this, _) and
result = super.toString()
}
}
}
class WillSetObserver extends Accessor {
WillSetObserver() { this.isWillSet() }
}
class DidSetObserver extends Accessor {
DidSetObserver() { this.isDidSet() }
}

30
swift/ql/lib/codeql/swift/elements/decl/CapturedDeclImpl.qll
View File

@@ -2,22 +2,24 @@ private import codeql.swift.generated.decl.CapturedDecl
private import codeql.swift.elements.Callable
private import codeql.swift.elements.expr.DeclRefExpr
/**
* A captured variable or function parameter in the scope of a closure.
*/
class CapturedDecl extends Generated::CapturedDecl {
override string toString() { result = this.getDecl().toString() }
module Impl {
/**
* Gets the closure or function that captures this variable.
* A captured variable or function parameter in the scope of a closure.
*/
Callable getScope() { result.getACapture() = this }
class CapturedDecl extends Generated::CapturedDecl {
override string toString() { result = this.getDecl().toString() }
/**
* Get an access to this capture within the scope of its closure.
*/
DeclRefExpr getAnAccess() {
result.getEnclosingCallable() = this.getScope() and
result.getDecl() = this.getDecl()
/**
* Gets the closure or function that captures this variable.
*/
Callable getScope() { result.getACapture() = this }
/**
* Get an access to this capture within the scope of its closure.
*/
DeclRefExpr getAnAccess() {
result.getEnclosingCallable() = this.getScope() and
result.getDecl() = this.getDecl()
}
}
}

32
swift/ql/lib/codeql/swift/elements/decl/DeclImpl.qll
View File

@@ -2,21 +2,23 @@ private import codeql.swift.generated.decl.Decl
private import codeql.swift.elements.decl.NominalTypeDecl
private import codeql.swift.elements.decl.ExtensionDecl
class Decl extends Generated::Decl {
override string toString() { result = super.toString() }
module Impl {
class Decl extends Generated::Decl {
override string toString() { result = super.toString() }
/**
* Gets the `NominalTypeDecl` corresponding to this `Decl`, if any. This
* resolves an `ExtensionDecl` to the `NominalTypeDecl` that it extends.
*/
NominalTypeDecl asNominalTypeDecl() {
result = this
or
result = this.(ExtensionDecl).getExtendedTypeDecl()
/**
* Gets the `NominalTypeDecl` corresponding to this `Decl`, if any. This
* resolves an `ExtensionDecl` to the `NominalTypeDecl` that it extends.
*/
NominalTypeDecl asNominalTypeDecl() {
result = this
or
result = this.(ExtensionDecl).getExtendedTypeDecl()
}
/**
* Gets the declaration that declares this declaration as a member, if any.
*/
Decl getDeclaringDecl() { this = result.getAMember() }
}
/**
* Gets the declaration that declares this declaration as a member, if any.
*/
Decl getDeclaringDecl() { this = result.getAMember() }
}

12
swift/ql/lib/codeql/swift/elements/decl/DeinitializerImpl.qll
View File

@@ -1,9 +1,11 @@
private import codeql.swift.generated.decl.Deinitializer
private import codeql.swift.elements.decl.Method
/**
* A deinitializer of a class.
*/
class Deinitializer extends Generated::Deinitializer, Method {
override string toString() { result = this.getSelfParam().getType() + "." + super.toString() }
module Impl {
/**
* A deinitializer of a class.
*/
class Deinitializer extends Generated::Deinitializer {
override string toString() { result = this.getSelfParam().getType() + "." + super.toString() }
}
}

6
swift/ql/lib/codeql/swift/elements/decl/EnumCaseDeclImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.decl.EnumCaseDecl
class EnumCaseDecl extends Generated::EnumCaseDecl {
override string toString() { result = "case ..." }
module Impl {
class EnumCaseDecl extends Generated::EnumCaseDecl {
override string toString() { result = "case ..." }
}
}

54
swift/ql/lib/codeql/swift/elements/decl/EnumDeclImpl.qll
View File

@@ -3,34 +3,36 @@ private import codeql.swift.elements.decl.EnumCaseDecl
private import codeql.swift.elements.decl.EnumElementDecl
private import codeql.swift.elements.decl.Decl
/**
* An enumeration declaration, for example:
* ```
* enum MyColours {
* case red
* case green
* case blue
* }
* ```
*/
class EnumDecl extends Generated::EnumDecl {
module Impl {
/**
* Gets the `index`th enumeration element of this enumeration (0-based).
* An enumeration declaration, for example:
* ```
* enum MyColours {
* case red
* case green
* case blue
* }
* ```
*/
final EnumElementDecl getEnumElement(int index) {
result =
rank[index + 1](int memberIndex, Decl d |
d = this.getMember(memberIndex) and
d instanceof EnumElementDecl
|
d order by memberIndex
)
}
class EnumDecl extends Generated::EnumDecl {
/**
* Gets the `index`th enumeration element of this enumeration (0-based).
*/
final EnumElementDecl getEnumElement(int index) {
result =
rank[index + 1](int memberIndex, Decl d |
d = this.getMember(memberIndex) and
d instanceof EnumElementDecl
|
d order by memberIndex
)
}
/**
* Gets an enumeration element of this enumeration.
*/
final EnumElementDecl getAnEnumElement() {
result = this.getMember(_).(EnumCaseDecl).getElement(_)
/**
* Gets an enumeration element of this enumeration.
*/
final EnumElementDecl getAnEnumElement() {
result = this.getMember(_).(EnumCaseDecl).getElement(_)
}
}
}

60
swift/ql/lib/codeql/swift/elements/decl/EnumElementDeclImpl.qll
View File

@@ -1,37 +1,39 @@
private import codeql.swift.generated.decl.EnumElementDecl
private import codeql.swift.elements.decl.EnumDecl
/**
* An enum element declaration, for example `enumElement` and `anotherEnumElement` in:
* ```
* enum MyEnum {
* case enumElement
* case anotherEnumElement(Int)
* }
* ```
*/
class EnumElementDecl extends Generated::EnumElementDecl {
override string toString() { result = this.getName() }
module Impl {
/**
* Holds if this enum element declaration is called `enumElementName` and is a member of an
* enum called `enumName`.
* An enum element declaration, for example `enumElement` and `anotherEnumElement` in:
* ```
* enum MyEnum {
* case enumElement
* case anotherEnumElement(Int)
* }
* ```
*/
cached
predicate hasQualifiedName(string enumName, string enumElementName) {
this.getName() = enumElementName and
exists(EnumDecl d |
d.getFullName() = enumName and
d.getAMember() = this
)
}
class EnumElementDecl extends Generated::EnumElementDecl {
override string toString() { result = this.getName() }
/**
* Holds if this enum element declaration is called `enumElementName` and is a member of an
* enumcalled `enumName` in a module called `moduleName`.
*/
predicate hasQualifiedName(string moduleName, string enumName, string enumElementName) {
this.hasQualifiedName(enumName, enumElementName) and
this.getModule().getFullName() = moduleName
/**
* Holds if this enum element declaration is called `enumElementName` and is a member of an
* enum called `enumName`.
*/
cached
predicate hasQualifiedName(string enumName, string enumElementName) {
this.getName() = enumElementName and
exists(EnumDecl d |
d.getFullName() = enumName and
d.getAMember() = this
)
}
/**
* Holds if this enum element declaration is called `enumElementName` and is a member of an
* enumcalled `enumName` in a module called `moduleName`.
*/
predicate hasQualifiedName(string moduleName, string enumName, string enumElementName) {
this.hasQualifiedName(enumName, enumElementName) and
this.getModule().getFullName() = moduleName
}
}
}

16
swift/ql/lib/codeql/swift/elements/decl/ExtensionDeclImpl.qll
View File

@@ -1,11 +1,13 @@
private import codeql.swift.generated.decl.ExtensionDecl
class ExtensionDecl extends Generated::ExtensionDecl {
override string toString() {
result =
"extension of " + unique(NominalTypeDecl td | td = this.getExtendedTypeDecl()).toString()
or
count(this.getExtendedTypeDecl()) != 1 and
result = "extension"
module Impl {
class ExtensionDecl extends Generated::ExtensionDecl {
override string toString() {
result =
"extension of " + unique(NominalTypeDecl td | td = this.getExtendedTypeDecl()).toString()
or
count(this.getExtendedTypeDecl()) != 1 and
result = "extension"
}
}
}

32
swift/ql/lib/codeql/swift/elements/decl/FieldDecl.qll Normal file
View File

@@ -0,0 +1,32 @@
private import VarDecl
/**
* A field declaration. That is, a variable declaration that is a member of a
* class, struct, enum or protocol.
*/
final class FieldDecl extends VarDecl {
FieldDecl() { this = any(Decl ctx).getAMember() }
/**
* Holds if this field is called `fieldName` and is a member of a
* class, struct, extension, enum or protocol called `typeName`.
*/
cached
predicate hasQualifiedName(string typeName, string fieldName) {
this.getName() = fieldName and
exists(Decl d |
d.asNominalTypeDecl().getFullName() = typeName and
d.getAMember() = this
)
}
/**
* Holds if this field is called `fieldName` and is a member of a
* class, struct, extension, enum or protocol called `typeName` in a module
* called `moduleName`.
*/
predicate hasQualifiedName(string moduleName, string typeName, string fieldName) {
this.hasQualifiedName(typeName, fieldName) and
this.getModule().getFullName() = moduleName
}
}

9
swift/ql/lib/codeql/swift/elements/decl/FreeFunction.qll Normal file
View File

@@ -0,0 +1,9 @@
private import Function
private import Method
/**
* A free (non-member) function.
*/
final class FreeFunction extends Function {
FreeFunction() { not this instanceof Method }
}

38
swift/ql/lib/codeql/swift/elements/decl/FunctionImpl.qll
View File

@@ -1,26 +1,28 @@
private import codeql.swift.generated.decl.Function
private import codeql.swift.elements.decl.Method
/**
* A function.
*/
class Function extends Generated::Function, Callable {
override string toString() { result = this.getName() }
module Impl {
/**
* A function.
*/
class Function extends Generated::Function {
override string toString() { result = this.getName() }
/**
* Gets the name of this function, without the argument list. For example
* a function with name `myFunction(arg:)` has short name `myFunction`.
*/
string getShortName() {
// match as many characters as possible that are not `(`.
// (`*+` is possessive matching)
result = this.getName().regexpCapture("([^(]*+).*", 1)
}
}
/**
* Gets the name of this function, without the argument list. For example
* a function with name `myFunction(arg:)` has short name `myFunction`.
* A free (non-member) function.
*/
string getShortName() {
// match as many characters as possible that are not `(`.
// (`*+` is possessive matching)
result = this.getName().regexpCapture("([^(]*+).*", 1)
class FreeFunction extends Function {
FreeFunction() { not this instanceof Method }
}
}
/**
* A free (non-member) function.
*/
class FreeFunction extends Function {
FreeFunction() { not this instanceof Method }
}

6
swift/ql/lib/codeql/swift/elements/decl/IfConfigDeclImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.decl.IfConfigDecl
class IfConfigDecl extends Generated::IfConfigDecl {
override string toString() { result = "#if ..." }
module Impl {
class IfConfigDecl extends Generated::IfConfigDecl {
override string toString() { result = "#if ..." }
}
}

6
swift/ql/lib/codeql/swift/elements/decl/ImportDeclImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.decl.ImportDecl
class ImportDecl extends Generated::ImportDecl {
override string toString() { result = "import ..." }
module Impl {
class ImportDecl extends Generated::ImportDecl {
override string toString() { result = "import ..." }
}
}

21
swift/ql/lib/codeql/swift/elements/decl/InitializerImpl.qll
View File

@@ -1,17 +1,20 @@
private import codeql.swift.generated.decl.Initializer
private import codeql.swift.elements.decl.Method
private import codeql.swift.elements.decl.MethodImpl::Impl as MethodImpl
private import codeql.swift.elements.type.FunctionType
private import codeql.swift.elements.type.OptionalType
/**
* An initializer of a class, struct, enum or protocol.
*/
class Initializer extends Generated::Initializer, Method {
override string toString() { result = this.getSelfParam().getType() + "." + super.toString() }
module Impl {
/**
* An initializer of a class, struct, enum or protocol.
*/
class Initializer extends Generated::Initializer, MethodImpl::Method {
override string toString() { result = this.getSelfParam().getType() + "." + super.toString() }
/** Holds if this initializer returns an optional type. Failable initializers are written as `init?`. */
predicate isFailable() {
this.getInterfaceType().(FunctionType).getResult().(FunctionType).getResult() instanceof
OptionalType
/** Holds if this initializer returns an optional type. Failable initializers are written as `init?`. */
predicate isFailable() {
this.getInterfaceType().(FunctionType).getResult().(FunctionType).getResult() instanceof
OptionalType
}
}
}

61
swift/ql/lib/codeql/swift/elements/decl/Method.qll
View File

@@ -1,60 +1,3 @@
private import swift
private import MethodImpl
private Decl getAMember(Decl ctx) {
ctx.getAMember() = result
or
exists(VarDecl var |
ctx.getAMember() = var and
var.getAnAccessor() = result
)
}
/**
* A function that is a member of a class, struct, enum or protocol.
*/
final class Method extends Function {
Method() {
this = getAMember(any(ClassDecl c))
or
this = getAMember(any(StructDecl c))
or
this = getAMember(any(ExtensionDecl c))
or
this = getAMember(any(EnumDecl c))
or
this = getAMember(any(ProtocolDecl c))
}
/**
* Holds if this function is called `funcName` and is a member of a
* class, struct, extension, enum or protocol called `typeName`.
*/
cached
predicate hasQualifiedName(string typeName, string funcName) {
this.getName() = funcName and
exists(Decl d |
d.asNominalTypeDecl().getFullName() = typeName and
d.getAMember() = this
)
}
/**
* Holds if this function is called `funcName` and is a member of a
* class, struct, extension, enum or protocol called `typeName` in a module
* called `moduleName`.
*/
predicate hasQualifiedName(string moduleName, string typeName, string funcName) {
this.hasQualifiedName(typeName, funcName) and
this.getModule().getFullName() = moduleName
}
/**
* Holds if this function is a `static` or `class` method, as opposed to an instance method.
*/
predicate isStaticOrClassMethod() { this.getSelfParam().getType() instanceof MetatypeType }
/**
* Holds if this function is an instance method, as opposed to a `static` or `class` method.
*/
predicate isInstanceMethod() { not this.isStaticOrClassMethod() }
}
final class Method = Impl::Method;

63
swift/ql/lib/codeql/swift/elements/decl/MethodImpl.qll Normal file
View File

@@ -0,0 +1,63 @@
private import swift
private import codeql.swift.elements.decl.FunctionImpl::Impl as FunctionImpl
module Impl {
private Decl getAMember(Decl ctx) {
ctx.getAMember() = result
or
exists(VarDecl var |
ctx.getAMember() = var and
var.getAnAccessor() = result
)
}
/**
* A function that is a member of a class, struct, enum or protocol.
*/
class Method extends FunctionImpl::Function {
Method() {
this = getAMember(any(ClassDecl c))
or
this = getAMember(any(StructDecl c))
or
this = getAMember(any(ExtensionDecl c))
or
this = getAMember(any(EnumDecl c))
or
this = getAMember(any(ProtocolDecl c))
}
/**
* Holds if this function is called `funcName` and is a member of a
* class, struct, extension, enum or protocol called `typeName`.
*/
cached
predicate hasQualifiedName(string typeName, string funcName) {
this.getName() = funcName and
exists(Decl d |
d.asNominalTypeDecl().getFullName() = typeName and
d.getAMember() = this
)
}
/**
* Holds if this function is called `funcName` and is a member of a
* class, struct, extension, enum or protocol called `typeName` in a module
* called `moduleName`.
*/
predicate hasQualifiedName(string moduleName, string typeName, string funcName) {
this.hasQualifiedName(typeName, funcName) and
this.getModule().getFullName() = moduleName
}
/**
* Holds if this function is a `static` or `class` method, as opposed to an instance method.
*/
predicate isStaticOrClassMethod() { this.getSelfParam().getType() instanceof MetatypeType }
/**
* Holds if this function is an instance method, as opposed to a `static` or `class` method.
*/
predicate isInstanceMethod() { not this.isStaticOrClassMethod() }
}
}

14
swift/ql/lib/codeql/swift/elements/decl/MissingMemberDeclImpl.qll
View File

@@ -1,9 +1,11 @@
private import codeql.swift.generated.decl.MissingMemberDecl
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* A placeholder for missing declarations that can arise on object deserialization.
*/
class MissingMemberDecl extends Generated::MissingMemberDecl {
override string toString() { result = this.getName() + " (missing)" }
module Impl {
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* A placeholder for missing declarations that can arise on object deserialization.
*/
class MissingMemberDecl extends Generated::MissingMemberDecl {
override string toString() { result = this.getName() + " (missing)" }
}
}

10
swift/ql/lib/codeql/swift/elements/decl/NominalTypeDeclImpl.qll
View File

@@ -1,6 +1,8 @@
private import codeql.swift.generated.decl.NominalTypeDecl
/**
* A class, struct, enum or protocol.
*/
class NominalTypeDecl extends Generated::NominalTypeDecl { }
module Impl {
/**
* A class, struct, enum or protocol.
*/
class NominalTypeDecl extends Generated::NominalTypeDecl { }
}

6
swift/ql/lib/codeql/swift/elements/decl/OperatorDeclImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.decl.OperatorDecl
class OperatorDecl extends Generated::OperatorDecl {
override string toString() { result = this.getName() }
module Impl {
class OperatorDecl extends Generated::OperatorDecl {
override string toString() { result = this.getName() }
}
}

40
swift/ql/lib/codeql/swift/elements/decl/ParamDeclImpl.qll
View File

@@ -1,24 +1,26 @@
private import codeql.swift.generated.decl.ParamDecl
private import codeql.swift.elements.Callable
class ParamDecl extends Generated::ParamDecl {
/** Gets the function which declares this parameter. */
Callable getDeclaringFunction() { result.getAParam() = this }
module Impl {
class ParamDecl extends Generated::ParamDecl {
/** Gets the function which declares this parameter. */
Callable getDeclaringFunction() { result.getAParam() = this }
/**
* Gets the index of this parameter in its declaring function's parameter list,
* or -1 if this is `self`.
*/
int getIndex() { exists(Callable func | func.getParam(result) = this) }
}
/** A `self` parameter. */
class SelfParamDecl extends ParamDecl {
Callable call;
SelfParamDecl() { call.getSelfParam() = this }
override Callable getDeclaringFunction() { result = call }
override int getIndex() { result = -1 }
/**
* Gets the index of this parameter in its declaring function's parameter list,
* or -1 if this is `self`.
*/
int getIndex() { exists(Callable func | func.getParam(result) = this) }
}
/** A `self` parameter. */
class SelfParamDecl extends ParamDecl {
Callable call;
SelfParamDecl() { call.getSelfParam() = this }
override Callable getDeclaringFunction() { result = call }
override int getIndex() { result = -1 }
}
}

6
swift/ql/lib/codeql/swift/elements/decl/PatternBindingDeclImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.decl.PatternBindingDecl
class PatternBindingDecl extends Generated::PatternBindingDecl {
override string toString() { result = "var ... = ..." }
module Impl {
class PatternBindingDecl extends Generated::PatternBindingDecl {
override string toString() { result = "var ... = ..." }
}
}

28
swift/ql/lib/codeql/swift/elements/decl/PoundDiagnosticDeclImpl.qll
View File

@@ -1,17 +1,19 @@
private import codeql.swift.generated.decl.PoundDiagnosticDecl
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* A diagnostic directive, which is either `#error` or `#warning`.
*/
class PoundDiagnosticDecl extends Generated::PoundDiagnosticDecl {
override string toString() {
this.isError() and result = "#error(...)"
or
this.isWarning() and result = "#warning(...)"
module Impl {
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* A diagnostic directive, which is either `#error` or `#warning`.
*/
class PoundDiagnosticDecl extends Generated::PoundDiagnosticDecl {
override string toString() {
this.isError() and result = "#error(...)"
or
this.isWarning() and result = "#warning(...)"
}
predicate isError() { this.getKind() = 1 }
predicate isWarning() { this.getKind() = 2 }
}
predicate isError() { this.getKind() = 1 }
predicate isWarning() { this.getKind() = 2 }
}

6
swift/ql/lib/codeql/swift/elements/decl/PrecedenceGroupDeclImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.decl.PrecedenceGroupDecl
class PrecedenceGroupDecl extends Generated::PrecedenceGroupDecl {
override string toString() { result = "precedencegroup ..." }
module Impl {
class PrecedenceGroupDecl extends Generated::PrecedenceGroupDecl {
override string toString() { result = "precedencegroup ..." }
}
}

3
swift/ql/lib/codeql/swift/elements/decl/SelfParamDecl.qll Normal file
View File

@@ -0,0 +1,3 @@
private import ParamDeclImpl
final class SelfParamDecl = Impl::SelfParamDecl;

9
swift/ql/lib/codeql/swift/elements/decl/SetObserver.qll Normal file
View File

@@ -0,0 +1,9 @@
private import Accessor
final class WillSetObserver extends Accessor {
WillSetObserver() { this.isWillSet() }
}
class DidSetObserver extends Accessor {
DidSetObserver() { this.isDidSet() }
}

6
swift/ql/lib/codeql/swift/elements/decl/SubscriptDeclImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.decl.SubscriptDecl
class SubscriptDecl extends Generated::SubscriptDecl {
override string toString() { result = "subscript ..." }
module Impl {
class SubscriptDecl extends Generated::SubscriptDecl {
override string toString() { result = "subscript ..." }
}
}

6
swift/ql/lib/codeql/swift/elements/decl/TopLevelCodeDeclImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.decl.TopLevelCodeDecl
class TopLevelCodeDecl extends Generated::TopLevelCodeDecl {
override string toString() { result = this.getBody().toString() }
module Impl {
class TopLevelCodeDecl extends Generated::TopLevelCodeDecl {
override string toString() { result = this.getBody().toString() }
}
}

18
swift/ql/lib/codeql/swift/elements/decl/TypeAliasDeclImpl.qll
View File

@@ -1,10 +1,12 @@
private import codeql.swift.generated.decl.TypeAliasDecl
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* A declaration of a type alias to another type. For example:
* ```
* typealias MyInt = Int
* ```
*/
class TypeAliasDecl extends Generated::TypeAliasDecl { }
module Impl {
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* A declaration of a type alias to another type. For example:
* ```
* typealias MyInt = Int
* ```
*/
class TypeAliasDecl extends Generated::TypeAliasDecl { }
}

209
swift/ql/lib/codeql/swift/elements/decl/TypeDeclImpl.qll
View File

@@ -2,113 +2,118 @@ private import codeql.swift.generated.decl.TypeDecl
private import codeql.swift.elements.type.AnyGenericType
private import swift
/**
* A Swift type declaration, for example a class, struct, enum or protocol
* declaration.
*
* Type declarations are distinct from types. A type declaration represents
* the code that declares a type, for example:
* ```
* class MyClass {
* ...
* }
* ```
* Not all types have type declarations, for example built-in types do not
* have type declarations.
*/
class TypeDecl extends Generated::TypeDecl {
override string toString() { result = this.getName() }
module Impl {
/**
* Gets the `index`th base type of this type declaration (0-based).
* A Swift type declaration, for example a class, struct, enum or protocol
* declaration.
*
* This is the same as `getImmediateInheritedType`.
* DEPRECATED: either use `getImmediateInheritedType` or unindexed `getABaseType`.
*/
deprecated Type getImmediateBaseType(int index) { result = this.getImmediateInheritedType(index) }
/**
* Gets the `index`th base type of this type declaration (0-based).
* This is the same as `getInheritedType`.
* DEPRECATED: use `getInheritedType` or unindexed `getABaseType`.
*/
deprecated Type getBaseType(int index) { result = this.getInheritedType(index) }
/**
* Gets any of the base types of this type declaration. Expands protocols added in
* extensions and expands type aliases. For example in the following code, `B` has
* base type `A`:
* Type declarations are distinct from types. A type declaration represents
* the code that declares a type, for example:
* ```
* typealias A_alias = A
*
* class B : A_alias {}
* ```
*/
Type getABaseType() {
// direct base type
result = this.getAnInheritedType().getUnderlyingType()
or
// protocol added in an extension of the type
exists(ExtensionDecl ed |
ed.getExtendedTypeDecl() = this and
ed.getAProtocol().getType() = result
)
}
/**
* Gets the declaration of the `index`th base type of this type declaration (0-based).
* DEPRECATED: The index is not very meaningful here. Use `getABaseTypeDecl`.
*/
deprecated TypeDecl getBaseTypeDecl(int i) {
result = this.getBaseType(i).(AnyGenericType).getDeclaration()
}
/**
* Gets the declaration of any of the base types of this type declaration. Expands
* protocols added in extensions and expands type aliases. For example in the following
* code, `B` has base type `A`.
* ```
* typealias A_alias = A
*
* class B : A_alias {}
* ```
*/
TypeDecl getABaseTypeDecl() { result = this.getABaseType().(AnyGenericType).getDeclaration() }
/**
* Gets the declaration of any type derived from this type declaration. Expands protocols
* added in extensions and expands type aliases. For example in the following code, `B`
* is derived from `A`.
* ```
* typealias A_alias = A
*
* class B : A_alias {}
* ```
*/
TypeDecl getADerivedTypeDecl() { result.getABaseTypeDecl() = this }
/**
* Gets the full name of this `TypeDecl`. For example in:
* ```swift
* struct A {
* struct B {
* // ...
* }
* class MyClass {
* ...
* }
* ```
* The name and full name of `A` is `A`. The name of `B` is `B`, but the
* full name of `B` is `A.B`.
* Not all types have type declarations, for example built-in types do not
* have type declarations.
*/
cached
string getFullName() {
not this.getEnclosingDecl() instanceof TypeDecl and
not count(this.getEnclosingDecl().(ExtensionDecl).getExtendedTypeDecl()) = 1 and
result = this.getName()
or
result = this.getEnclosingDecl().(TypeDecl).getFullName() + "." + this.getName()
or
result =
unique(NominalTypeDecl td | td = this.getEnclosingDecl().(ExtensionDecl).getExtendedTypeDecl())
.getFullName() + "." + this.getName()
class TypeDecl extends Generated::TypeDecl {
override string toString() { result = this.getName() }
/**
* Gets the `index`th base type of this type declaration (0-based).
*
* This is the same as `getImmediateInheritedType`.
* DEPRECATED: either use `getImmediateInheritedType` or unindexed `getABaseType`.
*/
deprecated Type getImmediateBaseType(int index) {
result = this.getImmediateInheritedType(index)
}
/**
* Gets the `index`th base type of this type declaration (0-based).
* This is the same as `getInheritedType`.
* DEPRECATED: use `getInheritedType` or unindexed `getABaseType`.
*/
deprecated Type getBaseType(int index) { result = this.getInheritedType(index) }
/**
* Gets any of the base types of this type declaration. Expands protocols added in
* extensions and expands type aliases. For example in the following code, `B` has
* base type `A`:
* ```
* typealias A_alias = A
*
* class B : A_alias {}
* ```
*/
Type getABaseType() {
// direct base type
result = this.getAnInheritedType().getUnderlyingType()
or
// protocol added in an extension of the type
exists(ExtensionDecl ed |
ed.getExtendedTypeDecl() = this and
ed.getAProtocol().getType() = result
)
}
/**
* Gets the declaration of the `index`th base type of this type declaration (0-based).
* DEPRECATED: The index is not very meaningful here. Use `getABaseTypeDecl`.
*/
deprecated TypeDecl getBaseTypeDecl(int i) {
result = this.getBaseType(i).(AnyGenericType).getDeclaration()
}
/**
* Gets the declaration of any of the base types of this type declaration. Expands
* protocols added in extensions and expands type aliases. For example in the following
* code, `B` has base type `A`.
* ```
* typealias A_alias = A
*
* class B : A_alias {}
* ```
*/
TypeDecl getABaseTypeDecl() { result = this.getABaseType().(AnyGenericType).getDeclaration() }
/**
* Gets the declaration of any type derived from this type declaration. Expands protocols
* added in extensions and expands type aliases. For example in the following code, `B`
* is derived from `A`.
* ```
* typealias A_alias = A
*
* class B : A_alias {}
* ```
*/
TypeDecl getADerivedTypeDecl() { result.getABaseTypeDecl() = this }
/**
* Gets the full name of this `TypeDecl`. For example in:
* ```swift
* struct A {
* struct B {
* // ...
* }
* }
* ```
* The name and full name of `A` is `A`. The name of `B` is `B`, but the
* full name of `B` is `A.B`.
*/
cached
string getFullName() {
not this.getEnclosingDecl() instanceof TypeDecl and
not count(this.getEnclosingDecl().(ExtensionDecl).getExtendedTypeDecl()) = 1 and
result = this.getName()
or
result = this.getEnclosingDecl().(TypeDecl).getFullName() + "." + this.getName()
or
result =
unique(NominalTypeDecl td |
td = this.getEnclosingDecl().(ExtensionDecl).getExtendedTypeDecl()
).getFullName() + "." + this.getName()
}
}
}

30
swift/ql/lib/codeql/swift/elements/decl/ValueDeclImpl.qll
View File

@@ -2,22 +2,24 @@ private import codeql.swift.generated.decl.ValueDecl
private import codeql.swift.elements.decl.CapturedDecl
private import codeql.swift.elements.expr.DeclRefExpr
/**
* A declaration that introduces a value with a type.
*/
class ValueDecl extends Generated::ValueDecl {
module Impl {
/**
* Gets a capture of this declaration in the scope of a closure.
* A declaration that introduces a value with a type.
*/
CapturedDecl asCapturedDecl() { result.getDecl() = this }
class ValueDecl extends Generated::ValueDecl {
/**
* Gets a capture of this declaration in the scope of a closure.
*/
CapturedDecl asCapturedDecl() { result.getDecl() = this }
/**
* Holds if this declaration is captured by a closure.
*/
predicate isCaptured() { exists(this.asCapturedDecl()) }
/**
* Holds if this declaration is captured by a closure.
*/
predicate isCaptured() { exists(this.asCapturedDecl()) }
/**
* Gets an expression that references this declaration.
*/
DeclRefExpr getAnAccess() { result.getDecl() = this }
/**
* Gets an expression that references this declaration.
*/
DeclRefExpr getAnAccess() { result.getDecl() = this }
}
}

92
swift/ql/lib/codeql/swift/elements/decl/VarDeclImpl.qll
View File

@@ -1,56 +1,58 @@
private import codeql.swift.generated.decl.VarDecl
private import codeql.swift.elements.decl.Decl
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* A declaration of a variable such as
* * a local variable in a function:
* ```
* func foo() {
* var x = 42 // <-
* let y = "hello" // <-
* ...
* }
* ```
* * a member of a `struct` or `class`:
* ```
* struct S {
* var size : Int // <-
* }
* ```
* * ...
*/
class VarDecl extends Generated::VarDecl {
override string toString() { result = this.getName() }
}
/**
* A field declaration. That is, a variable declaration that is a member of a
* class, struct, enum or protocol.
*/
class FieldDecl extends VarDecl {
FieldDecl() { this = any(Decl ctx).getAMember() }
module Impl {
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* Holds if this field is called `fieldName` and is a member of a
* class, struct, extension, enum or protocol called `typeName`.
* A declaration of a variable such as
* * a local variable in a function:
* ```
* func foo() {
* var x = 42 // <-
* let y = "hello" // <-
* ...
* }
* ```
* * a member of a `struct` or `class`:
* ```
* struct S {
* var size : Int // <-
* }
* ```
* * ...
*/
cached
predicate hasQualifiedName(string typeName, string fieldName) {
this.getName() = fieldName and
exists(Decl d |
d.asNominalTypeDecl().getFullName() = typeName and
d.getAMember() = this
)
class VarDecl extends Generated::VarDecl {
override string toString() { result = this.getName() }
}
/**
* Holds if this field is called `fieldName` and is a member of a
* class, struct, extension, enum or protocol called `typeName` in a module
* called `moduleName`.
* A field declaration. That is, a variable declaration that is a member of a
* class, struct, enum or protocol.
*/
predicate hasQualifiedName(string moduleName, string typeName, string fieldName) {
this.hasQualifiedName(typeName, fieldName) and
this.getModule().getFullName() = moduleName
class FieldDecl extends VarDecl {
FieldDecl() { this = any(Decl ctx).getAMember() }
/**
* Holds if this field is called `fieldName` and is a member of a
* class, struct, extension, enum or protocol called `typeName`.
*/
cached
predicate hasQualifiedName(string typeName, string fieldName) {
this.getName() = fieldName and
exists(Decl d |
d.asNominalTypeDecl().getFullName() = typeName and
d.getAMember() = this
)
}
/**
* Holds if this field is called `fieldName` and is a member of a
* class, struct, extension, enum or protocol called `typeName` in a module
* called `moduleName`.
*/
predicate hasQualifiedName(string moduleName, string typeName, string fieldName) {
this.hasQualifiedName(typeName, fieldName) and
this.getModule().getFullName() = moduleName
}
}
}

92
swift/ql/lib/codeql/swift/elements/expr/ApplyExprImpl.qll
View File

@@ -6,54 +6,56 @@ private import codeql.swift.elements.expr.DotSyntaxBaseIgnoredExpr
private import codeql.swift.elements.expr.AutoClosureExpr
private import codeql.swift.elements.decl.Method
class ApplyExpr extends Generated::ApplyExpr {
Callable getStaticTarget() { result = this.getFunction().(DeclRefExpr).getDecl() }
module Impl {
class ApplyExpr extends Generated::ApplyExpr {
Callable getStaticTarget() { result = this.getFunction().(DeclRefExpr).getDecl() }
/** Gets the method qualifier, if this is applying a method */
Expr getQualifier() { none() }
/** Gets the method qualifier, if this is applying a method */
Expr getQualifier() { none() }
/**
* Gets the argument of this `ApplyExpr` called `label` (if any).
*/
final Argument getArgumentWithLabel(string label) {
result = this.getAnArgument() and
result.getLabel() = label
/**
* Gets the argument of this `ApplyExpr` called `label` (if any).
*/
final Argument getArgumentWithLabel(string label) {
result = this.getAnArgument() and
result.getLabel() = label
}
override string toString() {
result = "call to " + this.getStaticTarget().toString()
or
not exists(this.getStaticTarget()) and
result = "call to ..."
}
}
override string toString() {
result = "call to " + this.getStaticTarget().toString()
or
not exists(this.getStaticTarget()) and
result = "call to ..."
class MethodApplyExpr extends ApplyExpr {
private MethodLookupExpr method;
MethodApplyExpr() { method = this.getFunction() }
override Method getStaticTarget() { result = method.getMethod() }
override Expr getQualifier() { result = method.getBase() }
}
private class PartialDotSyntaxBaseIgnoredApplyExpr extends ApplyExpr {
private DotSyntaxBaseIgnoredExpr expr;
PartialDotSyntaxBaseIgnoredApplyExpr() { expr = this.getFunction() }
override AutoClosureExpr getStaticTarget() { result = expr.getSubExpr() }
override Expr getQualifier() { result = expr.getQualifier() }
override string toString() { result = "call to " + expr }
}
private class FullDotSyntaxBaseIgnoredApplyExpr extends ApplyExpr {
private PartialDotSyntaxBaseIgnoredApplyExpr expr;
FullDotSyntaxBaseIgnoredApplyExpr() { expr = this.getFunction() }
override AutoClosureExpr getStaticTarget() { result = expr.getStaticTarget().getExpr() }
}
}
class MethodApplyExpr extends ApplyExpr {
private MethodLookupExpr method;
MethodApplyExpr() { method = this.getFunction() }
override Method getStaticTarget() { result = method.getMethod() }
override Expr getQualifier() { result = method.getBase() }
}
private class PartialDotSyntaxBaseIgnoredApplyExpr extends ApplyExpr {
private DotSyntaxBaseIgnoredExpr expr;
PartialDotSyntaxBaseIgnoredApplyExpr() { expr = this.getFunction() }
override AutoClosureExpr getStaticTarget() { result = expr.getSubExpr() }
override Expr getQualifier() { result = expr.getQualifier() }
override string toString() { result = "call to " + expr }
}
private class FullDotSyntaxBaseIgnoredApplyExpr extends ApplyExpr {
private PartialDotSyntaxBaseIgnoredApplyExpr expr;
FullDotSyntaxBaseIgnoredApplyExpr() { expr = this.getFunction() }
override AutoClosureExpr getStaticTarget() { result = expr.getStaticTarget().getExpr() }
}

10
swift/ql/lib/codeql/swift/elements/expr/ArgumentImpl.qll
View File

@@ -1,10 +1,12 @@
private import codeql.swift.generated.expr.Argument
private import codeql.swift.elements.expr.ApplyExpr
class Argument extends Generated::Argument {
override string toString() { result = this.getLabel() + ": " + this.getExpr().toString() }
module Impl {
class Argument extends Generated::Argument {
override string toString() { result = this.getLabel() + ": " + this.getExpr().toString() }
int getIndex() { any(ApplyExpr apply).getArgument(result) = this }
int getIndex() { any(ApplyExpr apply).getArgument(result) = this }
ApplyExpr getApplyExpr() { result.getAnArgument() = this }
ApplyExpr getApplyExpr() { result.getAnArgument() = this }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/ArrayExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.ArrayExpr
class ArrayExpr extends Generated::ArrayExpr {
override string toString() { result = "[...]" }
module Impl {
class ArrayExpr extends Generated::ArrayExpr {
override string toString() { result = "[...]" }
}
}

443
swift/ql/lib/codeql/swift/elements/expr/AssignExprImpl.qll
View File

@@ -1,254 +1,233 @@
private import codeql.swift.generated.expr.AssignExpr
private import codeql.swift.elements.expr.BinaryExpr
private import codeql.swift.elements.expr.BinaryExprImpl::Impl
private import codeql.swift.elements.expr.ExprImpl::Impl as ExprImpl
/**
* An assignment expression. For example:
* ```
* x = 0
* y += 1
* z <<= 1
* ```
*/
class Assignment extends Expr {
Assignment() {
this instanceof AssignExpr or
this instanceof AssignArithmeticOperationEx or
this instanceof AssignBitwiseOperationEx or
this instanceof AssignPointwiseOperationEx
module Impl {
/**
* An assignment expression. For example:
* ```
* x = 0
* y += 1
* z <<= 1
* ```
*/
abstract class Assignment extends ExprImpl::Expr {
/**
* Gets the destination of this assignment. For example `x` in:
* ```
* x = y
* ```
*/
abstract Expr getDest();
/**
* Gets the source of this assignment. For example `y` in:
* ```
* x = y
* ```
*/
abstract Expr getSource();
/**
* Holds if this assignment expression uses an overflow operator, that is,
* an operator that truncates overflow rather than reporting an error.
* ```
* x &+= y
* ```
*/
predicate hasOverflowOperator() {
this.(AssignOperation).getOperator().getName() =
["&*=(_:_:)", "&+=(_:_:)", "&-=(_:_:)", "&<<=(_:_:)", "&>>=(_:_:)"]
}
}
/**
* Gets the destination of this assignment. For example `x` in:
* A simple assignment expression using the `=` operator:
* ```
* x = y
* x = 0
* ```
*/
Expr getDest() {
result = this.(AssignExpr).getDest() or
result = this.(AssignOperation).getLeftOperand()
class AssignExpr extends Generated::AssignExpr {
override string toString() { result = " ... = ..." }
}
private class AssignExprAssignment extends Assignment instanceof AssignExpr {
override Expr getDest() { result = AssignExpr.super.getDest() }
override Expr getSource() { result = AssignExpr.super.getSource() }
}
/**
* Gets the source of this assignment. For example `y` in:
* An assignment expression apart from `=`. For example:
* ```
* x = y
* x += 1
* y &= z
* ```
*/
Expr getSource() {
result = this.(AssignExpr).getSource() or
result = this.(AssignOperation).getRightOperand()
abstract class AssignOperation extends Assignment, BinaryExpr {
override Expr getDest() { result = this.getLeftOperand() }
override Expr getSource() { result = this.getRightOperand() }
}
/**
* Holds if this assignment expression uses an overflow operator, that is,
* an operator that truncates overflow rather than reporting an error.
* An arithmetic assignment expression. For example:
* ```
* x &+= y
* x += 1
* y *= z
* ```
*/
predicate hasOverflowOperator() {
this.(AssignOperation).getOperator().getName() =
["&*=(_:_:)", "&+=(_:_:)", "&-=(_:_:)", "&<<=(_:_:)", "&>>=(_:_:)"]
abstract class AssignArithmeticOperation extends AssignOperation { }
/**
* A bitwise assignment expression. For example:
* ```
* x &= y
* z <<= 1
* ```
*/
abstract class AssignBitwiseOperation extends AssignOperation { }
/**
* A pointwise assignment expression. For example:
* ```
* x .&= y
* ```
*/
abstract class AssignPointwiseOperation extends AssignOperation { }
/**
* An addition assignment expression:
* ```
* a += b
* a &+= b
* ```
*/
class AssignAddExpr extends AssignArithmeticOperation {
AssignAddExpr() { this.getOperator().getName() = ["+=(_:_:)", "&+=(_:_:)"] }
}
/**
* A subtraction assignment expression:
* ```
* a -= b
* a &-= b
* ```
*/
class AssignSubExpr extends AssignArithmeticOperation {
AssignSubExpr() { this.getOperator().getName() = ["-=(_:_:)", "&-=(_:_:)"] }
}
/**
* A multiplication assignment expression:
* ```
* a *= b
* a &*= b
* ```
*/
class AssignMulExpr extends AssignArithmeticOperation {
AssignMulExpr() { this.getOperator().getName() = ["*=(_:_:)", "&*=(_:_:)"] }
}
/**
* A division assignment expression:
* ```
* a /= b
* ```
*/
class AssignDivExpr extends AssignArithmeticOperation {
AssignDivExpr() { this.getOperator().getName() = "/=(_:_:)" }
}
/**
* A remainder assignment expression:
* ```
* a %= b
* ```
*/
class AssignRemExpr extends AssignArithmeticOperation {
AssignRemExpr() { this.getOperator().getName() = "%=(_:_:)" }
}
/**
* A left-shift assignment expression:
* ```
* a <<= b
* a &<<= b
* ```
*/
class AssignLShiftExpr extends AssignBitwiseOperation {
AssignLShiftExpr() { this.getOperator().getName() = ["<<=(_:_:)", "&<<=(_:_:)"] }
}
/**
* A right-shift assignment expression:
* ```
* a >>= b
* a &>>= b
* ```
*/
class AssignRShiftExpr extends AssignBitwiseOperation {
AssignRShiftExpr() { this.getOperator().getName() = [">>=(_:_:)", "&>>=(_:_:)"] }
}
/**
* A bitwise-and assignment expression:
* ```
* a &= b
* ```
*/
class AssignAndExpr extends AssignBitwiseOperation {
AssignAndExpr() { this.getOperator().getName() = "&=(_:_:)" }
}
/**
* A bitwise-or assignment expression:
* ```
* a |= b
* ```
*/
class AssignOrExpr extends AssignBitwiseOperation {
AssignOrExpr() { this.getOperator().getName() = "|=(_:_:)" }
}
/**
* A bitwise exclusive-or assignment expression:
* ```
* a ^= b
* ```
*/
class AssignXorExpr extends AssignBitwiseOperation {
AssignXorExpr() { this.getOperator().getName() = "^=(_:_:)" }
}
/**
* A pointwise bitwise-and assignment expression:
* ```
* a .&= b
* ```
*/
class AssignPointwiseAndExpr extends AssignPointwiseOperation {
AssignPointwiseAndExpr() { this.getOperator().getName() = ".&=(_:_:)" }
}
/**
* A pointwise bitwise-or assignment expression:
* ```
* a .|= b
* ```
*/
class AssignPointwiseOrExpr extends AssignPointwiseOperation {
AssignPointwiseOrExpr() { this.getOperator().getName() = ".|=(_:_:)" }
}
/**
* A pointwise bitwise exclusive-or assignment expression:
* ```
* a .^= b
* ```
*/
class AssignPointwiseXorExpr extends AssignPointwiseOperation {
AssignPointwiseXorExpr() { this.getOperator().getName() = ".^=(_:_:)" }
}
}
/**
* A simple assignment expression using the `=` operator:
* ```
* x = 0
* ```
*/
class AssignExpr extends Generated::AssignExpr {
override string toString() { result = " ... = ..." }
}
/**
* An assignment expression apart from `=`. For example:
* ```
* x += 1
* y &= z
* ```
*/
class AssignOperation extends Assignment, BinaryExpr {
AssignOperation() {
this instanceof AssignArithmeticOperationEx or
this instanceof AssignBitwiseOperationEx or
this instanceof AssignPointwiseOperationEx
}
}
/**
* An arithmetic assignment expression. For example:
* ```
* x += 1
* y *= z
* ```
*/
class AssignArithmeticOperation extends AssignOperation instanceof AssignArithmeticOperationEx { }
/**
* Private abstract class, extended to define the scope of `AssignArithmeticOperation`.
*/
abstract private class AssignArithmeticOperationEx extends BinaryExpr { }
/**
* A bitwise assignment expression. For example:
* ```
* x &= y
* z <<= 1
* ```
*/
class AssignBitwiseOperation extends AssignOperation instanceof AssignBitwiseOperationEx { }
/**
* Private abstract class, extended to define the scope of `AssignBitwiseOperation`.
*/
abstract private class AssignBitwiseOperationEx extends BinaryExpr { }
/**
* A pointwise assignment expression. For example:
* ```
* x .&= y
* ```
*/
class AssignPointwiseOperation extends AssignOperation instanceof AssignPointwiseOperationEx { }
/**
* Private abstract class, extended to define the scope of `AssignPointwiseOperation`.
*/
abstract private class AssignPointwiseOperationEx extends BinaryExpr { }
/**
* An addition assignment expression:
* ```
* a += b
* a &+= b
* ```
*/
class AssignAddExpr extends AssignArithmeticOperationEx {
AssignAddExpr() { this.getOperator().getName() = ["+=(_:_:)", "&+=(_:_:)"] }
}
/**
* A subtraction assignment expression:
* ```
* a -= b
* a &-= b
* ```
*/
class AssignSubExpr extends AssignArithmeticOperationEx {
AssignSubExpr() { this.getOperator().getName() = ["-=(_:_:)", "&-=(_:_:)"] }
}
/**
* A multiplication assignment expression:
* ```
* a *= b
* a &*= b
* ```
*/
class AssignMulExpr extends AssignArithmeticOperationEx {
AssignMulExpr() { this.getOperator().getName() = ["*=(_:_:)", "&*=(_:_:)"] }
}
/**
* A division assignment expression:
* ```
* a /= b
* ```
*/
class AssignDivExpr extends AssignArithmeticOperationEx {
AssignDivExpr() { this.getOperator().getName() = "/=(_:_:)" }
}
/**
* A remainder assignment expression:
* ```
* a %= b
* ```
*/
class AssignRemExpr extends AssignArithmeticOperationEx {
AssignRemExpr() { this.getOperator().getName() = "%=(_:_:)" }
}
/**
* A left-shift assignment expression:
* ```
* a <<= b
* a &<<= b
* ```
*/
class AssignLShiftExpr extends AssignBitwiseOperationEx {
AssignLShiftExpr() { this.getOperator().getName() = ["<<=(_:_:)", "&<<=(_:_:)"] }
}
/**
* A right-shift assignment expression:
* ```
* a >>= b
* a &>>= b
* ```
*/
class AssignRShiftExpr extends AssignBitwiseOperationEx {
AssignRShiftExpr() { this.getOperator().getName() = [">>=(_:_:)", "&>>=(_:_:)"] }
}
/**
* A bitwise-and assignment expression:
* ```
* a &= b
* ```
*/
class AssignAndExpr extends AssignBitwiseOperationEx {
AssignAndExpr() { this.getOperator().getName() = "&=(_:_:)" }
}
/**
* A bitwise-or assignment expression:
* ```
* a |= b
* ```
*/
class AssignOrExpr extends AssignBitwiseOperationEx {
AssignOrExpr() { this.getOperator().getName() = "|=(_:_:)" }
}
/**
* A bitwise exclusive-or assignment expression:
* ```
* a ^= b
* ```
*/
class AssignXorExpr extends AssignBitwiseOperationEx {
AssignXorExpr() { this.getOperator().getName() = "^=(_:_:)" }
}
/**
* A pointwise bitwise-and assignment expression:
* ```
* a .&= b
* ```
*/
class AssignPointwiseAndExpr extends AssignPointwiseOperationEx {
AssignPointwiseAndExpr() { this.getOperator().getName() = ".&=(_:_:)" }
}
/**
* A pointwise bitwise-or assignment expression:
* ```
* a .|= b
* ```
*/
class AssignPointwiseOrExpr extends AssignPointwiseOperationEx {
AssignPointwiseOrExpr() { this.getOperator().getName() = ".|=(_:_:)" }
}
/**
* A pointwise bitwise exclusive-or assignment expression:
* ```
* a .^= b
* ```
*/
class AssignPointwiseXorExpr extends AssignPointwiseOperationEx {
AssignPointwiseXorExpr() { this.getOperator().getName() = ".^=(_:_:)" }
}

37
swift/ql/lib/codeql/swift/elements/expr/Assignment.qll Normal file
View File

@@ -0,0 +1,37 @@
private import AssignExprImpl
final class Assignment = Impl::Assignment;
final class AssignOperation = Impl::AssignOperation;
final class AssignArithmeticOperation = Impl::AssignArithmeticOperation;
final class AssignBitwiseOperation = Impl::AssignBitwiseOperation;
final class AssignPointwiseOperation = Impl::AssignPointwiseOperation;
final class AssignAddExpr = Impl::AssignAddExpr;
final class AssignSubExpr = Impl::AssignSubExpr;
final class AssignMulExpr = Impl::AssignMulExpr;
final class AssignDivExpr = Impl::AssignDivExpr;
final class AssignRemExpr = Impl::AssignRemExpr;
final class AssignLShiftExpr = Impl::AssignLShiftExpr;
final class AssignRShiftExpr = Impl::AssignRShiftExpr;
final class AssignAndExpr = Impl::AssignAndExpr;
final class AssignOrExpr = Impl::AssignOrExpr;
final class AssignXorExpr = Impl::AssignXorExpr;
final class AssignPointwiseAndExpr = Impl::AssignPointwiseAndExpr;
final class AssignPointwiseOrExpr = Impl::AssignPointwiseOrExpr;
final class AssignPointwiseXorExpr = Impl::AssignPointwiseXorExpr;

44
swift/ql/lib/codeql/swift/elements/expr/AutoClosureExprImpl.qll
View File

@@ -2,29 +2,31 @@ private import codeql.swift.generated.expr.AutoClosureExpr
private import codeql.swift.elements.stmt.ReturnStmt
private import codeql.swift.elements.expr.Expr
/**
* A Swift autoclosure expression, that is, a closure automatically generated
* around an argument when the parameter has the `@autoclosure` attribute or
* for the right-hand operand of short-circuiting logical operations. For
* example, there is an `AutoClosureExpr` around the value `0` in:
* ```
* func myFunction(_ expr: @autoclosure () -> Int) {
* ...
* }
*
* myFunction(0)
* ```
*/
class AutoClosureExpr extends Generated::AutoClosureExpr {
module Impl {
/**
* Gets the implicit return statement generated by this autoclosure expression.
* A Swift autoclosure expression, that is, a closure automatically generated
* around an argument when the parameter has the `@autoclosure` attribute or
* for the right-hand operand of short-circuiting logical operations. For
* example, there is an `AutoClosureExpr` around the value `0` in:
* ```
* func myFunction(_ expr: @autoclosure () -> Int) {
* ...
* }
*
* myFunction(0)
* ```
*/
ReturnStmt getReturn() { result = unique( | | this.getBody().getAnElement()) }
class AutoClosureExpr extends Generated::AutoClosureExpr {
/**
* Gets the implicit return statement generated by this autoclosure expression.
*/
ReturnStmt getReturn() { result = unique( | | this.getBody().getAnElement()) }
/**
* Gets the expression returned by this autoclosure expression.
*/
Expr getExpr() { result = this.getReturn().getResult() }
/**
* Gets the expression returned by this autoclosure expression.
*/
Expr getExpr() { result = this.getReturn().getResult() }
override string toString() { result = this.getBody().toString() }
override string toString() { result = this.getBody().toString() }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/AwaitExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.AwaitExpr
class AwaitExpr extends Generated::AwaitExpr {
override string toString() { result = "await ..." }
module Impl {
class AwaitExpr extends Generated::AwaitExpr {
override string toString() { result = "await ..." }
}
}

50
swift/ql/lib/codeql/swift/elements/expr/BinaryExprImpl.qll
View File

@@ -2,35 +2,37 @@ private import codeql.swift.generated.expr.BinaryExpr
private import codeql.swift.elements.expr.Expr
private import codeql.swift.elements.decl.Function
/**
* A Swift binary expression, that is, an expression that appears between its
* two operands. For example:
* ```
* x + y
* ```
*/
class BinaryExpr extends Generated::BinaryExpr {
module Impl {
/**
* Gets the left operand (left expression) of this binary expression.
* A Swift binary expression, that is, an expression that appears between its
* two operands. For example:
* ```
* x + y
* ```
*/
Expr getLeftOperand() { result = this.getArgument(0).getExpr() }
class BinaryExpr extends Generated::BinaryExpr {
/**
* Gets the left operand (left expression) of this binary expression.
*/
Expr getLeftOperand() { result = this.getArgument(0).getExpr() }
/**
* Gets the right operand (right expression) of this binary expression.
*/
Expr getRightOperand() { result = this.getArgument(1).getExpr() }
/**
* Gets the right operand (right expression) of this binary expression.
*/
Expr getRightOperand() { result = this.getArgument(1).getExpr() }
/**
* Gets the operator of this binary expression (the function that is called).
*/
Function getOperator() { result = this.getStaticTarget() }
/**
* Gets the operator of this binary expression (the function that is called).
*/
Function getOperator() { result = this.getStaticTarget() }
/**
* Gets an operand of this binary expression (left or right).
*/
Expr getAnOperand() { result = [this.getLeftOperand(), this.getRightOperand()] }
/**
* Gets an operand of this binary expression (left or right).
*/
Expr getAnOperand() { result = [this.getLeftOperand(), this.getRightOperand()] }
override string toString() { result = "... " + this.getFunction().toString() + " ..." }
override string toString() { result = "... " + this.getFunction().toString() + " ..." }
override Function getStaticTarget() { result = super.getStaticTarget() }
override Function getStaticTarget() { result = super.getStaticTarget() }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/BindOptionalExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.BindOptionalExpr
class BindOptionalExpr extends Generated::BindOptionalExpr {
override string toString() { result = "...?" }
module Impl {
class BindOptionalExpr extends Generated::BindOptionalExpr {
override string toString() { result = "...?" }
}
}

20
swift/ql/lib/codeql/swift/elements/expr/BooleanLiteralExprImpl.qll
View File

@@ -1,13 +1,15 @@
private import codeql.swift.generated.expr.BooleanLiteralExpr
/**
* A boolean literal. For example `true` in:
* ```
* let x = true
* ```
*/
class BooleanLiteralExpr extends Generated::BooleanLiteralExpr {
override string toString() { result = this.getValue().toString() }
module Impl {
/**
* A boolean literal. For example `true` in:
* ```
* let x = true
* ```
*/
class BooleanLiteralExpr extends Generated::BooleanLiteralExpr {
override string toString() { result = this.getValue().toString() }
override string getValueString() { result = this.getValue().toString() }
override string getValueString() { result = this.getValue().toString() }
}
}

14
swift/ql/lib/codeql/swift/elements/expr/BuiltinLiteralExprImpl.qll
View File

@@ -4,12 +4,14 @@
private import codeql.swift.generated.expr.BuiltinLiteralExpr
/**
* A Swift literal of a kind that is built in to the Swift language.
*/
class BuiltinLiteralExpr extends Generated::BuiltinLiteralExpr {
module Impl {
/**
* Gets the value of this literal expression (as a string).
* A Swift literal of a kind that is built in to the Swift language.
*/
string getValueString() { none() }
class BuiltinLiteralExpr extends Generated::BuiltinLiteralExpr {
/**
* Gets the value of this literal expression (as a string).
*/
string getValueString() { none() }
}
}

12
swift/ql/lib/codeql/swift/elements/expr/CaptureListExprImpl.qll
View File

@@ -1,11 +1,13 @@
private import codeql.swift.generated.expr.CaptureListExpr
private import codeql.swift.elements.pattern.NamedPattern
class CaptureListExpr extends Generated::CaptureListExpr {
override string toString() { result = this.getClosureBody().toString() }
module Impl {
class CaptureListExpr extends Generated::CaptureListExpr {
override string toString() { result = this.getClosureBody().toString() }
override VarDecl getVariable(int index) {
// all capture binding declarations consist of a single named pattern
result = this.getBindingDecl(index).getPattern(0).(NamedPattern).getVarDecl()
override VarDecl getVariable(int index) {
// all capture binding declarations consist of a single named pattern
result = this.getBindingDecl(index).getPattern(0).(NamedPattern).getVarDecl()
}
}
}

6
swift/ql/lib/codeql/swift/elements/expr/ClosureExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.ClosureExpr
class ClosureExpr extends Generated::ClosureExpr {
override string toString() { result = "{ ... }" }
module Impl {
class ClosureExpr extends Generated::ClosureExpr {
override string toString() { result = "{ ... }" }
}
}

38
swift/ql/lib/codeql/swift/elements/expr/DeclRefExprImpl.qll
View File

@@ -1,23 +1,25 @@
private import codeql.swift.generated.expr.DeclRefExpr
private import codeql.swift.elements.decl.CapturedDecl
/**
* An expression that references or accesses a declaration.
*/
class DeclRefExpr extends Generated::DeclRefExpr {
override string toString() {
if exists(this.getDecl().toString())
then result = this.getDecl().toString()
else result = "(unknown declaration)"
module Impl {
/**
* An expression that references or accesses a declaration.
*/
class DeclRefExpr extends Generated::DeclRefExpr {
override string toString() {
if exists(this.getDecl().toString())
then result = this.getDecl().toString()
else result = "(unknown declaration)"
}
/**
* Gets the closure capture referenced by this expression, if any.
*/
CapturedDecl getCapturedDecl() { result.getAnAccess() = this }
/**
* Holds if this expression references a closure capture.
*/
predicate hasCapturedDecl() { exists(this.getCapturedDecl()) }
}
/**
* Gets the closure capture referenced by this expression, if any.
*/
CapturedDecl getCapturedDecl() { result.getAnAccess() = this }
/**
* Holds if this expression references a closure capture.
*/
predicate hasCapturedDecl() { exists(this.getCapturedDecl()) }
}

6
swift/ql/lib/codeql/swift/elements/expr/DefaultArgumentExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.DefaultArgumentExpr
class DefaultArgumentExpr extends Generated::DefaultArgumentExpr {
override string toString() { result = "default " + this.getParamDecl().getName() }
module Impl {
class DefaultArgumentExpr extends Generated::DefaultArgumentExpr {
override string toString() { result = "default " + this.getParamDecl().getName() }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/DictionaryExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.DictionaryExpr
class DictionaryExpr extends Generated::DictionaryExpr {
override string toString() { result = "[...]" }
module Impl {
class DictionaryExpr extends Generated::DictionaryExpr {
override string toString() { result = "[...]" }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/DifferentiableFunctionExtractOriginalExprImpl.qll
View File

@@ -1,4 +1,6 @@
private import codeql.swift.generated.expr.DifferentiableFunctionExtractOriginalExpr
class DifferentiableFunctionExtractOriginalExpr extends Generated::DifferentiableFunctionExtractOriginalExpr
{ }
module Impl {
class DifferentiableFunctionExtractOriginalExpr extends Generated::DifferentiableFunctionExtractOriginalExpr
{ }
}

6
swift/ql/lib/codeql/swift/elements/expr/DiscardAssignmentExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.DiscardAssignmentExpr
class DiscardAssignmentExpr extends Generated::DiscardAssignmentExpr {
override string toString() { result = "_" }
module Impl {
class DiscardAssignmentExpr extends Generated::DiscardAssignmentExpr {
override string toString() { result = "_" }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/DotSelfExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.DotSelfExpr
class DotSelfExpr extends Generated::DotSelfExpr {
override string toString() { result = ".self" }
module Impl {
class DotSelfExpr extends Generated::DotSelfExpr {
override string toString() { result = ".self" }
}
}

64
swift/ql/lib/codeql/swift/elements/expr/DotSyntaxBaseIgnoredExprImpl.qll
View File

@@ -4,38 +4,40 @@ private import codeql.swift.elements.expr.CallExpr
private import codeql.swift.elements.expr.TypeExpr
private import codeql.swift.elements.decl.Method
/**
* An expression representing a partially applied lookup of an instance property via the receiver's type object.
*
* An example is the sub-expression `SomeClass.instanceMethod` of
* `SomeClass.instanceMethod(someInstance)(arg, ...)`.
*
* Internally, the Swift compiler desugars this AST node type into a closure expression of the form
* `{ (someInstance: SomeClass) in { (arg, ...) in someInstance.instanceMethod(arg, ...) } }`,
* which in turn can be accessed using the `getSubExpr/0` predicate.
*/
class DotSyntaxBaseIgnoredExpr extends Generated::DotSyntaxBaseIgnoredExpr {
override string toString() {
result =
any(string base |
if exists(this.getQualifier().(TypeExpr).getTypeRepr().toString())
then base = this.getQualifier().(TypeExpr).getTypeRepr().toString() + "."
else base = "."
) + this.getMethod()
}
module Impl {
/**
* Gets the underlying instance method that is called when the result of this
* expression is fully applied.
* An expression representing a partially applied lookup of an instance property via the receiver's type object.
*
* An example is the sub-expression `SomeClass.instanceMethod` of
* `SomeClass.instanceMethod(someInstance)(arg, ...)`.
*
* Internally, the Swift compiler desugars this AST node type into a closure expression of the form
* `{ (someInstance: SomeClass) in { (arg, ...) in someInstance.instanceMethod(arg, ...) } }`,
* which in turn can be accessed using the `getSubExpr/0` predicate.
*/
Method getMethod() {
result =
this.getSubExpr()
.(AutoClosureExpr)
.getExpr()
.(AutoClosureExpr)
.getExpr()
.(CallExpr)
.getStaticTarget()
class DotSyntaxBaseIgnoredExpr extends Generated::DotSyntaxBaseIgnoredExpr {
override string toString() {
result =
any(string base |
if exists(this.getQualifier().(TypeExpr).getTypeRepr().toString())
then base = this.getQualifier().(TypeExpr).getTypeRepr().toString() + "."
else base = "."
) + this.getMethod()
}
/**
* Gets the underlying instance method that is called when the result of this
* expression is fully applied.
*/
Method getMethod() {
result =
this.getSubExpr()
.(AutoClosureExpr)
.getExpr()
.(AutoClosureExpr)
.getExpr()
.(CallExpr)
.getStaticTarget()
}
}
}

6
swift/ql/lib/codeql/swift/elements/expr/DynamicMemberRefExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.DynamicMemberRefExpr
class DynamicMemberRefExpr extends Generated::DynamicMemberRefExpr {
override string toString() { result = "." + this.getMember().toString() }
module Impl {
class DynamicMemberRefExpr extends Generated::DynamicMemberRefExpr {
override string toString() { result = "." + this.getMember().toString() }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/DynamicSubscriptExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.DynamicSubscriptExpr
class DynamicSubscriptExpr extends Generated::DynamicSubscriptExpr {
override string toString() { result = this.getMember().toString() + "[...]" }
module Impl {
class DynamicSubscriptExpr extends Generated::DynamicSubscriptExpr {
override string toString() { result = this.getMember().toString() + "[...]" }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/DynamicTypeExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.DynamicTypeExpr
class DynamicTypeExpr extends Generated::DynamicTypeExpr {
override string toString() { result = "type(of: ...)" }
module Impl {
class DynamicTypeExpr extends Generated::DynamicTypeExpr {
override string toString() { result = "type(of: ...)" }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/EnumIsCaseExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.EnumIsCaseExpr
class EnumIsCaseExpr extends Generated::EnumIsCaseExpr {
override string toString() { result = "... is " + this.getElement().toString() }
module Impl {
class EnumIsCaseExpr extends Generated::EnumIsCaseExpr {
override string toString() { result = "... is " + this.getElement().toString() }
}
}

8
swift/ql/lib/codeql/swift/elements/expr/ExplicitCastExprImpl.qll
View File

@@ -1,7 +1,9 @@
private import codeql.swift.generated.expr.ExplicitCastExpr
class ExplicitCastExpr extends Generated::ExplicitCastExpr {
override predicate convertsFrom(Expr e) { e = this.getImmediateSubExpr() }
module Impl {
class ExplicitCastExpr extends Generated::ExplicitCastExpr {
override predicate convertsFrom(Expr e) { e = this.getImmediateSubExpr() }
override string toString() { result = "(" + this.getType() + ") ..." }
override string toString() { result = "(" + this.getType() + ") ..." }
}
}

14
swift/ql/lib/codeql/swift/elements/expr/ExplicitClosureExprImpl.qll
View File

@@ -1,8 +1,10 @@
private import codeql.swift.generated.expr.ExplicitClosureExpr
/**
* A Swift explicit closure expr, that is, a closure written using
* `{ ... -> ... in ... }` syntax rather than automatically generated by the
* compiler.
*/
class ExplicitClosureExpr extends Generated::ExplicitClosureExpr { }
module Impl {
/**
* A Swift explicit closure expr, that is, a closure written using
* `{ ... -> ... in ... }` syntax rather than automatically generated by the
* compiler.
*/
class ExplicitClosureExpr extends Generated::ExplicitClosureExpr { }
}

42
swift/ql/lib/codeql/swift/elements/expr/ExprImpl.qll
View File

@@ -1,27 +1,29 @@
private import codeql.swift.generated.expr.Expr
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* The base class for all expressions in Swift.
*/
class Expr extends Generated::Expr {
final override Expr getResolveStep() { this.convertsFrom(result) }
module Impl {
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* The base class for all expressions in Swift.
*/
class Expr extends Generated::Expr {
final override Expr getResolveStep() { this.convertsFrom(result) }
predicate convertsFrom(Expr e) { none() } // overridden by subclasses
predicate convertsFrom(Expr e) { none() } // overridden by subclasses
Expr getConversion() { result.convertsFrom(this) }
Expr getConversion() { result.convertsFrom(this) }
Expr getConversion(int n) {
n = 0 and result = this.getConversion()
or
result = this.getConversion(n - 1).getConversion()
Expr getConversion(int n) {
n = 0 and result = this.getConversion()
or
result = this.getConversion(n - 1).getConversion()
}
predicate isConversion() { this.convertsFrom(_) }
predicate hasConversions() { exists(this.getConversion()) }
Expr getFullyConverted() { result = this.getFullyUnresolved() }
Expr getUnconverted() { result = this.resolve() }
}
predicate isConversion() { this.convertsFrom(_) }
predicate hasConversions() { exists(this.getConversion()) }
Expr getFullyConverted() { result = this.getFullyUnresolved() }
Expr getUnconverted() { result = this.resolve() }
}

8
swift/ql/lib/codeql/swift/elements/expr/FloatLiteralExprImpl.qll
View File

@@ -1,7 +1,9 @@
private import codeql.swift.generated.expr.FloatLiteralExpr
class FloatLiteralExpr extends Generated::FloatLiteralExpr {
override string toString() { result = this.getStringValue() }
module Impl {
class FloatLiteralExpr extends Generated::FloatLiteralExpr {
override string toString() { result = this.getStringValue() }
override string getValueString() { result = this.getStringValue() }
override string getValueString() { result = this.getStringValue() }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/ForceTryExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.ForceTryExpr
class ForceTryExpr extends Generated::ForceTryExpr {
override string toString() { result = "try! ..." }
module Impl {
class ForceTryExpr extends Generated::ForceTryExpr {
override string toString() { result = "try! ..." }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/ForceValueExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.ForceValueExpr
class ForceValueExpr extends Generated::ForceValueExpr {
override string toString() { result = "...!" }
module Impl {
class ForceValueExpr extends Generated::ForceValueExpr {
override string toString() { result = "...!" }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/IdentityExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.IdentityExpr
class IdentityExpr extends Generated::IdentityExpr {
override predicate convertsFrom(Expr e) { e = this.getImmediateSubExpr() }
module Impl {
class IdentityExpr extends Generated::IdentityExpr {
override predicate convertsFrom(Expr e) { e = this.getImmediateSubExpr() }
}
}

20
swift/ql/lib/codeql/swift/elements/expr/IfExprImpl.qll
View File

@@ -1,13 +1,15 @@
private import codeql.swift.generated.expr.IfExpr
class IfExpr extends Generated::IfExpr {
Expr getBranch(boolean b) {
b = true and
result = this.getThenExpr()
or
b = false and
result = this.getElseExpr()
}
module Impl {
class IfExpr extends Generated::IfExpr {
Expr getBranch(boolean b) {
b = true and
result = this.getThenExpr()
or
b = false and
result = this.getElseExpr()
}
override string toString() { result = "... ? ... : ..." }
override string toString() { result = "... ? ... : ..." }
}
}

8
swift/ql/lib/codeql/swift/elements/expr/ImplicitConversionExprImpl.qll
View File

@@ -1,7 +1,9 @@
private import codeql.swift.generated.expr.ImplicitConversionExpr
class ImplicitConversionExpr extends Generated::ImplicitConversionExpr {
override predicate convertsFrom(Expr e) { e = this.getImmediateSubExpr() }
module Impl {
class ImplicitConversionExpr extends Generated::ImplicitConversionExpr {
override predicate convertsFrom(Expr e) { e = this.getImmediateSubExpr() }
override string toString() { result = "(" + this.getType().toString() + ") ..." }
override string toString() { result = "(" + this.getType().toString() + ") ..." }
}
}

8
swift/ql/lib/codeql/swift/elements/expr/InOutExprImpl.qll
View File

@@ -1,7 +1,9 @@
private import codeql.swift.generated.expr.InOutExpr
class InOutExpr extends Generated::InOutExpr {
override string toString() { result = "&..." }
module Impl {
class InOutExpr extends Generated::InOutExpr {
override string toString() { result = "&..." }
override predicate convertsFrom(Expr e) { e = this.getImmediateSubExpr() }
override predicate convertsFrom(Expr e) { e = this.getImmediateSubExpr() }
}
}

20
swift/ql/lib/codeql/swift/elements/expr/IntegerLiteralExprImpl.qll
View File

@@ -1,13 +1,15 @@
private import codeql.swift.generated.expr.IntegerLiteralExpr
/**
* An integer literal. For example `1` in:
* ```
* let x = 1
* ```
*/
class IntegerLiteralExpr extends Generated::IntegerLiteralExpr {
override string toString() { result = this.getStringValue() }
module Impl {
/**
* An integer literal. For example `1` in:
* ```
* let x = 1
* ```
*/
class IntegerLiteralExpr extends Generated::IntegerLiteralExpr {
override string toString() { result = this.getStringValue() }
override string getValueString() { result = this.getStringValue() }
override string getValueString() { result = this.getStringValue() }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/InterpolatedStringLiteralExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.InterpolatedStringLiteralExpr
class InterpolatedStringLiteralExpr extends Generated::InterpolatedStringLiteralExpr {
override string toString() { result = "\"...\"" }
module Impl {
class InterpolatedStringLiteralExpr extends Generated::InterpolatedStringLiteralExpr {
override string toString() { result = "\"...\"" }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/IsExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.IsExpr
class IsExpr extends Generated::IsExpr {
override string toString() { result = "... is ..." }
module Impl {
class IsExpr extends Generated::IsExpr {
override string toString() { result = "... is ..." }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/KeyPathApplicationExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.KeyPathApplicationExpr
class KeyPathApplicationExpr extends Generated::KeyPathApplicationExpr {
override string toString() { result = "\\...[...]" }
module Impl {
class KeyPathApplicationExpr extends Generated::KeyPathApplicationExpr {
override string toString() { result = "\\...[...]" }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/KeyPathDotExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.KeyPathDotExpr
class KeyPathDotExpr extends Generated::KeyPathDotExpr {
override string toString() { result = "\\...." }
module Impl {
class KeyPathDotExpr extends Generated::KeyPathDotExpr {
override string toString() { result = "\\...." }
}
}

14
swift/ql/lib/codeql/swift/elements/expr/KeyPathExprImpl.qll
View File

@@ -1,9 +1,11 @@
private import codeql.swift.generated.expr.KeyPathExpr
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* A key-path expression.
*/
class KeyPathExpr extends Generated::KeyPathExpr {
override string toString() { result = "#keyPath(...)" }
module Impl {
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* A key-path expression.
*/
class KeyPathExpr extends Generated::KeyPathExpr {
override string toString() { result = "#keyPath(...)" }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/LazyInitializationExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.LazyInitializationExpr
class LazyInitializationExpr extends Generated::LazyInitializationExpr {
override string toString() { result = this.getSubExpr().toString() }
module Impl {
class LazyInitializationExpr extends Generated::LazyInitializationExpr {
override string toString() { result = this.getSubExpr().toString() }
}
}

14
swift/ql/lib/codeql/swift/elements/expr/LiteralExprImpl.qll
View File

@@ -4,9 +4,11 @@
private import codeql.swift.generated.expr.LiteralExpr
/**
* A Swift literal.
*
* This is the root class for all literals.
*/
class LiteralExpr extends Generated::LiteralExpr { }
module Impl {
/**
* A Swift literal.
*
* This is the root class for all literals.
*/
class LiteralExpr extends Generated::LiteralExpr { }
}

20
swift/ql/lib/codeql/swift/elements/expr/MagicIdentifierLiteralExprImpl.qll
View File

@@ -1,13 +1,15 @@
private import codeql.swift.generated.expr.MagicIdentifierLiteralExpr
/**
* An identifier literal that is expanded at compile time. For example `#file` in:
* ```
* let x = #file
* ```
*/
class MagicIdentifierLiteralExpr extends Generated::MagicIdentifierLiteralExpr {
override string toString() { result = "#..." }
module Impl {
/**
* An identifier literal that is expanded at compile time. For example `#file` in:
* ```
* let x = #file
* ```
*/
class MagicIdentifierLiteralExpr extends Generated::MagicIdentifierLiteralExpr {
override string toString() { result = "#..." }
override string getValueString() { none() } // TODO: value not yet extracted
override string getValueString() { none() } // TODO: value not yet extracted
}
}

6
swift/ql/lib/codeql/swift/elements/expr/MakeTemporarilyEscapableExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.MakeTemporarilyEscapableExpr
class MakeTemporarilyEscapableExpr extends Generated::MakeTemporarilyEscapableExpr {
override string toString() { result = this.getSubExpr().toString() }
module Impl {
class MakeTemporarilyEscapableExpr extends Generated::MakeTemporarilyEscapableExpr {
override string toString() { result = this.getSubExpr().toString() }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/MemberRefExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.MemberRefExpr
class MemberRefExpr extends Generated::MemberRefExpr {
override string toString() { result = "." + this.getMember().toString() }
module Impl {
class MemberRefExpr extends Generated::MemberRefExpr {
override string toString() { result = "." + this.getMember().toString() }
}
}

3
swift/ql/lib/codeql/swift/elements/expr/MethodApplyExpr.qll Normal file
View File

@@ -0,0 +1,3 @@
private import ApplyExprImpl
final class MethodApplyExpr = Impl::MethodApplyExpr;

2
swift/ql/lib/codeql/swift/elements/expr/MethodCallExpr.qll
View File

@@ -1,4 +1,4 @@
private import ApplyExprExt
private import MethodApplyExpr
private import codeql.swift.elements.expr.CallExpr
private import codeql.swift.elements.expr.ApplyExpr
private import codeql.swift.elements.expr.SuperRefExpr

40
swift/ql/lib/codeql/swift/elements/expr/MethodLookupExprImpl.qll
View File

@@ -7,25 +7,27 @@ private import codeql.swift.elements.decl.Method
private import codeql.swift.generated.Raw
private import codeql.swift.generated.Synth
class MethodLookupExpr extends Generated::MethodLookupExpr {
override string toString() { result = "." + this.getMember().toString() }
module Impl {
class MethodLookupExpr extends Generated::MethodLookupExpr {
override string toString() { result = "." + this.getMember().toString() }
override Expr getImmediateBase() {
result = Synth::convertExprFromRaw(this.getUnderlying().getBase())
override Expr getImmediateBase() {
result = Synth::convertExprFromRaw(this.getUnderlying().getBase())
}
override Decl getMember() {
result = this.getMethodRef().(DeclRefExpr).getDecl()
or
result = this.getMethodRef().(OtherInitializerRefExpr).getInitializer()
}
override Expr getImmediateMethodRef() {
result = Synth::convertExprFromRaw(this.getUnderlying().getFunction())
}
Method getMethod() { result = this.getMember() }
cached
private Raw::SelfApplyExpr getUnderlying() { this = Synth::TMethodLookupExpr(result) }
}
override Decl getMember() {
result = this.getMethodRef().(DeclRefExpr).getDecl()
or
result = this.getMethodRef().(OtherInitializerRefExpr).getInitializer()
}
override Expr getImmediateMethodRef() {
result = Synth::convertExprFromRaw(this.getUnderlying().getFunction())
}
Method getMethod() { result = this.getMember() }
cached
private Raw::SelfApplyExpr getUnderlying() { this = Synth::TMethodLookupExpr(result) }
}

6
swift/ql/lib/codeql/swift/elements/expr/NilLiteralExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.NilLiteralExpr
class NilLiteralExpr extends Generated::NilLiteralExpr {
override string toString() { result = "nil" }
module Impl {
class NilLiteralExpr extends Generated::NilLiteralExpr {
override string toString() { result = "nil" }
}
}

6
swift/ql/lib/codeql/swift/elements/expr/ObjCSelectorExprImpl.qll
View File

@@ -1,5 +1,7 @@
private import codeql.swift.generated.expr.ObjCSelectorExpr
class ObjCSelectorExpr extends Generated::ObjCSelectorExpr {
override string toString() { result = "#selector(...)" }
module Impl {
class ObjCSelectorExpr extends Generated::ObjCSelectorExpr {
override string toString() { result = "#selector(...)" }
}
}

42
swift/ql/lib/codeql/swift/elements/expr/ObjectLiteralExprImpl.qll
View File

@@ -1,25 +1,27 @@
private import codeql.swift.generated.expr.ObjectLiteralExpr
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* An instance of `#fileLiteral`, `#imageLiteral` or `#colorLiteral` expressions, which are used in playgrounds.
*/
class ObjectLiteralExpr extends Generated::ObjectLiteralExpr { }
module Impl {
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* An instance of `#fileLiteral`, `#imageLiteral` or `#colorLiteral` expressions, which are used in playgrounds.
*/
class ObjectLiteralExpr extends Generated::ObjectLiteralExpr { }
class FileLiteralExpr extends ObjectLiteralExpr {
FileLiteralExpr() { this.getKind() = 0 }
class FileLiteralExpr extends ObjectLiteralExpr {
FileLiteralExpr() { this.getKind() = 0 }
override string toString() { result = "#fileLiteral(...)" }
}
class ImageLiteralExpr extends ObjectLiteralExpr {
ImageLiteralExpr() { this.getKind() = 1 }
override string toString() { result = "#imageLiteral(...)" }
}
class ColorLiteralExpr extends ObjectLiteralExpr {
ColorLiteralExpr() { this.getKind() = 2 }
override string toString() { result = "#colorLiteral(...)" }
override string toString() { result = "#fileLiteral(...)" }
}
class ImageLiteralExpr extends ObjectLiteralExpr {
ImageLiteralExpr() { this.getKind() = 1 }
override string toString() { result = "#imageLiteral(...)" }
}
class ColorLiteralExpr extends ObjectLiteralExpr {
ColorLiteralExpr() { this.getKind() = 2 }
override string toString() { result = "#colorLiteral(...)" }
}
}

Some files were not shown because too many files have changed in this diff Show More