|
From: Nicholas N. <nj...@cs...> - 2007-02-25 22:57:24
|
On Sun, 25 Feb 2007, Julian Seward wrote: >> track_new_mem_stack before the client accesses stack data. Did I >> misunderstand something ? > > Yes (it may not be documented anywhere :-) If the core calls > track_new_mem_stack(x) then the new limit below which the client > may not go is x - VG_STACK_REDZONE_SZB. Probably you didn't see > this on x86 because VG_STACK_REDZONE_SZB on that platform. > Have a look at mc_new_mem_stack_4 et al in mc_main.c. See also the stuff about "AbiHint" in VEX/pub/libvex_ir.h and memcheck/mc_translate.c, and the function helperc_MAKE_STACK_UNINIT in mc_main.c. Nick |