We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 098ea50 commit e4da8daCopy full SHA for e4da8da
1 file changed
swift/ql/test/TestUtilities/InlineFlowTest.qll
@@ -16,15 +16,15 @@
16
* To declare expectations, you can use the $hasTaintFlow or $hasValueFlow comments within the test source files.
17
* Example of the corresponding test file, e.g. Test.java
18
* ```swift
19
- * func source() -> Any { return nil }
20
- * func taint() -> Any { return nil }
+ * func source(_ label: String) -> Any { return nil }
+ * func taint(_ label: String) -> Any { return nil }
21
* func sink(_ o: Any) { }
22
*
23
* func test() {
24
- * let s = source()
25
- * sink(s) // $ hasValueFlow
26
- * let t = "foo" + taint()
27
- * sink(t); // $ hasTaintFlow
+ * let s = source("mySource")
+ * sink(s) // $ hasValueFlow=mySource
+ * let t = "foo" + taint("myTaint")
+ * sink(t); // $ hasTaintFlow=myTaint
28
* }
29
* ```
30
0 commit comments