A comparison of bug finding tools for Java

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2004, Pages 245-256

  Rutar, Nick ^a   Almazan, Christian B ^a   Foster, Jeffrey S ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BUG FINDING TOOLS; JAVA TOOLS; MODEL CHECKING;

BENCHMARKING; CODES (SYMBOLS); COMPUTER PROGRAMMING; COMPUTER SOFTWARE; DATA FLOW ANALYSIS; JAVA PROGRAMMING LANGUAGE; SOFTWARE ENGINEERING; STATISTICAL METHODS; THEOREM PROVING;

PROGRAM DEBUGGING;

EID: 16244364044     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. C. Artho. Finding faults in multi-threaded programs. Master's thesis, Institute of Computer Systems, Federal Institute of Technology, Zurich/Austin, 2001.
2. D. Bacon, J. Block, J. Bogoda, C. Click, P. Haahr, D. Lea, T. May, J.-W. Maessen, J. D. Mitchell, K. Nilsen, B. Pugh, and E. G. Sirer. The "Double-Checked Locking is Broken" Declaration, http://www.cs.umd.edu/~pugh/java/memoryModel/DoubleCheckedLocking.html.
3. R. Chillarege, I. S. Bhandari, J. K. Chaar, M. J. Halliday, D. S. Moebus, B. K. Ray, and M.-Y. Wong. Orthogonal defect classification - a concept for in-process measurements. IEEE Transactions on Software Engineering, 18(11):943-956, Nov. 1992.
4. D. Cok. Personal communication, Apr. 2004.
5. D. Cok and J. Kiniry. ESC/Java 2, Mar. 2004. http://www.cs.kun.n1/sos/research/escjava/index.html.
6. J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pasareanu, Robby, and H. Zheng. Bandera: Extracting Finite-state Models from Java Source Code. In Proceedings of the 22nd International Conference on Software Engineering, pages 439-448, Limerick Ireland, June 2000.
7. R. F. Crew. ASTLOG: A Language for Examining Abstract Syntax Trees. In Proceedings of the Conference on Domain-Specific Languages, Santa Barbara, California, Oct. 1997.
8. M. D. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin. Quickly detecting relevant program invariants. In ICSE 2000, Proceedings of the 22nd International Conference on Software Engineering, pages 449-458, Limerick, Ireland, June 7-9, 2000.
9. C. Flanagan and K. R. M. Leino. Houdini, an Annotation Assitant for ESC/Java. In J. N. Oliverira and P. Zave, editors, FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods, number 2021 in Lecture Notes in Computer Science, pages 500-517, Berlin, Germany, Mar. 2001. Springer-Verlag.
10. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended Static Checking for Java. In Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 234-245, Berlin, Germany, June 2002.
11. K. Havelund and T. Pressburger. Model checking JAVA programs using JAVA pathfinder. International Journal on Software Tools for Technology Transfer, 2(4):366-381, 2000.
12. G. J. Holzmann. The model checker SPIN. Software Engineering, 23(5):279-295, 1997.
13. D. Hovemeyer and W. Pugh. Finding Bugs Is Easy. http://www.cs.umd.edu/~pugh/Java/bugs/docs/findbugsPaper.pdf, 2003.
14. IEEE. IEEE Standard Classification for Software Anomalies, Dec. 1993. IEEE Std 1044-1993.
15. R. Jelliffe. Mini-review of Java Bug Finders. In O'Reilly Developer Weblogs. O'Reilly, Mar. 2004. http://www.oreillynet.com/pub/wlg/4481.
16. JLint. http://artho.com/jlint.
17. T. Kremenek and D. Engler. Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. In R. Cousot, editor, Static Analysis, 10th International Symposium, volume 2694 of Lecture Notes in Computer Science, pages 295-315, San Diego, CA, USA, June 2003. Springer-Verlag.
18. PMD/Java. http://pmd.sourceforge.net.