Systematic Approaches to Advanced Information Flow Analysis and Applications to Software Security
- 466bladzijden
- 17 uur lezen
Focusing on software security, the book explores the applications of slicing and program dependence graphs (PDGs). It introduces a framework that extends data-flow analysis and slicing, enabling the derivation of advanced data-flow analyses on PDGs. Through practical demonstrations, the author illustrates how data-flow analysis can be effectively applied to PDGs, showcasing the framework's capabilities and potential in enhancing software security measures.
