20-00-0580

Statische und dynamische Programmanalyse

FB20 Computer Science · 6 CP · Offered in WiSe 2026/27, WiSe 2025/26

Grade distribution

Average of averages

2.31

Every semester counts equally, whatever its size.

Pooled average

2.35

Weighted by cohort size — what an arbitrary student across all semesters scored.

Pass rate

94%

Share of results at 4.0 or better. 4.0 is the last passing grade.

Semesters with data

The German scale runs 1.0 (best) to 4.0 (last pass), with 5.0 as fail. There is no 4.3.

By semester

WiSe 2025/26

∅ 2.15625 results12% failedReported via extension

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 2Missing (no reason): 9Reported Sep 17, 2026

WiSe 2024/25

∅ 2.47141 results2% failedReported via extension

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 4Missing (no reason): 14Reported Sep 17, 2026

Was this course worth it?

No ratings yet — be the first.

Your vote is stored against a random id in this browser. No account, nothing that identifies you.

Weekly sessions

Tue13:30–15:10S101/A3 · Integrierte Veranstaltung
Wed13:30–15:10S202/C110 · Integrierte Veranstaltung

Parts

20-00-0580-ivIntegrated course4 contact h/week

Language: Englisch
Taught by: Prof. Dr.-Ing. Heiko Mantel

Course content

- operationelle Semantiken für sequentielle und parallele Programme - Übersicht über Techniken zur statischen und dynamischen Programmanalyse - Abstrakte Interpretation - Datenflussanalysen - Slicing-Techniken - typbasierte Programmanalysen - Konzepte der Laufzeitüberwachung - Implementierungstechniken zur Laufzeitüberwachung - Sprachbasierte Sicherheit - Korrektheit und Präzision von Programmanalysen

Exam dates

No exam date published.

Add to planner

Times, rooms and details come from TUCaN and may be out of date. Report something wrong

Grade distribution

Average of averages

2.31

Every semester counts equally, whatever its size.

Pooled average

2.35

Weighted by cohort size — what an arbitrary student across all semesters scored.

Pass rate

94%

Share of results at 4.0 or better. 4.0 is the last passing grade.

Semesters with data

The German scale runs 1.0 (best) to 4.0 (last pass), with 5.0 as fail. There is no 4.3.

By semester

WiSe 2025/26

∅ 2.15625 results12% failedReported via extension

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 2Missing (no reason): 9Reported Sep 17, 2026

WiSe 2024/25

∅ 2.47141 results2% failedReported via extension

1,0

1,3

1,7

2,0

2,3

2,7

3,0

3,3

3,7

4,0

5,0

Missing (medical excuse): 4Missing (no reason): 14Reported Sep 17, 2026