Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
Mohr, Martin
1
1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)
11 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)
Abstract (englisch):
I report on applications of slicing and program dependence graphs (PDGs) to software security. Moreover, I propose a framework that generalizes both data-flow analysis on control-flow graphs and slicing on PDGs. This framework can be used to systematically derive data-flow-like analyses on PDGs that go beyond slicing. I demonstrate that data-flow analysis can be systematically applied to PDGs and show the practicability of my approach.
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Hochschulschrift |
| Publikationsjahr | 2023 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-7315-1275-2 KITopen-ID: 1000155035 |
| Verlag | KIT Scientific Publishing |
| Umfang | XIV, 441 S. |
| Art der Arbeit | Dissertation |
| Fakultät | Fakultät für Informatik (INFORMATIK) |
| Institut | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Prüfungsdaten | 06.05.2022 |
| Prüfungsdatum | 06.05.2022 |
| Schlagwörter | Programmabhängigkeitsgraphen, Slicing, Informationsflusskontrolle, Datenflussanalyse, Kontrollflussgraphen, program dependence graphs, slicing, information flow control data-flow analysis, control-flow graphs |
| Relationen in KITopen | |
| Referent/Betreuer | Snelting, Gregor Hammer, Christian |