Recording of Software Center lunch seminar from May 23: Modern use of control dependency in static program analysis
Speaker: Abu Naser Masud, Mälardalen University
Control dependency (CD) is a fundamental concept used in many program analysis techniques such as program slicing, debugging, parallelization, software testing, detecting security leaks, etc. Since the introduction of CD in the late eighties, numerous extensions of the standard definition and computation methods have been developed over time to deal with the modern programming language constructs. In this talk, I will discuss the most generalized version of control dependency, namely weak and strong control closure, and their implication in static program analysis. I will showcase how these concepts can be used in program slicing and detecting timing leaks (a security vulnerability) in modern software.