Statische Analyse
durch abstrakte Interpretation
Jan Peleska Helge L¨ oding
hloeding@informatik.uni-bremen.de
Universit¨ at Bremen — Technologiezentrum Informatik TZI
Tutorium
28. November 2007
Uberblick ¨
Programm
Semantik
Abstraktion
Berechnung
Programm
sample1.c
f l o a t x , y ; i f( x< y ){
x = s q r t ( y−x ) ; }
e l s e{ x = 0 ; } r e t u r n x ;