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.
**Program:** **Wymagania:** Logika dla informatykow Programowanie Og olna
sprawność matematyczna