Module CS5220 T

Duration

1 Semester

Turnus of offer

normally each year in the winter semester

Credit points

6

Course of studies, specific fields and terms:

• Master MES 2020, module part, computer science / electrical engineering
• Master MES 2014, module part, computer science / electrical engineering
• Master Entrepreneurship in Digital Technologies 2020, module part, Module part
• Master Computer Science 2019, module part, Module part

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:

• exam type depends on main module

Responsible for this module:

• Prof. Dr. Martin Leucker

Teacher:

• Institute of Software Technology and Programming Languages
• Prof. Dr. Martin Leucker

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:

Last Updated:

21.10.2021