Towards a tool kit for the automatic generation of interprocedural data flow analyses

@article{Knoop1996TowardsAT,
  title={Towards a tool kit for the automatic generation of interprocedural data flow analyses},
  author={Jens Knoop and Oliver R{\"u}thing and Bernhard Steffen},
  journal={J. Prog. Lang.},
  year={1996},
  volume={4},
  pages={211-246}
}
Frameworks for interprocedural data ow analysis (DFA) often have a foundational character: designing concrete applications requires usually a deep understanding of the framework. Here, we reconsider interprocedural DFA from an application-oriented point of view, where all details irrelevant for application are hidden. In this view the underlying framework, which captures programs with mutually recursive procedures, global and local variables, formal value and reference parameters, reduces to a… CONTINUE READING

Similar Papers

Loading similar papers…