wip

Author: hvitved

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

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()