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 be54a41 commit aca3970Copy full SHA for aca3970
cpp/ql/lib/semmle/code/cpp/models/interfaces/PartialFlow.qll
@@ -20,9 +20,9 @@ import semmle.code.cpp.models.Models
20
*/
21
abstract class PartialFlowFunction extends Function {
22
/**
23
- * Holds if the write to `output` either is:
24
- * - Only partially updating the `output`
25
- * - Is not unconditional
+ * Holds if the write to output does not overwrite the entire value that was
+ * there before, or does not do so reliably. For example the destination
+ * argument of `strcat` is modified but not overwritten.
26
27
predicate isPartialWrite(FunctionOutput output) { none() }
28
}
0 commit comments