New video: Modern use of control dependency in static program analysis
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