Statyczna analiza programów komputerowych jest jednym z najważniejszych
narzędzi, które są używane do znajdowania błędów, optymalizacji i znajdowania
możliwości "włamów". Zanalizowanie prostego, niewielkiego programu jest
stosunkowo proste, większe programy sprawiają już poważny problem, natomiast
analiza wielkich programów, takich jak na przykład kod źródłowy Microsoft Word
wydała się do niedawna poza zasięgiem dostępnych metod.
Wykład poświęcony będzie przeglądowi algorytmów analizy programów; zaczniemy
od klasycznych metod takich jak analiza przepływu danych czy abstrakcyjna
interpretacja.
Wykład może się okazać dość ciężki matematycznie, w szczególnoś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ólna
sprawność matematyczna