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.

Configuration	DEPRECATED: Use `Flow` instead.
FindLargeLensConfiguration	DEPRECATED: Use copies of `FindLargeLensConfig` and `FindLargeLensFlow` instead.

Flow	Tracks taint flow to find allocation-size overflows.