De studerende vil automatisk kunne udlede fakta fra programmer vha. forskellige programanalyser. En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:

• 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. 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. Kurset vil gøre brug af relevante artikler og forelæsningsnotater. Materialer vi blive tilgængeligt på DTU Learn. 02. maj, 2025