<div dir="ltr">There are plenty of compilers which allow you to specify that a certain callee-save register is dedicated to holding a particular variable within a particular function or compilation unit. GCC, for example (<span style="color:rgb(0,0,0);font-size:smaller">register int *foo asm ("r12");)</span>, or ARM Ltd's compiler.<br><div><br></div><div>This doesn't prevent some other library code that you call from temporarily saving and restoring that register.</div><div><br></div><div>Usually that is fine for correctness purposes (if you don't have callbacks anyway), but it defeats your purpose.</div><div><br></div><div>GCC also has the -ffixed-reg command line option to prevent generated code from using that register at all.</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Nov 3, 2015 at 2:24 AM, Stephen Crane via llvm-dev <span dir="ltr"><<a href="mailto:llvm-dev@lists.llvm.org" target="_blank">llvm-dev@lists.llvm.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><span style="font-size:12.8px">Hi all,</span><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">I've been trying to figure out if there is a feasible way to prevent values from ever spilling from registers to the stack. I've looked for code or documentation on how to do this but haven't found anything, apologies if this has already been done.</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">Recent security research has shown that protection schemes such as CFI (that might otherwise be secure) are undermined by sensitive values spilling to the stack. When security-critical values spill from registers to the stack, they can be read and overwritten by an attacker with arbitrary memory read or write capabilities. See "Losing Control" from CCS 2015 for more details on this sort of attack: <a href="https://www.ics.uci.edu/~perl/ccs15_stackdefiler.pdf" target="_blank">https://www.ics.uci.edu/~perl/ccs15_stackdefiler.pdf</a></div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">I think it would be great if we could allow values or at least virtual regs to be tagged as "security-sensitive" and disallow spilling of these values across their lifetime. I expect that the best way to do this would be to start at the virtual register level and push support up to IR values as well if and only if machine IR turns out to be insufficient.</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">Is this a good idea? Does something to support register pinning already exist? I'm unfortunately not familiar enough with the register allocators to know how to best support this, although I'm willing to give it a try if people can point me in the right direction.</div><div style="font-size:12.8px"><br></div><div style="font-size:12.8px">Thanks,</div><div style="font-size:12.8px">Stephen</div></div>
<br>_______________________________________________<br>
LLVM Developers mailing list<br>
<a href="mailto:llvm-dev@lists.llvm.org">llvm-dev@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev</a><br>
<br></blockquote></div><br></div>