in Global Static Analyses and Its Algorithmic Mitigation -- Abstract Transformers for