A Methodology for Designing Countermeasures against Current and Future Code Injection Attacks