Eliminating speculation across certain security boundaries seems to be viable and not too horrible from a performance standpoint, though you have to be careful

Eliminating speculation across certain security boundaries seems to be viable and not too horrible from a performance standpoint, though you have to be careful to get the boundaries and I imagine this'll be something like buffer overflow attacks Can these be detected in the same manner that valgrind can detect buffer overflows?