Module AllocationSizeOverflow

Provides a taint-tracking configuration for reasoning about allocation-size overflow.

Import path

import semmle.go.security.AllocationSizeOverflow

Provides extension points for customizing the taint-tracking configuration for reasoning about allocation-size overflow.

Holds if nd is at a position where overflow might occur, and its result is used to compute allocation size allocsz.

Flow	Tracks taint flow to find allocation-size overflows.