Skip to content

Commit c1de416

Browse files
geoffw0MathiasVP
andauthored
Update cpp/ql/lib/semmle/code/cpp/commons/NullTermination.qll
Co-authored-by: Mathias Vorreiter Pedersen <[email protected]>
1 parent dec7f93 commit c1de416

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cpp/ql/lib/semmle/code/cpp/commons/NullTermination.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ import semmle.code.cpp.dataflow.DataFlow
55

66
/**
77
* Holds if the expression `e` assigns something including `va` to a
8-
* stack variable `v0` that is later null terminated at `e0`.
8+
* stack variable `v0`.
99
*/
1010
private predicate mayAddNullTerminatorHelper(Expr e, VariableAccess va, StackVariable v0) {
1111
exists(Expr val |

0 commit comments

Comments
 (0)