TODO: Implement Stack Use-After-Return

[andreafioraldi]

Map memory accesses inside the stackframe boundaries to an allocated separate memory. This shit cost a bit (not too cause the accesses are already instrumented), but I don't see any other way to do that. Suggestions are welcome.