&gt; As for RCEs in C code - these would be easily avoided if the implementation used two separate stacks - one for function parameters, and one for return addresses.<p>No. Increasingly, RCEs are due to vtable confusion resulting from use after free.