Modul CS5220-KP06

Duration:

Turnus of offer:

Course of studies, specific field and terms:

• Master IT-Security 2019 (optional subject), IT Safety and Reliability, 1st, 2nd, or 3rd semester

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:

• Prof. Dr. Martin Leucker

Teachers:

• 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:

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: