Abstract Interpretation-Based Protection