Turnus of offer:
normally each year in the winter semester
Course of studies, specific field and terms:
- Master IT-Security 2019 (optional subject), IT Safety and Reliability, 1st, 2nd, or 3rd semester
Classes and lectures:
- Static Analysis (exercise, 1 SWS)
- Static Analysis (lecture, 3 SWS)
- 60 Hours in-classroom work
- 100 Hours private studies
- 20 Hours exam preparation
Contents of teaching:
- Definitions, capabilities, differentiation
- Program analysis
- Data flow analysis
- Abstract Interpretation
- Symbolic Execution
- SMT/SAT Solvers
- Hoare logic, wp calculus
- Software metrics
- Bytecode analysis
- Manual code inspection
- The students can illustrate the capabilities of static analysis.
- They can explain and classify the techniques for automatic static source code analysis.
- They can select appropriate analysis methods, and employ and combine them.
- They can relate, compare and evaluate various static methods in order to increase software quality.
- They can describe approaches for bytecode analysis.
- They can select and apply common tools for static analysis.
- They can organize and execute manual code inspections.
- written exam, oral exam and/or presentation as announced by the examiner
Responsible for this module:
- F. Nielson, H.R. Nielson, C. Hankin: Principles of Program Analysis - Springer, 2010
- H. Seidl, R. Wilhelm, S. Hack: Übersetzerbau Band 3: Analyse und Transformation - Springer 2010
- English, except in case of only German-speaking participants
Admission requirements for taking the module:
Admission requirements for participation in module examination(s):
- Successful completion of exercises as specified at the beginning of the semester.
- CS5220-L1: Static Analysis, oral exam, 100% of module grade.
Letzte Änderung: 1.2.2022