Abstract
Aspect-oriented software development (AOSD) is gaining popularity with the wider adoption of languages such as AspectJ. However, though the state-of-the-art aspect-oriented programming environment (such as AJDT in the Eclipse IDE) provides powerful capabilities to check the syntactic or grammar errors in AspectJ programs, it fails to detect potential semantic defects in aspect-oriented software systems. In this paper, we present XFindBugs, an eXtended FindBugs for AspectJ, to help programmers find potential bugs in AspectJ applications through static analysis. XFindBugs supports 17 bug patterns to cover common error-prone features in an aspect-oriented system, and integrates the corresponding bug detectors into the FindBugs framework. We evaluate XFindBugs on a number of large-scale open source AspectJ projects (306,800 LOC in total). In our evaluation, XFindBugs confirms 7 reported bugs and finds 257 previously unknown defects. Our experiment also indicates that the bug patterns supported in XFindBugs exist in real-world software systems, even for mature applications by experienced programmers.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 2008 SIGSOFT/SIGPLAN Workshop on Program Analysis for Software Tools and Engineering, PASTE '08 |
| Pages | 70-76 |
| Number of pages | 7 |
| DOIs | |
| Publication status | Published - Dec 1 2008 |
| Externally published | Yes |
| Event | 2008 SIGSOFT/SIGPLAN Workshop on Program Analysis for Software Tools and Engineering, PASTE '08 - Atlanta, GA, United States Duration: Nov 9 2008 → Nov 10 2008 |
Other
| Other | 2008 SIGSOFT/SIGPLAN Workshop on Program Analysis for Software Tools and Engineering, PASTE '08 |
|---|---|
| Country | United States |
| City | Atlanta, GA |
| Period | 11/9/08 → 11/10/08 |
Fingerprint
All Science Journal Classification (ASJC) codes
- Software
Cite this
XFindBugs : eXtended FindBugs for AspectJ. / Shen, Haihao; Zhang, Sai; Zhao, Jianjun; Fang, Jianhong; Yao, Shiyuan.
Proceedings of the 2008 SIGSOFT/SIGPLAN Workshop on Program Analysis for Software Tools and Engineering, PASTE '08. 2008. p. 70-76.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - XFindBugs
T2 - eXtended FindBugs for AspectJ
AU - Shen, Haihao
AU - Zhang, Sai
AU - Zhao, Jianjun
AU - Fang, Jianhong
AU - Yao, Shiyuan
PY - 2008/12/1
Y1 - 2008/12/1
N2 - Aspect-oriented software development (AOSD) is gaining popularity with the wider adoption of languages such as AspectJ. However, though the state-of-the-art aspect-oriented programming environment (such as AJDT in the Eclipse IDE) provides powerful capabilities to check the syntactic or grammar errors in AspectJ programs, it fails to detect potential semantic defects in aspect-oriented software systems. In this paper, we present XFindBugs, an eXtended FindBugs for AspectJ, to help programmers find potential bugs in AspectJ applications through static analysis. XFindBugs supports 17 bug patterns to cover common error-prone features in an aspect-oriented system, and integrates the corresponding bug detectors into the FindBugs framework. We evaluate XFindBugs on a number of large-scale open source AspectJ projects (306,800 LOC in total). In our evaluation, XFindBugs confirms 7 reported bugs and finds 257 previously unknown defects. Our experiment also indicates that the bug patterns supported in XFindBugs exist in real-world software systems, even for mature applications by experienced programmers.
AB - Aspect-oriented software development (AOSD) is gaining popularity with the wider adoption of languages such as AspectJ. However, though the state-of-the-art aspect-oriented programming environment (such as AJDT in the Eclipse IDE) provides powerful capabilities to check the syntactic or grammar errors in AspectJ programs, it fails to detect potential semantic defects in aspect-oriented software systems. In this paper, we present XFindBugs, an eXtended FindBugs for AspectJ, to help programmers find potential bugs in AspectJ applications through static analysis. XFindBugs supports 17 bug patterns to cover common error-prone features in an aspect-oriented system, and integrates the corresponding bug detectors into the FindBugs framework. We evaluate XFindBugs on a number of large-scale open source AspectJ projects (306,800 LOC in total). In our evaluation, XFindBugs confirms 7 reported bugs and finds 257 previously unknown defects. Our experiment also indicates that the bug patterns supported in XFindBugs exist in real-world software systems, even for mature applications by experienced programmers.
UR - http://www.scopus.com/inward/record.url?scp=77950591313&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77950591313&partnerID=8YFLogxK
U2 - 10.1145/1512475.1512490
DO - 10.1145/1512475.1512490
M3 - Conference contribution
AN - SCOPUS:77950591313
SN - 9781605583822
SP - 70
EP - 76
BT - Proceedings of the 2008 SIGSOFT/SIGPLAN Workshop on Program Analysis for Software Tools and Engineering, PASTE '08
ER -