hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Rename 'getAFlowStateForNode' to 'getASizeAddend'.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-08-10 13:19:28 +01:00
parent a2b8eb924e
commit 6d949cbd39
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -120,7 +120,7 @@ private module SizeBarrier {
private import DataFlow::Global<SizeBarrierConfig>
private int getAFlowStateForNode(DataFlow::Node node) {
private int getASizeAddend(DataFlow::Node node) {
exists(DataFlow::Node source |
flow(source, node) and
hasSize(_, source, result)
@@ -155,7 +155,7 @@ private module SizeBarrier {
pragma[only_bind_into](k), pragma[only_bind_into](edge)) and
bounded(result, value.getAnInstruction(), delta) and
g.controls(result.getBlock(), edge) and
k < getAFlowStateForNode(right)
k < getASizeAddend(right)
)
}