Skip to main content

MAX_ABS_STACK_DEPTH

Constant MAX_ABS_STACK_DEPTH 

Source
const MAX_ABS_STACK_DEPTH: usize = 64;
Expand description

Maximum abstract stack depth tracked by the analysis. Top-aligned joins across paths with differing stack heights pad the shorter stack with Top at the bottom; on CFG cycles this padding can grow without bound. Clamping discards only those bottom Top entries, so no precision is lost.

Instructions that access deeper than this (e.g. Amsterdam DUPN/SWAPN up to depth 236) treat the out-of-range slot as Top rather than aborting block interpretation.