Lunch seminar: Modern use of control dependency in static program analysis
Welcome to the next Software Center lunch seminar hosted by theme 2! Title: The 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