Wyślij wiadomość: Principles program analysis.