CodeQL library for C/C++
codeql/cpp-all 2.0.3-dev (changelog, source)
Search

Predicate allocationToInvalidPointerFieldFlowBranchLimit

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
int allocationToInvalidPointerFieldFlowBranchLimit()