Zaslať SMS: Rozpoznávanie funkcií pri statickej analýze programov