mirror of
https://github.com/github/codeql.git
synced 2026-04-23 07:45:17 +02:00
Update cpp/ql/lib/semmle/code/cpp/security/flowafterfree/UseAfterFree.qll
This commit is contained in:
@@ -142,7 +142,7 @@ private import semmle.code.cpp.ir.dataflow.internal.DataFlowImplCommon
|
||||
|
||||
/**
|
||||
* Holds if `n` represents the expression `e`, and `e` is a pointer that is
|
||||
* guarenteed to be dereferenced (either because it's an operand of a
|
||||
* guaranteed to be dereferenced (either because it's an operand of a
|
||||
* dereference operation, or because it's an argument to a function that
|
||||
* always dereferences the parameter).
|
||||
*/
|
||||
|
||||
Reference in New Issue
Block a user