2 ms·
If you made it works, does it mean the Spectre mitigation is basically useless, as it can be bypassed ?
by antpls 7y ago
If you made it works, does it mean the Spectre mitigation is basically useless, as it can be bypassed ?
- andreareina 7y agoThe verifier rewrites pointer arithmetic to be safe. There's a bug where it misclassifies 64-bit integer arithmetic to be pointer arithmetic, AIUI the bug doesn't affect 32-bit arithmetic (i.e. it should still detect and rewrite 32-bit pointer arithmetic, so the Spectre mitigation isn't being bypassed)