KI744 kim 2 V 4 P 8 1 nein Deutsch Klausur, Projektarbeit KI744 Kommunikationsinformatik 1 Wahlpflichtfach KIM-VMPA Kommunikationsinformatik 1 Wahlpflichtfach PIM-WI55 Praktische Informatik 1 Wahlpflichtfach PIM-VMPA Praktische Informatik 1 Wahlpflichtfach PIM-VMPA Praktische Informatik 1 Wahlpflichtfach TIM-VMPA Technische Informatik 1 Wahlpflichtfach Die Präsenzzeit dieses Moduls umfasst bei 15 Semesterwochen 90 Veranstaltungsstunden (= 67.5 Zeitstunden). Der Gesamtaufwand des Moduls beträgt bei 8 Creditpoints 240 Stunden (30 Stunden/ECTS Punkt). Daher stehen für die Vor- und Nachbereitung der Veranstaltung zusammen mit der Prüfungsvorbereitung 172.5 Stunden zur Verfügung. KI844 Shape Analysis Dr.-Ing. Jörg Herter jh Dr.-Ing. Jörg Herter jh Konzept der/Motivation hinter Virtuellen Maschinen am Beispiel der CMa. Übersetzung von C-Code nach CMa-Code. Kennenlernen der wichtigsten Programmanalysen (Verfügbare Ausdrücke, Intervallanalyse, Konstantenpropagation, Tote Variablen, usw.). Erarbeiten der in der Programmanalyse benutzten (Fixpunkt-)Algorithmen: naive Fixpunktiteration, Round-Robin, Worklist, rekursive Iteration. Verstehen der hinter der Analysemethoden liegenden Mathematik, insb. des Konzepts des vollständigen Verbands. In der Projektarbeit "Statische Analyse von sicherheitskritischem C-Code" werden State-of-the-art-Analysatoren benutzt, um echten Industriecode zu analysieren. Die Studenten erhalten hierbei Einblicke, welche Analysen derzeit technisch möglich sind und wie sich Entwicklung/Programmierstil von sicherheitskritischer Software (z.B. aus der Luft- und Raumfahrt oder der Automobilindustrie) verglichen mit der Entwicklung von "normaler Software" unterscheidet. 1.Einleitung (Höhere Programmiersprachen, Implementierung von Programmiersprachen) 2.Die Architektur der CMa 3.Übersetzung einfacher C-Sprachelemente 4.Übersetzung von structs 5.Übersetzung von Funktionen 6.Einleitung (Programmanalysen und Transformationen) 7.Operationelle Semantik/CFGs 8.Nichtverfügbare und verfügbare Ausdrücke 9.Fixpunktiteration: naiv, Round-Robin, Worklist und rekursive Iteration 10.Mathematischer Hintergrund (Wie können wir beweisen, dass unsere Analyse das beste Ergebnis liefert bzw. überhaupt terminiert?) 11.Lebendige, tote und echt lebendige Variablen 12.Gleichheit von Variablen 13.Konstantenpropagation und Intervallanalyse R. WILHELM, H. SEIDL: Übersetzerbau. Virtuelle Maschinen H. SEIDL, R. WILHELM, S. HACK: Übersetzerbau. Analyse und Transformation F. NIELSON, H. NIELSON, C. HANKIN: Principles of Program Analysis P. COUSOT, R. COUSOT: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints WS 2018/19 WS 2017/18 WS 2016/17 WS 2015/16 WS 2014/15 WS 2013/14 WS 2012/13 WS 2011/12 WS 2010/11 WS 2009/10 WS 2008/09 WS 2007/08 Sun Mar 15 20:51:35 CET 2026, CKEY=kvmup, BKEY=kim, CID=[?], LANGUAGE=de, DATE=15.03.2026