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-1028 Grundlagen statischer Analysen · TUPlan

← All courses

20-00-1028

Grundlagen statischer Analysen

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

No weekly sessions listed.

Parts

20-00-1028-seSeminar2 contact h/week

Language: Englisch
Taught by: Prof. Dr.-Ing. Ermira Mezini

Course content

Die Grundlagen statischer Analysen, die zur Implementierung von fortgeschrittenen Qualitäts- und Sicherheitsanalysen gebraucht werden. Exemplarische Auswahl der Themen: - Berechnung von Kontrol- und Datenabhängigkeiten in der Gegenwart von unendlichen Schleifen und nicht reduzierbarer Kontrollflussgraphen. - Slicing von Code - Identifikation von Schleifen in Machinencode - Konstruktion von Aufrufgraphen - Statische Analyse Frameworks (z.B., IDE, IFDS, Reactive Async) - "Self-Adaptation" und statische Analysen - Sound(iness) - Specification Mining

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