First push: the dataflow analysis framework