Systematic Approaches to Advanced Information Flow Analysis and Applications to Software Security

Více o knize

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.