Vær opmærksom på at dette website indeholder et arkiv med historiske data. Det aktuelle kursuskatalog findes på kursuskatalog.au.dk

AU kursuskatalog arkiv

[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]

Statisk Analyse (Q3) ( forår 2010 - 5 ECTS )

Rammer for udbud

Uddannelsessprog: engelsk
Niveau: Kandidatkursus
Semester/kvarter: Q3
Timer per uge: 3
Deltagerbegrænsning: Ingen
Undervisningssted: Århus
Hovedområde: Det Naturvidenskabelige Fakultet
Udbud ID: 14679

Formål

Deltagerne vil efter kurset have indsigt i principper for og anvendelser af statisk analyse af programmer.

Obligatorisk program

Ugentlige opgaver

Indhold

Typeanalyse, lattice teori, kontrolflow grafer, daraflow analyse, fikspunktsalgoritmer, narrowing og widening, interprocedural analyse, kontrolflow analyse, pointer analyse og software model checking.

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

beskrive statisk analyse som en teknik for at beregne konservative approksimationer til uafgørlige problemer.
referere den basale terminologi og det matematiske fundament for statisk analyse.
anvende det monotone framework til at konstruere algoritmer for simple statiske analyser.
beskrive avancerede teknikker til at øge præcisionen af statisk analyse.