Control-Flow Analysis in Cubic Time
Abstract elided by the publisher.
Related papers
- Linear-time Subtransitive Control Flow Analysis PLDI 1997
- Accelerated Data-Flow Analysis SAS 2007
- Practical Integrated Analysis of Pointers, Dataflow and Control Flow TOPLAS 2013
- Flow Analysis, Linearity, and PTIME SAS 2008
- Points-to analysis with efficient strong updates POPL 2011
- Fast and Accurate Flow-Insensitive Points-To Analysis POPL 1997
- Symbolic Programming Analysis in Almost Linear Time POPL 1978
- Indexing the extended Dyck-CFL reachability for context-sensitive program analysis OOPSLA 2022