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

Swift: Correct a couple more cases.

Browse Source
This commit is contained in:
Geoffrey White
2023-05-03 13:35:07 +01:00
parent 2fd8b87bcd
commit 1084d7ff0e
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
docs/codeql/codeql-language-guides/analyzing-data-flow-in-swift.rst
View File

@@ -125,7 +125,7 @@ We can vary the source, for example, making the source the parameter of a functi
import swift
import codeql.swift.dataflow.DataFlow
from CallExpr call, MethodDecl method, ParamDecl sourceParam, Expr sinkExpr
from CallExpr call, Method method, ParamDecl sourceParam, Expr sinkExpr
where
call.getStaticTarget() = method and
method.hasQualifiedName("String", "init(format:_:)") and
@@ -140,7 +140,7 @@ The following example finds calls to ``String.init(format:_:)`` where the format
import swift
import codeql.swift.dataflow.DataFlow
from CallExpr call, MethodDecl method, Expr sinkExpr
from CallExpr call, Method method, Expr sinkExpr
where
call.getStaticTarget() = method and
method.hasQualifiedName("String", "init(format:_:)") and