Statische Programmanalyse: Wrap-Up (Di, 31.01.2017)
  • Einbetten

Beschreibung:

Interprocedural DFA
Pointer Analysis