Lecture: 2.01.481 Software Analysis - Details

Lecture: 2.01.481 Software Analysis - Details

You are not logged into Stud.IP.

General information

Course name Lecture: 2.01.481 Software Analysis
Subtitle inf481
Course number 2.01.481
Semester SoSe2023
Current number of participants 30
expected number of participants 20
Home institute Department of Computing Science
Courses type Lecture in category Teaching
First date Tuesday, 11.04.2023 10:15 - 11:45, Room: A04 4-411
Type/Form
Lehrsprache deutsch

Rooms and times

A04 4-411
Tuesday: 10:15 - 11:45, weekly (12x)
Thursday: 10:15 - 11:45, weekly (10x)
(A04 2-220)
Tuesday: 10:15 - 11:45, weekly (2x)
Thursday: 10:15 - 11:45, weekly (3x)

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 study different software analysis techniques, in particular various data-flow analyses and abstract interpretation.

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.