hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 10:46:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll

Browse Source 
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2023-07-19 10:28:05 +01:00
committed by GitHub
parent 9a8fb0b93a
commit 2f48cde2e5
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
View File

@@ -13,7 +13,7 @@ private import RangeAnalysisUtil
private VariableAccess getAVariableAccess(Expr e) { e.getAChild*() = result } private VariableAccess getAVariableAccess(Expr e) { e.getAChild*() = result }
/** /**
* Holds if `(n, state)` pair represents the source of flow for the size * Holds if the `(n, state)` pair represents the source of flow for the size
* expression associated with `alloc`. * expression associated with `alloc`.
*/ */
predicate hasSize(HeuristicAllocationExpr alloc, DataFlow::Node n, int state) { predicate hasSize(HeuristicAllocationExpr alloc, DataFlow::Node n, int state) {