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

Author: MathiasVP

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

@@ -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)
     )
   }