Describir: Rozpoznávanie funkcií pri statickej analýze programov