Media type: E-Book Title: Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security Contributor: Mohr, Martin [Verfasser]; Snelting, Gregor [Akademischer Betreuer]; Hammer, Christian [Akademischer Betreuer] imprint: Karlsruhe: KIT Scientific Publishing, 2023 Extent: Online-Ressource Language: English DOI: 10.5445/KSP/1000155035 ISBN: 9783731512752 Identifier: Keywords: Statische Analyse ; Kontrollflussdiagramm ; Program Slicing ; Kontrollfluss ; Abhängigkeitsgraph ; Verifikation ; Programmanalyse ; Programmabhängigkeitsgraphen ; Slicing ; Informationsflusskontrolle ; Datenflussanalyse ; Kontrollflussgraphen ; program dependence graphs ; slicing ; information flow control data-flow analysis ; control-flow graphs Origination: University thesis: Dissertation, Karlsruhe, Karlsruher Institut für Technologie (KIT), 2022 Footnote: Access State: Open Access