Αποστολή με SMS: Value-Range Analysis of C Programs