Title: Static Analysis
Subjects: Datenfluss, Programmtest, Programmverifikation, Statische Analyse, Kontrollfluss, Programmtransformation