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.
