On inter-procedural analysis of programs with lists and data

  title={On inter-procedural analysis of programs with lists and data},
  author={Ahmed Bouajjani and Cezara Dragoi and Constantin Enea and Mihaela Sighireanu},
We address the problem of automatic synthesis of assertions on sequential programs with singly-linked lists containing data over infinite domains such as integers or reals. Our approach is based on an accurate abstract inter-procedural analysis. Program configurations are represented by graphs where nodes represent list segments without sharing. The data in these list segments are characterized by constraints in abstract domains. We consider a domain where constraints are in a universally… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS
21 Extracted Citations
6 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-6 of 6 references

and M

  • A. Bouajjani, C. Drăgoi, C. Enea, A. Rezine
  • Sighi reanu. Invariant synthesis for programs…
  • 2010
Highly Influential
9 Excerpts

and R

  • N. Rinetzky, J. Bauer, T. W. Reps, S. Sagiv
  • Wilhel m. A semantics for procedure local heaps…
  • 2005
Highly Influential
5 Excerpts


  • C. Calcagno
  • Distefano, P.W. O’Hearn, and H. Yang. Com p…
  • 2009
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…