Statische Programmanalyse: Dataflow Analysis 1

Statische Programmanalyse: Dataflow Analysis 1 (Do, 20.10.2016)

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden

Introduction
Available Expressions Analysis
Live Variables Analysis

00:05:26	Dataflow Analysis: The Approach
00:10:41	Labelled Programs
00:13:31	Control Flow
00:22:00	example
00:27:56	Available Expression Analysis
00:36:23	Formalizing AEA
00:43:20	Equation System
00:58:20	Live Variables Analysis
01:04:44	Formalizing LVA