Gets the virtual dispatch branching limit when calculating field flow while searching for flow from an out-of-bounds pointer to a dereference of the 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.InvalidPointerToDereference