20-00-0949-iv Applied Static Analysis

Veranstaltungsdetails
Schließen 

Lehrende: Dr.-Ing. Michael Eichberg

Veranstaltungsart: Integrierte Veranstaltung

Orga-Einheit: FB20 Informatik

Anzeige im Stundenplan: APSA

Fach:

Anrechenbar für:

Semesterwochenstunden: 2

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:
Foundations of (scalable) static analyses for large(r) software systems; in particular
- Basic Terminology:
- AST, SSA,
- Object-/ Field-/ Context-/ Flow-/ Path Sensitivity
- (I)CFG
- Inter-procedural analyses
- …
- stack based intermediate representations (JVM Bytecode)
- register based intermediate representations (LLVM IR)
- program transformations and native code analyses using LLVM
Concrete static analyses and algorithms:
- Call graph algorithms for libraries and applications
- Inter procedural data- and control-flow analyses
- IDE/IFDS
- Points-to analyses
- Escape analyses
Applications
- General software quality analyses
- Capability Analysis
- Security Vulnerabilities Detection
- Dead Paths/Computations
- Next generation software development tools

Voraussetzungen:
The lecture is targeted towards Master students with a very high degree of interest in reading, analyzing and also writing code. Basic knowledge in compiler construction is helpful. Deep knowledge of object-oriented programming concepts and in particular of object-oriented programming in Java is required. Interest in learning new programming languages (in particular Scala) is required.

Literatur
Termine
Datum Von Bis Raum Lehrende
1 Do, 14. Apr. 2016 13:30 15:10 S202/C205 - Bosch Hörsaal Dr.-Ing. Michael Eichberg
2 Do, 21. Apr. 2016 13:30 15:10 S202/C205 - Bosch Hörsaal Dr.-Ing. Michael Eichberg
3 Do, 28. Apr. 2016 13:30 15:10 S202/C205 - Bosch Hörsaal Dr.-Ing. Michael Eichberg
4 Do, 12. Mai 2016 13:30 15:10 S202/C205 - Bosch Hörsaal Dr.-Ing. Michael Eichberg
5 Do, 19. Mai 2016 13:30 15:10 S202/C205 - Bosch Hörsaal Dr.-Ing. Michael Eichberg
6 Do, 2. Jun. 2016 13:30 15:10 S202/C205 - Bosch Hörsaal Dr.-Ing. Michael Eichberg
7 Do, 9. Jun. 2016 13:30 15:10 S202/C205 - Bosch Hörsaal Dr.-Ing. Michael Eichberg
8 Do, 16. Jun. 2016 13:30 15:10 S202/C205 - Bosch Hörsaal Dr.-Ing. Michael Eichberg
9 Do, 23. Jun. 2016 13:30 15:10 S202/C205 - Bosch Hörsaal Dr.-Ing. Michael Eichberg
10 Do, 30. Jun. 2016 13:30 15:10 S202/C205 - Bosch Hörsaal Dr.-Ing. Michael Eichberg
11 Do, 7. Jul. 2016 13:30 15:10 S202/C205 - Bosch Hörsaal Dr.-Ing. Michael Eichberg
12 Do, 14. Jul. 2016 13:30 15:10 S202/C205 - Bosch Hörsaal Dr.-Ing. Michael Eichberg
Übersicht der Kurstermine
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
Lehrende
Dr.-Ing. Michael Eichberg