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

Post Exam Review

The post exam review will be on Wednesday, July 24th, at 3pm in my office (A206).

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

6. Week

   • BasicCallGraphAlgorithms.pdf
   • ModularAnalysis.pdf

7. Week

   • AdvancedCallGraphAlgorithms.pdf

8. Week

   • IntroductionToPointsToAndAliasAnalysis.pdf
   • IFDS.pdf

9. Week (external lecture)

   • Static Analysis For Continuous Quality Improvement - Sven Amann at CQSE.pdf

10. Week

    • Pointer Analysis.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

6. Week

   • OPAL - Fixed Point Computations Framework.pdf

7. Week None.

8. Week

   • VTAExtract.scala

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)

4. Fixed Point Computations Framework: Task.pdf

5. Taint-flow analysis with IFDS: Task.pdf