Modul CS5220-KP06

Static Analysis (StatAna)


1 Semester
Turnus of offer:

normally each year in the winter semester
Credit points:

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.
Grading through:
  • 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:
- None

Admission requirements for participation in module examination(s):
- Successful completion of exercises as specified at the beginning of the semester.

Module Exam(s):
- CS5220-L1: Static Analysis, oral exam, 100% of module grade.

Letzte Änderung: