diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll index e2f39569cff..2145073b9f9 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll @@ -212,7 +212,7 @@ string getMadRepresentationSpecific(SummaryComponent sc) { ) } -/** Gets the textual representation of a parameter position in the format used for MaD models. */ +/** Gets the textual representation of a parameter position in the format used for flow summaries. */ string getParameterPosition(ParameterPosition pos) { result = pos.getPosition().toString() or @@ -220,7 +220,7 @@ string getParameterPosition(ParameterPosition pos) { result = "this" } -/** Gets the textual representation of an argument position in the format used for MaD models. */ +/** Gets the textual representation of an argument position in the format used for flow summaries. */ string getArgumentPosition(ArgumentPosition pos) { result = pos.getPosition().toString() or diff --git a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll index 6ceb33792b4..88844f24537 100644 --- a/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll +++ b/go/ql/lib/semmle/go/dataflow/internal/FlowSummaryImplSpecific.qll @@ -22,10 +22,10 @@ DataFlowCallable inject(SummarizedCallable c) { result.asSummarizedCallable() = /** Gets the parameter position of the instance parameter. */ ArgumentPosition callbackSelfParameterPosition() { result = -1 } -/** Gets the textual representation of a parameter position in the format used for MaD models. */ +/** Gets the textual representation of a parameter position in the format used for flow summaries. */ string getParameterPosition(ParameterPosition pos) { result = pos.toString() } -/** Gets the textual representation of an argument position in the format used for MaD models. */ +/** Gets the textual representation of an argument position in the format used for flow summaries. */ string getArgumentPosition(ArgumentPosition pos) { result = pos.toString() } /** Gets the synthesized data-flow call for `receiver`. */ diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImplSpecific.qll b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImplSpecific.qll index 8bdea7b9e49..d9782c2eecf 100644 --- a/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImplSpecific.qll +++ b/java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImplSpecific.qll @@ -203,10 +203,10 @@ private string positionToString(int pos) { if pos = -1 then result = "this" else result = pos.toString() } -/** Gets the textual representation of a parameter position in the format used for MaD models. */ +/** Gets the textual representation of a parameter position in the format used for flow summaries. */ string getParameterPosition(ParameterPosition pos) { result = positionToString(pos) } -/** Gets the textual representation of an argument position in the format used for MaD models. */ +/** Gets the textual representation of an argument position in the format used for flow summaries. */ string getArgumentPosition(ArgumentPosition pos) { result = positionToString(pos) } /** Holds if input specification component `c` needs a reference. */ diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImplSpecific.qll b/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImplSpecific.qll index a43441f8f14..51002143919 100644 --- a/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImplSpecific.qll +++ b/python/ql/lib/semmle/python/dataflow/new/internal/FlowSummaryImplSpecific.qll @@ -154,7 +154,7 @@ string getMadRepresentationSpecific(SummaryComponent sc) { ) } -/** Gets the textual representation of a parameter position in the format used for MaD models. */ +/** Gets the textual representation of a parameter position in the format used for flow summaries. */ string getParameterPosition(ParameterPosition pos) { pos.isSelf() and result = "self" or @@ -169,7 +169,7 @@ string getParameterPosition(ParameterPosition pos) { ) } -/** Gets the textual representation of an argument position in the format used for MaD models. */ +/** Gets the textual representation of an argument position in the format used for flow summaries. */ string getArgumentPosition(ArgumentPosition pos) { pos.isSelf() and result = "self" or diff --git a/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImplSpecific.qll b/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImplSpecific.qll index 15a5e327679..e97014a5451 100644 --- a/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImplSpecific.qll +++ b/ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImplSpecific.qll @@ -187,7 +187,7 @@ string getMadRepresentationSpecific(SummaryComponent sc) { ) } -/** Gets the textual representation of a parameter position in the format used for MaD models. */ +/** Gets the textual representation of a parameter position in the format used for flow summaries. */ string getParameterPosition(ParameterPosition pos) { exists(int i | pos.isPositional(i) and @@ -220,7 +220,7 @@ string getParameterPosition(ParameterPosition pos) { result = "hash-splat" } -/** Gets the textual representation of an argument position in the format used for MaD models. */ +/** Gets the textual representation of an argument position in the format used for flow summaries. */ string getArgumentPosition(ArgumentPosition pos) { pos.isSelf() and result = "self" or diff --git a/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImplSpecific.qll b/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImplSpecific.qll index 06b2651f5ec..5e4a0ed4b95 100644 --- a/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImplSpecific.qll +++ b/swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImplSpecific.qll @@ -122,10 +122,10 @@ string getMadRepresentationSpecific(SummaryComponent sc) { ) } -/** Gets the textual representation of a parameter position in the format used for MaD models. */ +/** Gets the textual representation of a parameter position in the format used for flow summaries. */ string getParameterPosition(ParameterPosition pos) { result = pos.toString() } -/** Gets the textual representation of an argument position in the format used for MaD models. */ +/** Gets the textual representation of an argument position in the format used for flow summaries. */ string getArgumentPosition(ArgumentPosition pos) { result = pos.toString() } /** Holds if input specification component `c` needs a reference. */