Software Analysis - NUPA008

• Anglický název: Software Analysis
• Zajišťuje: Universität Passau (32-PASSAU)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2025
• Semestr: letní
• E-Kredity: 6
• Rozsah, examinace: letní s.:2/2, Zk [HT]
• Počet míst: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: angličtina
• Způsob výuky: prezenční
• Garant: prof. Stefanie Scherzinger, Ph.D.
• Vyučující: prof. Stefanie Scherzinger, Ph.D.
• Neslučitelnost : NSWI132
• Záměnnost : NSWI132

Anotace

University of Passau - Code: 455368; Lecturer: Fraser; Course content: The course covers the following topics: Control- and Dataflow Analysis. Code Clone Detection. Slicing. Fault localisation. Fuzzing. Defect prediction. Abstract Interpretation. Symbolic Execution. Software model checking. Program repair. Reverse engineering.

Poslední úprava: Holubová Irena, doc. RNDr., Ph.D. (06.03.2025)

Literatura

Will be announced in the lectures. Further reading will be announced for the individual assignments.

Poslední úprava: Holubová Irena, doc. RNDr., Ph.D. (06.03.2025)