Statische Programmanalyse
| Semester: | Wintersemester 2016/17 |
| Veranstalter: | Prof. Noll
|
| Bemerkungen: |
|
-
-
Introduction to Program Analysis
- Di, 18.10.2016, 10:15 Uhr
-
-
Dataflow Analysis 1
- Do, 20.10.2016, 10:15 Uhr
- Introduction
Available Expressions Analysis
Live Variables Analysis
-
-
Dataflow Analysis 2
- Di, 25.10.2016, 10:15 Uhr
- Order-Theoretic Foundations
-
-
Dataflow Analysis 3
- Do, 27.10.2016, 10:15 Uhr
-
-
Dataflow Analysis 4
- Do, 03.11.2016, 18:20 Uhr
- Worklist Algorithm
MOP Solution
-
-
Dataflow Analysis 5
- Do, 10.11.2016, 10:15 Uhr
- MOP vs. Fixpoint Solution
-
-
Dataflow Analysis 6
- Di, 15.11.2016, 10:15 Uhr
- Undecidability of MOP Solution
Non-ACC Domains
-
-
Dataflow Analysis 7
- Do, 17.11.2016, 10:15 Uhr
- Narrowing
DFA with Conditional Branches
-
-
Dataflow Analysis 8
- Di, 22.11.2016, 10:15 Uhr
- Conditional Interval Analysis
Java Virtual Machine
-
-
Dataflow Analysis 9
- Do, 24.11.2016, 10:15 Uhr
- Java Bytecode Verification
-
-
Abstract Interpretation 1
- Di, 29.11.2016, 10:15 Uhr
-
-
Abstract Interpretation 2
- Di, 06.12.2016, 10:15 Uhr
-
-
Abstract Interpretation 3
- Di, 13.12.2016, 10:15 Uhr
- Abstract Semantics of WHILE
-
-
Abstract Interpretation 4
- Do, 15.12.2016, 10:15 Uhr
- Application Example: 16-Bit Multiplication
-
-
Abstract Interpretation 5
- Di, 20.12.2016, 10:15 Uhr
- Numerical & Predicate Abstraction
-
-
Abstract Interpretation 6
- Di, 10.01.2017, 10:15 Uhr
- Counterexample-Guided Abstraction Refinement
(CEGAR)
-
-
Abstract Interpretation 7
- Do, 12.01.2017, 10:15 Uhr
- Limits and Improvements of CEGAR
-
-
Interprocedural Dataflow Analysis 1
- Di, 17.01.2017, 10:15 Uhr
-
-
Interprocedural Dataflow Analysis 2
- Do, 19.01.2017, 10:15 Uhr
-
-
Wrap-Up
- Di, 31.01.2017, 10:15 Uhr
- Interprocedural DFA
Pointer Analysis
-
-
Shape Analysis
- Do, 02.02.2017, 10:15 Uhr