We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 57c1bf5 commit b407c86Copy full SHA for b407c86
cpp/ql/lib/semmle/code/cpp/models/interfaces/PartialFlow.qll
@@ -1,7 +1,7 @@
1
/**
2
* Provides an abstract class to override the implicit assumption that a
3
* dataflow/taint-tracking model always fully override the parameters they are
4
- * are modelled as writing to. To use this QL library, create a QL class
+ * are modeled as writing to. To use this QL library, create a QL class
5
* extending `PartialFlowFunction` with a characteristic predicate that selects
6
* the function or set of functions you are modeling and override the
7
* `isPartialWrite` predicate.
0 commit comments