Parameterized Construction of Program Representations for Sparse Dataflow Analyses

André Tavares, Benoit Boissinot, Fernando Pereira +1

Data-flow analyses usually associate information with control flow regions. Informally, if these regions are too small, like a point between two consecutive statements, we call the…