ky0n/apsa

Applied Static Analysis

Applied Static Analysis (APSA)

This repository contains the lecture slides related to the lecture Applied Static Analysis.

If you find issues in the lecture notes, exercises or tutorial, don't hesitate to open an issue or to create a pull-request. The latter can easily be done by just editing the respective file online and creating the pull-request.

2019

Lecture

Slides

1. Week
   • Organization.pdf
   • Introduction.pdf
2. Week
   • Java-Bytecode.pdf
3. Week
   • Java-3-Address-Code.pdf
4. Week
   • Data-flow Analysis.pdf
5. Week
   • Monotone Framework.pdf

Complementary Material

1. Week
   None.

2. Week

   • DoNotInvokeThreadRun.scala

3. Week

   • OPAL - Overview and Analyzing Bytecode.pdf
   • OPAL - Analyzing Three Address Code.pdf

4. Week

   • OPAL - Statements and Expressions.pdf

5. Week

   • OPAL - Data Flow Analysis.pdf

Exercise

1. Analyzing Bytecode: Task.pdf ⇒ Solution (Updated: May 2nd)

2. Analyzing Three Address Code: Task.pdf (Updated: May 2nd)

3. Monotone Framework: Task.pdf (Updated: May 2nd)