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 aca3970 commit 671904dCopy full SHA for 671904d
cpp/ql/lib/semmle/code/cpp/models/interfaces/PartialFlow.qll
@@ -16,7 +16,10 @@ import FunctionInputsAndOutputs
16
import semmle.code.cpp.models.Models
17
18
/**
19
- * A function that may (but not always) updates (part of) a `FunctionOutput`.
+ * A function that may update part of a `FunctionOutput`.
20
+ *
21
+ * For example, the destination argument of `strcat` only updates part of the
22
+ * argument.
23
*/
24
abstract class PartialFlowFunction extends Function {
25
0 commit comments