Analiza abstrakcyjna

Prelegent(ci)

Jędrzej Fulara i Krzysztof Jakubczyk

Afiliacja

Uniwersytet Warszawski

Termin

14 grudnia 2009 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Na seminarium opowiemy o wykorzystaniu abstrakcyjnej interpretacji do analizy kodu programów. Skupimy się na zastosowaniu jej do sprawdzania występowania błędów rzepełnienia zakresu liczb całkowitych oraz wyjścia poza zakres tablicy w języku Java. W tym celu zaprezentujemy numeryczne abstrakcyjne dziedziny wykorzystywane do statycznej analizy za pomocą abstrakcyjnej interpretacji. Opowiemy także o tworzonym przez nas narzędziu wykorzystującym powyższe techniki oraz w jaki sposób chcemy wzbogacić analizę kodu. Przy odrobinie szczęścia uda się zaprezentować narzędzie w działaniu.

---