|
From: Tom H. <to...@co...> - 2005-05-19 10:32:43
|
In message <200...@ac...>
Julian Seward <js...@ac...> wrote:
> So we can easily enough generate self-checking translations. A problem
> is, since self-checking translations are expensive to run, we want to
> make as few as possible. That means having a good heuristic for deciding
> when to do so. The currently postulated heuristic is to make a self-
> checking translation for code within some small offset of the stack
> pointer. Ideally the heuristic should say "yes" as infrequently as
> possible, but it should also never miss any such cases either.
Wouldn't it be better to do it for any code on the stack? Any code on
the stack is inherently dangerous because it can be invalidated by the
stack pointer moving.
So just testing for code being in a segment with SF_STACK set might
do as a heuristic.
Tom
--
Tom Hughes (to...@co...)
http://www.compton.nu/
|