File tree Expand file tree Collapse file tree 3 files changed +3
-5
lines changed
swift/ql/lib/codeql/swift/frameworks/StandardLibrary Expand file tree Collapse file tree 3 files changed +3
-5
lines changed Original file line number Diff line number Diff line change 1
1
/**
2
- * Provides models for the `Collection` and related Swift class .
2
+ * Provides models for `Collection` and related Swift classes .
3
3
*/
4
4
5
5
import swift
6
6
private import codeql.swift.dataflow.DataFlow
7
7
private import codeql.swift.dataflow.ExternalFlow
8
8
private import codeql.swift.dataflow.FlowSteps
9
9
10
-
11
10
/**
12
11
* A model for `Collection` members that permit taint flow.
13
12
*/
Original file line number Diff line number Diff line change @@ -7,7 +7,6 @@ private import codeql.swift.dataflow.DataFlow
7
7
private import codeql.swift.dataflow.ExternalFlow
8
8
private import codeql.swift.dataflow.FlowSteps
9
9
10
-
11
10
/**
12
11
* A model for `Sequence` members that permit taint flow.
13
12
*/
Original file line number Diff line number Diff line change @@ -35,7 +35,7 @@ private class StringSummaries extends SummaryModelCsv {
35
35
";StringProtocol;true;addingPercentEncoding(withAllowedCharacter:);;;Argument[-1];ReturnValue;taint" ,
36
36
";StringProtocol;true;addingPercentEscapes(using:);;;Argument[-1];ReturnValue;taint" ,
37
37
";StringProtocol;true;appending(_:);;;Argument[-1..0];ReturnValue;taint" ,
38
- ";StringProtocol;true;appendingFormat(_:_:);;;Argument[-1..0];ReturnValue;taint" , //-1..
38
+ ";StringProtocol;true;appendingFormat(_:_:);;;Argument[-1..0];ReturnValue;taint" , //-1..
39
39
";StringProtocol;true;applyingTransform(_:reverse:);;;Argument[-1];ReturnValue;taint" ,
40
40
";StringProtocol;true;cString(using:);;;Argument[-1];ReturnValue;taint" ,
41
41
";StringProtocol;true;capitalized(with:);;;Argument[-1];ReturnValue;taint" ,
@@ -119,7 +119,7 @@ private class StringSummaries extends SummaryModelCsv {
119
119
}
120
120
121
121
/**
122
- * A content implying that, if a `String` is tainted, then all its fields are
122
+ * A content implying that, if a `String` is tainted, then many of its fields are
123
123
* tainted. This also includes fields declared in `StringProtocol`.
124
124
*/
125
125
private class StringFieldsInheritTaint extends TaintInheritingContent ,
You can’t perform that action at this time.
0 commit comments