Assertion: r's value | /r/HasProperty | subtracted on the stack
Facets:
value: from esp
type: OTHER
Source sentences:
text: This sequence of instructions is typical at the start of a subroutine to save space on the stack for local variables; EBP is used as the base register to reference the local variables, and a value is subtracted from ESP to reserve space on the stack (since the Intel stack grows from higher memory locations to lower ones).