Αποστολή με SMS: Don’t sit on the fence: A static analysis approach to automatic fence insertion