Automated Detection, Exploitation, and Elimination of Double-Fetch Bugs using Modern CPU Features