Invia SMS: Staticko-dynamická analýza cyklomosta