Formålet med kurset er at give en introduktion til de analyser teknikker som ofte benyttes til automatisk validering af sikkerhed og pålidelighed af software systemer.
Målet med program analyse er statisk (dvs på oversættelsestidspunktet) at beregne sikre og effektive approksimationer til de værdier eller operationer som dynamisk optræder når programmet udføres på en datamaskine. En klassisk anvendelse er i oversættere hvor man kan undlade at generere kode for redundante beregninger og man kan undgå overflødige beregninger. En ny meget lovende anvendelse er indenfor automatisk validering af korrekthed og sikkerhed af software systemer.
Kursusindhold:
Kurset vil først give en kort introduktion til de centrale tilgangsvinkler til program analyse og deres anvendelser. Kurset vil derefter fokusere på data flow og kontrol flow analyse teknikker og algoritmer for effektiv implementation.
Litteratur::
Kurset er baseret på "Principles of Program Analysis" af F. Nielson, H. Riis Nielson og C. Hankin (Springer, 1999, ISBN 3-540-65410-0)
