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 dec7f93 commit c1de416Copy full SHA for c1de416
cpp/ql/lib/semmle/code/cpp/commons/NullTermination.qll
@@ -5,7 +5,7 @@ import semmle.code.cpp.dataflow.DataFlow
5
6
/**
7
* Holds if the expression `e` assigns something including `va` to a
8
- * stack variable `v0` that is later null terminated at `e0`.
+ * stack variable `v0`.
9
*/
10
private predicate mayAddNullTerminatorHelper(Expr e, VariableAccess va, StackVariable v0) {
11
exists(Expr val |
0 commit comments