Analiza abstrakcyjna

Speaker(s)

Jędrzej Fulara i Krzysztof Jakubczyk

Affiliation

Uniwersytet Warszawski

Date

Dec. 14, 2009, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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.

---