Jan Vítek

Precise Dataflow Analysis of Event-Driven Applications

2019 · arXiv (Cornell University)

Event-driven programming is widely used for implementing user interfaces, web applications, and non-blocking I/O. An event-driven program is organized as a collection of event handlers whose execution is triggered by events. Traditional static analysis techniques …