Validating structural properties of nested objects

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2004, Pages 294-304

  Reimer, Darrell ^a   Schonberg, Edith ^a   Srinivas, Kavitha ^a   Srinivasan, Harini ^a   Dolby, Julian ^a   Kershenbaum, Aaron ^a   Koved, Larry ^a  

^a IBM RESEARCH   (United States)

Author keywords

Code validation; Context sensitive analysis; Frameworks

Indexed keywords

CODE VALIDATION; CONTEXT-SENSITIVE ANALYSIS; DATA CORRUPTION; DATA LOSS; DEVELOPMENT TIME; E-COMMERCE APPLICATIONS; ERROR REDUCTION; FRAMEWORKS; J2EE FRAMEWORK; RACE CONDITION; RUNTIMES; SOFTWARE RE-USE; VALIDATION TOOLS;

BEAM PLASMA INTERACTIONS; COMPUTER SOFTWARE REUSABILITY; COMPUTER SYSTEMS PROGRAMMING; DATA STRUCTURES;

OBJECT ORIENTED PROGRAMMING;

EID: 43149118291     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1028664.1028774     Document Type: Conference Paper

References (26)

1. O. Agesen. The Cartesian Product Algorithm: Simple and precise type inference of parametric polymorphism. In Proc. ECOOP '95, August 1995. Springer-Verlag 1995.
2. T. Ball and S. K. Rajamani. The SLAM project: debugging system software via static analysis, In Proc. of the 29th POPL, January 2002, 1-3. (Pubitemid 35009025)
3. D. Bacon, J. Bloch, J. Bogda, C. Click, P. Haahr, D. Lea, T. May, J. Maessen, J.D. Mitchell, K. Nilsen, W. Pugh, E.G. Sirer. The "Double check locking is broken". http://www.cs.umd.edu/~pugh/java/memoryModel/ DoubleCheckedLocking.html.
4. W. R. Bush, J. D. Pincus, and D. J. Sielaff. A static analyzer for finding dynamic programming errors. Software Practice and Experience, 30 (7), June 2000, 775-802.
5. H. Chen and D. Wagner. MOPS: an infrastructure for examining security properties of software, In Proc. of the Ninth ACM Conference on Computer and Communications Security (Washington, DC, November 2002), 235-244.
6. J-D Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreded object-oriented programs. In Proc. Of the ACM SIGPLAN 2002 PLDI, 2002.
7. J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, S. Laubach, H. Zheng. Bandera: Extracting Finite-state Models from Java Source Code. In Proc. Of ICSE, 2000.
8. M. Das, S. Lerner, M. Seigle. ESP: Path-Sensitive Program Verification in Linear Time, In Proc. of PLDI 2002.
9. D. L. Detlefs. An overview of the extended static checking system. SIGSOFT Proceedings of the First Workshop on Formal Methods in Software Practice, January 1996, 1-9.
10. M. Emami, R. Ghiya, and L. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers, In Proc. of PLDI, June 1994, 242-257.
11. th ACM symposium on Operating systems principles, 2003, 237-252. (Pubitemid 40929700)
12. D. Engler, B. Chelf, A. Chou and S. Hallem, Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions, In Proc. of SOSP, October 2000, 1-16.
13. D. Evans. Static Detection of Dynamic Memory Errors. In Proc. of PLDI, May 1996, 44-53.
14. S. Hallem, B. Chelf, Y. Xie and D. Engler, A System and Language for Building System-Specific, Static Analyses, In Proc. of PLDI, June 2002, 69-82. (Pubitemid 34991508)
15. D. Hovemeyer and W. Pugh, Finding Bugs is Easy, http://www.cs.umd.edu/ ~pugh/java/bugs/docs/findbugsPaper.pdf
16. D. Jackson. Aspect: Detecting bugs with abstract dependencies. ACM Trans. on Software Engineering and Methodology, 4 (2), April 1995, 109-145.
17. Java™ 2 Platform, Enterprise Edition Specification, v1.4 API Specification, Sun Microsystems. 11/24/2003.
18. S.C. Johnson. Lint, a C program checker. Unix Programmer's Manual, 4.2 Berkeley Software Distribution Supplementary Docs; U.C. Berkeley, 1984.
19. L. Koved, M. Pistoia, and A. Kershenbaum. Access rights analysis for Java, In Proc. of OOPSLA, Nov 2002.
20. K.M. Leino, G. Nelson, and J. Saxe. ESC/Java User's Manual. Technical note 2000-002, Compaq Systems Research Center, Oct. 2001.
21. A. Milanova, A. Rountev, B. Ryder. Parameterized object sensitivity for points-to and side-effect analyses for Java, Proc. ISSTA 2002, July 2002.
22. Parasoft Corporation. Automatic Java[TM] software and component testing: using Jtest to automate unit testing and coding standard enforcement, http://www.parasoft.com/jsp/products/article.jsp?articleId=839&product= Jtest.
23. D. Reimer, K. Srinivas, H. Srinivasan, R.D. Johnson, and L. Koved. SABER: Smart Analysis Based Error Reduction. IBM Research Report, 2004.
24. S. Savage, M. Burrrows, G. Nelson, P. Sobalvarro and T. Anderson. Eraser: A dynamic data race detector for multithreaded programming. ACM Transactions on Computer Systems, 15(4): 391-411. 1997. (Pubitemid 127449840)
25. N. Sterling. Warlock: a static data race analysis tool. In USENIX Proceedings, Winter Technical Conference, 1993, 97-106.
26. J. Viega, J. T. Bloch, T. Kohno, G. McGraw. ITS4: A Static Vulnerability Scanner for C and C++ Code, In Proc. of the 16th Annual Computer Security Applications Conference, December 2000, 257-269.