Loading…

TUPlan is an independent, student-built planning aid. It is not affiliated with, endorsed by, or operated by TU Darmstadt. TUCaN remains the system of record for registration, exams and grades.

Impressum Privacy Terms

20-00-0580 Statische und dynamische Programmanalyse · TUPlan

← All courses

20-00-0580

Statische und dynamische Programmanalyse

FB20 Computer Science · Offered in WiSe 2025/26

No grade data reported for this course yet.

Grade distributions arrive when a student who took the course opens their Notenspiegel with the TUPlan extension installed.

Install the extension (opens in a new tab)Not in the Chrome Web Store yet — for now the link goes to a store search.

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 · WiSe 2025/26

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