TAL Program States

Heap:

…

fact:

All[r:Ts].

{esp: sptr {eax:B4,

esp:sptr r}

::B4::r}

mov ebx,[esp+04]

mov eax,1

fallthru <r>

loop:

All[r:Ts].

{eax:B4, ebx:B4, …}

…

Registers:

eax 1

ebx 4

esp sptr(144)

eip loop

Stack:

…

140 4

144 mainprog13

Previous slide

Next slide

Back to first slide

View graphic version