hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 02:35:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Swift: Comments and formatting.

Browse Source
This commit is contained in:
Geoffrey White
2023-02-03 18:48:50 +00:00
parent ec72c7504c
commit f82a548cf9
3 changed files with 3 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
swift/ql/lib/codeql/swift/frameworks/StandardLibrary/Collection.qll
View File

@@ -1,5 +1,5 @@
/**
* Provides models for the `Collection` and related Swift class.
* Provides models for `Collection` and related Swift classes.
*/
import swift
@@ -7,7 +7,6 @@ private import codeql.swift.dataflow.DataFlow
private import codeql.swift.dataflow.ExternalFlow
private import codeql.swift.dataflow.FlowSteps
/**
* A model for `Collection` members that permit taint flow.
*/

1
swift/ql/lib/codeql/swift/frameworks/StandardLibrary/Sequence.qll
View File

@@ -7,7 +7,6 @@ private import codeql.swift.dataflow.DataFlow
private import codeql.swift.dataflow.ExternalFlow
private import codeql.swift.dataflow.FlowSteps
/**
* A model for `Sequence` members that permit taint flow.
*/

4
swift/ql/lib/codeql/swift/frameworks/StandardLibrary/String.qll
View File

@@ -35,7 +35,7 @@ private class StringSummaries extends SummaryModelCsv {
";StringProtocol;true;addingPercentEncoding(withAllowedCharacter:);;;Argument[-1];ReturnValue;taint",
";StringProtocol;true;addingPercentEscapes(using:);;;Argument[-1];ReturnValue;taint",
";StringProtocol;true;appending(_:);;;Argument[-1..0];ReturnValue;taint",
";StringProtocol;true;appendingFormat(_:_:);;;Argument[-1..0];ReturnValue;taint",//-1..
";StringProtocol;true;appendingFormat(_:_:);;;Argument[-1..0];ReturnValue;taint", //-1..
";StringProtocol;true;applyingTransform(_:reverse:);;;Argument[-1];ReturnValue;taint",
";StringProtocol;true;cString(using:);;;Argument[-1];ReturnValue;taint",
";StringProtocol;true;capitalized(with:);;;Argument[-1];ReturnValue;taint",
@@ -119,7 +119,7 @@ private class StringSummaries extends SummaryModelCsv {
}
/**
* A content implying that, if a `String` is tainted, then all its fields are
* A content implying that, if a `String` is tainted, then many of its fields are
* tainted. This also includes fields declared in `StringProtocol`.
*/
private class StringFieldsInheritTaint extends TaintInheritingContent,