- 1. Motivation
- 2. Introduction to Datalog
- 3. Pointer Analysis via Datalog
- 4. Taint Analysis via Datalog
1. Motivation
2. Introduction to Datalog
3. Pointer Analysis via Datalog
4. Taint Analysis via Datalog
Datelog-Based Program analysis
2023-01-21