Predicate AllocationSizeOverflow::isSinkWithAllocationSize
Holds if nd is at a position where overflow might occur, and its result is used to compute
allocation size allocsz.
Import path
import semmle.go.security.AllocationSizeOverflowpredicate isSinkWithAllocationSize(Node nd, Node allocsz)