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

Swift: Clean up logic.

Browse Source
This commit is contained in:
Geoffrey White
2023-11-13 12:37:09 +00:00
parent e4da8da5d9
commit c3577b34d3
1 changed files with 7 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
swift/ql/test/TestUtilities/InlineFlowTest.qll
View File

@@ -81,12 +81,7 @@ string defaultTaintFlowTag() { result = "hasTaintFlow" }
private string getSourceArgString(DataFlow::Node src) {
defaultSource(src) and
(
src.asExpr().(CallExpr).getAnArgument().getExpr().(StringLiteralExpr).getValue() = result
or
not src.asExpr().(CallExpr).getAnArgument().getExpr() instanceof StringLiteralExpr and
result = src.getLocation().getStartLine().toString()
)
src.asExpr().(CallExpr).getAnArgument().getExpr().(StringLiteralExpr).getValue() = result
}
module FlowTest<
@@ -105,7 +100,9 @@ module FlowTest<
exists(DataFlow::Node src, DataFlow::Node sink | ValueFlow::flow(src, sink) |
sink.getLocation() = location and
element = sink.toString() and
if exists(getSourceArgString(src)) then value = getSourceArgString(src) else value = ""
if exists(getSourceArgString(src))
then value = getSourceArgString(src)
else value = src.getLocation().getStartLine().toString()
)
or
tag = taintFlowTag() and
@@ -114,7 +111,9 @@ module FlowTest<
|
sink.getLocation() = location and
element = sink.toString() and
if exists(getSourceArgString(src)) then value = getSourceArgString(src) else value = ""
if exists(getSourceArgString(src))
then value = getSourceArgString(src)
else value = src.getLocation().getStartLine().toString()
)
}
}