- This event has passed.
Lunch seminar: Modern use of control dependency in static program analysis
May 23, 2022 @ 12:00 - 12:30
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 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.
Most welcome to the seminar and please share this invitation with your colleagues!
____________________________________________________________
Microsoft Teams-möte
Jobba på datorn eller mobilappen
Klicka här för att ansluta till mötet
Eller ring in (endast ljud)
+46 8 505 218 36,,214060663# Sweden, Stockholm
Telefonkonferens-ID: 214 060 663#
Hitta ett lokalt nummer | Återställ PIN-kod
____________________________________________