Data-Flow Analysis of Program Fragments

This publication has 17 references indexed in Scilit:

• Effective whole-program analysis in the presence of pointers
  ACM SIGSOFT Software Engineering Notes, 1998
• Comparing flow and context sensitivity on the modification-side-effects problem
  ACM SIGSOFT Software Engineering Notes, 1998
• Program decomposition for pointer aliasing
  ACM SIGSOFT Software Engineering Notes, 1996
• Separate computation of alias information for reuse
  IEEE Transactions on Software Engineering, 1996
• Efficient context-sensitive pointer analysis for C programs
  ACM SIGPLAN Notices, 1995
• Context-sensitive interprocedural points-to analysis in the presence of function pointers
  ACM SIGPLAN Notices, 1994
• Compositional analysis of modular logic programs
  Published by Association for Computing Machinery (ACM) ,1993
• A safe approximate algorithm for interprocedural aliasing
  ACM SIGPLAN Notices, 1992
• Properties of data flow frameworks
  Acta Informatica, 1990
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977