Module CS5220-KP06
Static Analysis (StatAna)
Duration
1 Semester
Turnus of offer
normally each year in the winter semester
Credit points
6
Course of studies, specific fields and terms:
- Master IT-Security 2019, optional subject, IT Safety and Reliability
Classes and lectures:
- Static Analysis (exercise, 1 SWS)
- Static Analysis (lecture, 3 SWS)
Workload:
- 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
Qualification-goals/Competencies:
- 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:
Literature:
- 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
Language:
- English, except in case of only German-speaking participants
Notes:
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.
Last Updated:
01.02.2022