Lecture: 2.01.481 Software Analysis - Details

Lecture: 2.01.481 Software Analysis - Details

General information

Course name Lecture: 2.01.481 Software Analysis
Subtitle inf481
Course number 2.01.481
Semester SoSe2025
Current number of participants 42
expected number of participants 40
Home institute Department of Computing Science
Courses type Lecture in category Teaching
First date Monday, 07.04.25, 08:00 - 10:00 o'clock A04 2-221
Type/Form V+Ü
Lehrsprache deutsch und englisch

Rooms and times

A04 2-221

  • Monday, 08:00 - 10:00, Weekly (from 07.04.25)
  • Thursday, 14:00 - 16:00, Weekly (from 10.04.25)
  • Thursday, 17.07.25, 14:00 - 16:00 o'clock

Module assignments

Comment/Description

Software analyses extract facts about programs from source code. Such facts
can be employed by compilers to optimize programs during compilation, but
can also be used to verify correctness of programs. In this course, we will get to know different analysis techniques and also implement some ourselves.

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
The following rules apply for the admission:
  • Admission locked.