Effect handlers enable powerful control flow patterns by capturing and resuming continuations, but no control flow analysis exists for programs using them. Applying existing approaches for other delimited control operators would either lose precision through CPS translation or be computationally intractable. We present the first practical control flow analysis for effect handlers based on big-step semantics. Our key technical contributions are: (1) a novel big-step semantics for effect handlers using environments and stores to avoid unbounded syntactic growth, enabling systematic abstraction via Abstracting Definitional Interpreters [Darais et al. 2017], and (2) a two-component timestamp that tracks both the current call context and the context in which each handler was installed, so that when an operation is dispatched to a handler, its analysis reflects the invocation context that installed it. We prove our concrete semantics equivalent to Bauer and Pretnar’s Bauer and Pretnar 2014 and establish soundness of our abstraction via address freshness. An evaluation on Koka benchmarks shows that our address space has good precision even without context sensitivity, but that our timestamp can close most of the remaining gap in precision while still being tractable on our benchmark suite.