<aside> <img src="/icons/camping-tent_purple.svg" alt="/icons/camping-tent_purple.svg" width="40px" /> Basis

1. Introduction

2. Intermediate Representation

</aside>

<aside> <img src="/icons/sailboat_blue.svg" alt="/icons/sailboat_blue.svg" width="40px" /> Data Flow Analysis

3. DFA — Applications

Reaching Definitions

Live Variablesa

Availavle Expressions

4. DFA — Foundations

Lattice

Fixed Point Theorem

Constant Propagation

Worklist Algorithm

5. Interprocedural Analysis

</aside>

<aside> <img src="/icons/cursor-click_green.svg" alt="/icons/cursor-click_green.svg" width="40px" /> Pointer Analysis

6. PTA

7. PTA - Foundations

8. PTA - Context Sensitivity

</aside>

<aside> 💡 Advanced

9. Security

10. Datalog-Based Program Analysis

11. CFL-Reachability and IFDS

</aside>