Module Handbook

  • Dynamischer Default-Fachbereich geändert auf INF

Module INF-56-01-M-6

Program Analysis (M, 6.0 LP)

Module Identification

Module Number Module Name CP (Effort)
INF-56-01-M-6 Program Analysis 6.0 CP (180 h)

Basedata

CP, Effort 6.0 CP = 180 h
Position of the semester 1 Sem. in WiSe
Level [6] Master (General)
Language [EN] English
Module Manager
Lecturers
Area of study [INF-ALG] Algorithmics and Deduction
Reference course of study [INF-88.79-SG] M.Sc. Computer Science
Livecycle-State [NORM] Active

Courses

Type/SWS Course Number Title Choice in
Module-Part
Presence-Time /
Self-Study
SL SL is
required for exa.
PL CP Sem.
3V+1U INF-56-01-K-6
Program Analysis
P 56 h 124 h
U-Schein
- PL1 6.0 WiSe
  • About [INF-56-01-K-6]: Title: "Program Analysis"; Presence-Time: 56 h; Self-Study: 124 h
  • About [INF-56-01-K-6]: The study achievement "[U-Schein] proof of successful participation in the exercise classes (ungraded)" must be obtained.

Examination achievement PL1

  • Form of examination: written exam (Klausur) (60-180 Min.)
  • Examination Frequency: each winter semester
  • Examination number: 65602 ("Program Analysis")

Evaluation of grades

The grade of the module examination is also the module grade.


Contents

  • Lattice theory and static analysis
  • Abstract interpretation
  • Predicate abstraction and abstraction refinement
  • Interprocedural dataflow analysis
  • Deductive verification
  • Invariant generation
  • Dynamic analysis
  • Weakest preconditions
  • Automatic test case generation
  • Symbolic execution

Competencies / intended learning achievements

After successfully completing the module, students will be able to
  • introduce the key ideas behind program analysis techniques,
  • develop an intuition of what kind of problems static and dynamic analysis techniques can or cannot solve,
  • explain the trade-offs in, e.g., efficiency and accuracy,
  • provide an overview of the application areas of program analysis.

Literature

Will be announced during the lecture.

Requirements for attendance of the module (informal)

Courses

Requirements for attendance of the module (formal)

None

References to Module / Module Number [INF-56-01-M-6]

Course of Study Section Choice/Obligation
[INF-88.79-SG] M.Sc. Computer Science [Specialisation] Specialization 1 [WP] Compulsory Elective
[INF-88.79-SG] M.Sc. Computer Science [Specialisation] Specialization 1 [WP] Compulsory Elective