08.079.732 Programmanalyse

Lehrende/r: Univ.-Prof. Dr. Sebastian Erdweg; Sven Keidel

Veranstaltungsart: Vorlesung/Übung

Anzeige im Stundenplan: 08.079.732

Semesterwochenstunden: 4

Credits: 6,0

Unterrichtssprache: Deutsch

Min. | Max. Teilnehmerzahl: - | -

Voraussetzungen / Organisatorisches:
Vorlesung "Programmiersprachen". Gute Programmierkenntnisse.

Inhalt:
Programmanalysen sind ein fundamentales Werkzeug der Softwareentwicklung und treten in vielfältiger Form in der Praxis auf. Man kann dabei grob drei Einsatzgebiete von Programmanalysen unterscheiden:

1. Zum Bug Finding verwendet man Analysen, die Fehlerquellen in einem Program auffinden bzw. die Abstinenz solcher Fehler validieren. Zum Beispiel: type checking, bounds checking, information flow.
   
2. Für Compiler Optimierungen verwendet man Analysen, die Eigenschaften eines Programms berechnen, welche Optimierungen ermöglichen. Zum Beispiel: reaching definitions, constant propagation.
   
3. Für Editor Support verwendet man Analysen, die Informationen über ein Programm ableiten um damit Tools zu speisen, die Entwickler beim Programmieren unterstützen. Zum Beispiel: Code completion, Refactorings.
   

• Code smells
  
• Program semantics
  
• Dynamic analysis
  
• Type systems
  
• Control-flow graphs and data-flow analyses
  
• Abstract interpretation
  
• Soundness, Recall, and Precision
  

Empfohlene Literatur:

• Fachartikel, die im Laufe der Veranstaltung bekanntgegeben werden
  
• "Types and Programming Languages" von Benjamin C. Pierce
  
• "Principles of Program Analysis" von Flemming Nielson, Hanne R. Nielson, and Chris Hankin