Zaslať SMS: Statická analýza konštrukcie s použitím MKP