Evaluating operating system vulnerability to memory errors
Control-flow checking by software signatures