Continuous code-quality assurance with SAFE

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2006, Pages 145-149

  Geay, Emmanuel ^a   Yahav, Eran ^a   Fink, Stephen ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BUG FINDING; INTEGRATES TYPESTATE; LIGHTWEIGHT PROGRAM; SAFE;

CODES (SYMBOLS); DATA STRUCTURES; ERROR DETECTION; JAVA PROGRAMMING LANGUAGE; PATTERN MATCHING; STATIC ANALYSIS;

QUALITY ASSURANCE;

EID: 34250646711     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1111542.1111567     Document Type: Conference Paper

References (22)

1. Apache Ant. http://ant.apache.org/.
2. T. Ball and S. K. Rajamani. The slam project: debugging system software via static analysis. In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 1-3, New York, NY, USA, 2002. ACM Press.
3. D. Chase, M. Wegman, and F. Zadeck. Analysis of pointers and structures. In Proc. Conf. on Prog. Lang. Design and Impl., pages 296-310, New York, NY, 1990. ACM Press.
4. H. Chen and D. Wagner. Mops: an infrastructure for examining security properties of software. In CCS '02: Proceedings of the 9th ACM conference on Computer and communications security, pages 235-244, New York, NY, USA, 2002. ACM Press.
5. CodeReview. http://www-128.ibm.com/developerworks/rational/library/05/ higgins.
6. CruiseControl. http://cruisecontrol.sourceforge.net.
7. M. Das, S. Lerner, and M. Seigle. ESP: Path-sensitive program verification in polynomial time. In Proc. Conf. on Prog. Lung. Design and Impl., pages 57-68, June 2002.
8. J. Field, D. Goyal, G. Ramalingam, and E. Yahav. Typestate verification: Abstraction techniques and complexity results. In Proc. of SAS'03, volume 2694 of LNCS, pages 439-462. Springer, June 2003.
9. S. Fink, E. Yahav, N. Dor, G. Ramalingam, and E. Geay. Typestate checking in the presence of aliasing, in preparation, 2005.
10. M. Fowler. Continuous Integration. http://www.martinfowler.com/articles/ continousIntegration.html.
11. S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, pages 69-82, New York, NY, USA, 2002. ACM Press.
12. N. Heintze and O. Tardieu. Ultra-fast aliasing analysis using CLA: A million lines of C code in a second. 36(5):254-263, May 2001. In Conference on Programming Language Design and Implementation (PLDI).
13. D. Hovemeyer and W. Pugh. Finding bugs is easy. In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference, on Object-oriented programming systems, languages, and applications, pages 132-136, New York, NY, USA, 2004. ACM Press.
14. JLint. http://www.sureshotsoftware.com/javalint.
15. O. Lhoták and L. Hendren. Scaling Java points-to analysis using SPARK. In 12th International Conference on Compiler Construction (CC), volume 2622 of LNCS, pages 153-169, Apr. 2003.
16. Parasoft JTest. http://www.parasoft.com/jsp/products/home.jsp?product= Jtest.
17. PMD. http://pmd.sourceforge.net/.
18. G. Ramalingam, A. Warshavsky, J. Field, D. Goyal, and M. Sagiv. Deriving specialized program analyses for certifying component-client conformance. In Proc. Conf. on Prog. Lang. Design and Impl., volume 37, 5, pages 83-94, June 2002.
19. RCP. http://www.eclipse.org/rcp.
20. N. Rutar, C. B. Almazan, and J. S. Foster. A comparison of bug finding tools for Java. In ISSRE '04: Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering, November 2004.
21. R. E. Strom and S. Yemini. Typestate: A programming language concept for enhancing software reliability. IEEE Trans. Software Eng., 12(1):157-171, 1986.
22. W. Weimer and G. C. Necula. Finding and preventing run-time error handling mistakes. In OOPSLA '04: Proceedings of the 19th annual. ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications, pages 419-431, New York, NY, USA, 2004. ACM Press.