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

Mehr zum Buch

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.