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 11/**
2- * Provides models for the `Collection` and related Swift class .
2+ * Provides models for `Collection` and related Swift classes .
33 */
44
55import swift
66private import codeql.swift.dataflow.DataFlow
77private import codeql.swift.dataflow.ExternalFlow
88private import codeql.swift.dataflow.FlowSteps
99
10-
1110/**
1211 * A model for `Collection` members that permit taint flow.
1312 */
Original file line number Diff line number Diff line change @@ -7,7 +7,6 @@ private import codeql.swift.dataflow.DataFlow
77private import codeql.swift.dataflow.ExternalFlow
88private import codeql.swift.dataflow.FlowSteps
99
10-
1110/**
1211 * A model for `Sequence` members that permit taint flow.
1312 */
Original file line number Diff line number Diff line change @@ -35,7 +35,7 @@ private class StringSummaries extends SummaryModelCsv {
3535 ";StringProtocol;true;addingPercentEncoding(withAllowedCharacter:);;;Argument[-1];ReturnValue;taint" ,
3636 ";StringProtocol;true;addingPercentEscapes(using:);;;Argument[-1];ReturnValue;taint" ,
3737 ";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..
3939 ";StringProtocol;true;applyingTransform(_:reverse:);;;Argument[-1];ReturnValue;taint" ,
4040 ";StringProtocol;true;cString(using:);;;Argument[-1];ReturnValue;taint" ,
4141 ";StringProtocol;true;capitalized(with:);;;Argument[-1];ReturnValue;taint" ,
@@ -119,7 +119,7 @@ private class StringSummaries extends SummaryModelCsv {
119119}
120120
121121/**
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
123123 * tainted. This also includes fields declared in `StringProtocol`.
124124 */
125125private class StringFieldsInheritTaint extends TaintInheritingContent ,
You can’t perform that action at this time.
0 commit comments