Wird geladen…

TUPlan ist eine unabhängige, von Studierenden gebaute Planungshilfe. Sie steht in keiner Verbindung zur TU Darmstadt und wird weder von ihr betrieben noch unterstützt. Verbindlich für Anmeldung, Prüfungen und Noten bleibt allein TUCaN.

Impressum Datenschutz Nutzungsbedingungen

20-00-1028 Grundlagen statischer Analysen · TUPlan

← Alle Kurse

20-00-1028

Grundlagen statischer Analysen

FB20 Informatik · Angeboten in WiSe 2025/26

Für diesen Kurs wurden noch keine Noten gemeldet.

Notenverteilungen kommen herein, sobald jemand, der den Kurs belegt hat, den Notenspiegel mit installierter TUPlan-Erweiterung öffnet.

Erweiterung installieren (öffnet in neuem Tab)Noch nicht im Chrome Web Store — der Link führt vorerst zur Store-Suche.

Hat sich der Kurs gelohnt?

Noch keine Bewertungen — mach den Anfang.

Deine Bewertung hängt an einer zufälligen ID in diesem Browser. Kein Konto, nichts, was dich identifiziert.

Wöchentliche Termine · WiSe 2025/26

Keine wöchentlichen Termine hinterlegt.

Bestandteile

20-00-1028-seSeminar2 SWS

Sprache: Englisch
Lehrende: Prof. Dr.-Ing. Ermira Mezini

Lehrinhalte

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

Prüfungstermine

Kein Prüfungstermin veröffentlicht.

Zum Stundenplan hinzufügen

Termine, Räume und Angaben stammen aus TUCaN und können veraltet sein. Falsche Angabe melden