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

I Report On Applications Of Slicing And Program Dependence Graphs (pdgs) To Software Security. Moreover, I Propose A Framework That Generalizes Both Data-flow Analysis On Control-flow Graphs And Slicing On Pdgs. This Framework Can Be Used To Systematically Derive Data-flow-like Analyses On Pdgs That Go Beyond Slicing. I Demonstrate That Data-flow Analysis Can Be Systematically Applied To Pdgs And Show The Practicability Of My Approach.