Programanalyse

• forklare begreberne sundhed og fuldstændighed samt begrænsningerne af programanalyse;
• forklare fordelene og ulemperne ved syntaktiske, semantiske, dynamiske og statiske analyser;
• designe en analyse til at løse et specifikt problem;
• formulere de teoretiske garantier samt begrænsninger af analysen;
• argumenter for fremgangsmåden i et projektoplæg;
• implementer en analyse for en del af et rigtig programmeringssprog;
• designe og motivere en sekvens af eksperimenter som benytter det konstruerede værktøj og kunne fortolke de opnåede resultater;
• kommunikere de opnåede resultater på en klar og præcis måde i et artikel format; og
• opnå ovennævnte resultater som del af et gruppearbejde, på en sådan måde at de individuelle bidrag kan identificeres.

I dette kursus vil de studerende blive fortrolig med forskellige måder at udlede fakta fra programmer, vha. både dynamiske og statiske analyser. Kurset vil fokusere på analyser for JVM, men de studerende opfordres til at arbejde på det sprog de helst vil. Den teoretiske del af kurset vil blive dækket i den første halvdel af kurset; efter hvilket de studerende skal skrive et oplæg til et gruppeprojekt. Til sidst vil de studerende udføre eksperimenter for at verificer deres ideer. Dette skrives i en artikel, der skal præsenteres mundtligt.

02141, De studerende forventes af have kendskab til regulære og kontekst-frie sprog såvel som semantik; denne baggrund kan opnås i kurset 02141. De studerende skal beherske mindst et programmeringssprog og være i stand til at udnytte de relevante data strukturer.

Forelæsninger, teoretiske og praktiske opgaver.