Software Analysis - NUPA008

• Title: Software Analysis
• Guaranteed by: University of Passau (32-PASSAU)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2025
• Semester: summer
• E-Credits: 6
• Hours per week, examination: summer s.:2/2, Ex [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: taught
• Language: English
• Teaching methods: full-time
• Guarantor: prof. Stefanie Scherzinger, Ph.D.
• Teacher(s): prof. Stefanie Scherzinger, Ph.D.
• Incompatibility : NSWI132
• Interchangeability : NSWI132

Annotation

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.

Last update: Holubová Irena, doc. RNDr., Ph.D. (06.03.2025)

Literature

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

Last update: Holubová Irena, doc. RNDr., Ph.D. (06.03.2025)