Gets the virtual dispatch branching limit when calculating field flow while searching for flow from an allocation to the construction of an out-of-bounds pointer.
This can be overridden to a smaller value to improve performance (a value of 0 disables field flow), or a larger value to get more results.
Import path
import semmle.code.cpp.security.InvalidPointerDereference.AllocationToInvalidPointer