C++: PascalCase and US spelling fixes.

This commit is contained in:
Geoffrey White
2024-04-03 14:17:55 +01:00
parent db60360293
commit a8742ea111
5 changed files with 8 additions and 8 deletions

View File

@@ -740,7 +740,7 @@ class InitialGlobalValue extends Node, TInitialGlobalValue {
/**
* A data-flow node used to model flow summaries. That is, a dataflow node
* that is synthesized to represent a parameter, return value, or other part
* of a models-as-data modelled function.
* of a models-as-data modeled function.
*/
class FlowSummaryNode extends Node, TFlowSummaryNode {
FlowSummaryImpl::Private::SummaryNode getSummaryNode() { this = TFlowSummaryNode(result) }
@@ -1972,7 +1972,7 @@ private module Cached {
simpleLocalFlowStep(nodeFrom, nodeTo)
or
// models-as-data summarized flow for local data flow (i.e. special case for flow
// through calls to modelled functions, without relying on global dataflow to join
// through calls to modeled functions, without relying on global dataflow to join
// the dots).
FlowSummaryImpl::Private::Steps::summaryThroughStepValue(nodeFrom, nodeTo, _)
}

View File

@@ -23,7 +23,7 @@ predicate localTaintStep(DataFlow::Node nodeFrom, DataFlow::Node nodeTo) {
localAdditionalTaintStep(nodeFrom, nodeTo)
or
// models-as-data summarized flow for local data flow (i.e. special case for flow
// through calls to modelled functions, without relying on global dataflow to join
// through calls to modeled functions, without relying on global dataflow to join
// the dots).
FlowSummaryImpl::Private::Steps::summaryThroughStepTaint(nodeFrom, nodeTo, _)
}

View File

@@ -7,7 +7,7 @@ import semmle.code.cpp.models.interfaces.FlowSource
/**
* Remote flow sources.
*/
private class ZMQSource extends SourceModelCsv {
private class ZmqSource extends SourceModelCsv {
override predicate row(string row) {
row =
[
@@ -21,7 +21,7 @@ private class ZMQSource extends SourceModelCsv {
/**
* Remote flow sinks.
*/
private class ZMQSinks extends SinkModelCsv {
private class ZmqSinks extends SinkModelCsv {
override predicate row(string row) {
row =
[

View File

@@ -113,8 +113,8 @@ private class RemoteParameterSink extends RemoteFlowSink {
/**
* A remote flow sink defined in a CSV model.
*/
private class RemoteFlowFromCSVSink extends RemoteFlowSink {
RemoteFlowFromCSVSink() { sinkNode(this, "remote-sink") }
private class RemoteFlowFromCsvSink extends RemoteFlowSink {
RemoteFlowFromCsvSink() { sinkNode(this, "remote-sink") }
override string getSinkType() { result = "remote flow sink" }
}