Zaslať SMS: Staticko-dynamická analýza cyklomosta