General information

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

Lecturers

Räume und Zeiten

A04 4-411: Tuesday: 10:15 - 11:45, weekly (14x); Thursday: 10:15 - 11:45, weekly (13x)

Module assignments

Campusmanagementsystem Stud.IP
- Computing Science - Master's Programme
  - Theoretische Informatik
    - inf481 - Software Analysis
      - Exercises
      - Lecture

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.