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] imprint: Karlsruhe: KIT-Bibliothek, 2022 Extent: Online-Ressource Language: English DOI: 10.5445/IR/1000146346 Identifier: Keywords: data-flow analysis ; program dependence graphs ; slicing ; information flow control ; software security ; program analysis ; worklist algorithm ; reachability Origination: University thesis: Dissertation, Karlsruhe, Karlsruher Institut für Technologie (KIT), 2022 Footnote: Access State: Open Access