псевдокод функции, защищенной

Состояние стека на момент вызова функции f из листинга 1 под Pro-Police выглядит так:

[ p ]

[ buf ]