Lightweight extraction of syntactic specifications

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2006, Pages 276-286

  Taghdiri, Mana ^a   Seater, Robert ^a   Jackson, Daniel ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Modular abstraction; Symbolic execution; Symbolic summary; Syntactic specification

Indexed keywords

APPROXIMATION THEORY; CODES (SYMBOLS); GRAPH THEORY;

CONTROL FLOW GRAPH; MODULAR ABSTRACTION; SYMBOLIC EXECUTION; SYMBOLIC SUMMARY; SYNTACTIC SPECIFICATION;

SYNTACTICS;

EID: 34547250308     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1181775.1181809     Document Type: Conference Paper

References (18)

1. I. Balaban, A. Pnueli, and L. Zuck. Shape analysis by predicate abstraction. In Proc. of VMCAI, 2005.
2. J. Choi, M. Burke, and P. Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In Proc. of POPL, 1993.
3. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proc. of POPL, pages 238-252, Jan 1977.
4. T. Freeman and F. Pfenning. Refinement types for ML. In Proc. of Programming Languages Design and Implementation, 1991.
5. M. Hind and A. Pioli. Which pointer analysis should I use? In Proc. of International Symposium on Software Testing and Analysis, 2000.
6. D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proc. of Foundations of Software Engineering, pages 62-73, Sep 2001.
7. B. Jeannet, A. Loginov, T. Reps, and M. Sagiv. A relational approach to interprocedural shape analysis. In Proc. of SAS, pages 246-264, 2004.
8. A. Milanova, A. Rountev, and B. G. Ryder. Parameterized object sensitivity for points-to and side-effect analyses for Java. In Proc. of International Symposium on Software Testing and Analysis, 2002.
9. OpenJGraph. http://openjgraph.sourceforge.net/.
10. A. Podelski and T. Wies. Boolean heaps. In Proc. of Static Analysis Symposium, 2005.
11. A. Rountev. Precise identification of side-effect-free methods in java. IEEE International Conference on Software Maintenance, 2004.
12. M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. A CM Transactions on Programming Languages and Systems, 20(1):1-50, 1998.
13. M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. A CM Transactions on Programming Languages and Systems, 24(3):217-298, 2002.
14. A. D. Salcianu and M. Rinard. Purity and side effect analysis for Java programs. In Proc. of VMCAI, 2005.
15. M. Taghdiri. Inferring specifications to detect errors in code. In Proc. of Automated Software Engineering, pages 144-153, Sep 2004.
16. O. Tkachuk and M. Dwyer. Adapting side effects analysis for modular program model checking. In Proc. of Foundations of Software Engineering, 2003.
17. R. Valle-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot - a Java optimization framework. In Proc. of CASCON, 1999.
18. T. Wies, V. Kuncak, P. Lam, A. Podelski, and M. Rinard. On field constraint analysis. In Proc. of VMCAI, 2006.