An Abstract Interpretation-based Model for Safety Semantics