wip

github · Nov 27, 2024 · 4f87ac3 · 4f87ac3
1 parent 14606f4
commit 4f87ac3
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 1 deletion.
diff --git a/swift/ql/test/library-tests/dataflow/taint/libraries/TaintInline.expected b/swift/ql/test/library-tests/dataflow/taint/libraries/TaintInline.expected
@@ -1,2 +1,12 @@
-failures
 testFailures
+| custom.swift:54:12:54:12 | mc1 | Unexpected result: tainted=data3 |
+| custom.swift:55:12:55:17 | ...[...] | Unexpected result: tainted=data3 |
+| custom.swift:62:12:62:12 | mc2 | Unexpected result: tainted=data4 |
+| custom.swift:63:12:63:17 | ...[...] | Unexpected result: tainted=data4 |
+| custom.swift:70:12:70:12 | mc3 | Unexpected result: tainted=data1 |
+| custom.swift:71:12:71:17 | ...[...] | Unexpected result: tainted=data1 |
+| custom.swift:78:12:78:12 | mc4 | Unexpected result: tainted=data1 |
+| custom.swift:79:12:79:17 | ...[...] | Unexpected result: tainted=data1 |
+| custom.swift:106:12:106:12 | mc6 | Unexpected result: tainted=data9 |
+| custom.swift:107:12:107:17 | ...[...] | Unexpected result: tainted=data9 |
+failures
diff --git a/swift/ql/test/library-tests/dataflow/taint/libraries/TaintInline.ql b/swift/ql/test/library-tests/dataflow/taint/libraries/TaintInline.ql
@@ -1,5 +1,14 @@
+/**
+ * @kind path-problem
+ */
+
 import TestUtilities.InlineFlowTest
 
 string customTaintFlowTag() { result = "tainted" }
 
 import FlowTest<NoFlowConfig, DefaultFlowConfig, defaultValueFlowTag/0, customTaintFlowTag/0>
+import PathGraph
+
+from PathNode source, PathNode sink
+where flowPath(source, sink)
+select sink, source, sink, "$@", source, source.toString()