Statyczna analiza programow komputerowych jest jednym z najważniejszych
narzędzi, ktore są używane do znajdowania błędow, optymalizacji i znajdowania
możliwości "włamow". Zanalizowanie prostego, niewielkiego programu jest
stosunkowo łatwe, większe programy sprawiają już poważny problem, natomiast
analiza wielkich programow, takich jak na przykład kod źrodłowy Microsoft Word
wydała się do niedawna poza zasięgiem dostępnych metod.
Wykład poświęcony będzie przeglądowi algorytmow analizy programow; zaczniemy
od klasycznych metod takich jak analiza przepływu danych czy abstrakcyjna
interpretacja.
Wykład może się okazać dość ciężki matematycznie, w szczegolności od słuchaczy
będzie się wymagać swobodnego posługiwania się pojęciami takimi jak semantyka
języka czy twierdzenie o punkcie stałym. Nie będziemy jednak wymagać na
wstępie wiedzy wykraczającej poza (dobre) rozumienie materiału z wykładow
_Logiki dla informatyk ow_ i _Programowania_.
Podstawowym podręcznikiem do wykładu jest książkai F. Nielson, H.R.Nielson, C.
Hankin [Principles of Program
Analysis.](http://www.imm.dtu.dk/~hrni/PPA/ppasup2004.html)
**Wymagania:** Logika dla informatykow, Programowanie, ogolna sprawność
matematyczna
