Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right) Show image information

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right)

Lecture: Software Analysis (in English)

Lecturer: Prof. Dr. Heike Wehrheim
Tutorial: Jürgen König
Lab: Felix Pauck

This lecture will be organized via PANDA. All material regarding this lecture can be found there. Please register in PAUL to attend this course. You will be automatically registered in PANDA after your PAUL registration.

Contents

This course deals with static analysis techniques that can be used to analyze programs in order to determine, evaluate or verify certain properties. The definition of a framework that can be used to design and implement static analyses along with a presentation of different analyses stands in the focus of this course. The presented analyses can be valuable for code optimizations or helpful during the verification of programs. In addition, frameworks and tools that allow the definition, implementation and execution of static (and dynamic) analyses are introduced and practically used.

Course Information

The course is divided into two parts. The first part takes place during the first two-thirds of the semester. The lecture and the tutorial as well as the exercise sheets are part of this phase. Thereafter, the acquired knowledge is practically used and discussed in the laboratory. Furthermore, each participant of the course works autonomously on a research paper during this phase.

  • The course will be taught in English.
  • Audience: Students working towards a Master degree in Computer Science.
  • The course belongs to the modules:
    • III.1.1 Model-based software development and III.1.5 Analytical Methods in Software Engineering
    • 3.47 Software Analysis
  • Credit points: 4 ECTS (1st part only - old examination regulations) / 6 ECTS (full course - new examination regulations)

Recommended Reading

[1] Nielson, Flemming, Hanne R. Nielson, and Chris Hankin. Principles of program analysis. Springer, 1999. (university library)

Important Information

Lab-Deadlines revoked! During the upcoming lab sessions EVERYONE is permitted to present ANY lab exercise solution.

There will be four more lab sessions (see Dates)

Contact

Prof. Dr. Heike Wehrheim

Specification and Modelling of Software Systems

Heike Wehrheim
Phone:
+49 5251 60-4331
Office:
O4.225
Web:

Jürgen König

Specification and Modelling of Software Systems

Jürgen König
Phone:
+49 5251 60-1715
Office:
O4.134
Web:

Felix Pauck

Specification and Modelling of Software Systems

Felix Pauck
Phone:
+49 5251 60-1765
Fax:
+49 5251 60-3993
Office:
O4.128
Web:

Office hours:

Availability (Working hours):
Monday - Friday
07:00 am until ~03:30 pm

The University for the Information Society