An empirical study on classification methods for alarms from a bug-finding static C analyzer

Information Processing Letters

Volumn 102, Issue 2-3, 2007, Pages 118-123

  Yi, Kwangkeun ^a   Choi, Hosik ^a   Kim, Jaehwang ^a   Kim, Yongdai ^a  

^a Seoul National University   (South Korea)

Author keywords

Abstract interpretation; Classification methods; Program correctness; Static analysis; Statistical post analysis

Indexed keywords

ALARM SYSTEMS; APPROXIMATION THEORY; CLASSIFICATION (OF INFORMATION); SEMANTICS; SUPPORT VECTOR MACHINES;

ABSTRACT INTERPRETATIONS; CLASSIFICATION METHODS; PROGRAM CORRECTNESS; STATISTICAL POST ANALYSIS;

STATIC ANALYSIS;

EID: 33847647240     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ipl.2006.11.004     Document Type: Article

References (18)

1. The R Project for Statistical Computing. http://www.r-project.org
2. Bauer E., and Kohavi R. An empirical comparison of voting classification algorithms: Bagging, boosting, and variants. Machine Learning 36 (1998) 105-139
3. Breiman L. Bagging predictors. Machine Learning 24 2 (1996) 123-140
4. Breiman L. Random forests. Machine Learning 45 1 (2001) 5-32
5. Bush W.R., Pincus J.D., and Sielaff D.J. A static analyzer for finding dynamic programming errors. Software-Practice and Experience 30 (2000) 775-802
6. P. Cousot, R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Proceedings of ACM Symposium on Principles of Programming Languages, January 1977, pp. 238-252
7. P. Cousot, R. Cousot, Systematic design of program analysis frameworks, in: Proceedings of ACM Symposium on Principles of Programming Languages, 1979, pp. 269-282
8. Cousot P., and Cousot R. Comparing the Galois connection and widening/narrowing approaches to abstract interpretation. PLILP'92: Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming (1992), Springer-Verlag, Berlin 269-295
9. T. Fawcett, ROC graphs: Notes and practical considerations for data mining researchers, Technical Report HPL-2003-4, HP Labs, 2003
10. Friedman J.H. Greedy function approximation: a gradient boosting machine. Annals of Statistics 29 (2001) 1189-1232
11. Hasite T., Tibshirani R., and Friedman J. The Elements of Statistical Learning: Data Mining, Inference and Prediction (2001), Springer, Berlin
12. Jung Y., Kim J., Shin J., and Yi K. Taming false alarms from a domain-unaware C analyzer by a Bayesian statistical post analysis. SAS'05: 12th Annual International Static Analysis Symposium. Lecture Notes in Computer Science vol. 3672 (2005), Springer, Berlin 203-217
13. Kremenek T., and Engler D. Z-ranking: Using statistical analysis to counter the impact of static analysis approximations. In: Cousot R. (Ed). SAS'03: Proceedings of the 10th Annual International Static Analysis Symposium. Lecture Notes in Computer Science vol. 2694 (2003), Springer, Berlin 295-315
14. Lee J.W., Lee J.B., Park M., and Songa S.H. An extensive comparison of recent classification tools applied to microarray data. Computational Statistics and Data Analysis 48 (2005) 869-885
15. McDonald R.A., Hand D.J., and Eckley I.A. An empirical comparison of three boosting algorithms on real data sets with artificial class noise. MCS 2003: 4th International Workshop on Multiple Classifier Systems. Lecture Notes in Computer Science vol. 2709 (2003), Springer, Berlin 35-44
16. Tibshirani R. Regression shrinkage and selection via the Lasso. Journal of the Royal Statistical Society, Ser. B 50 1 (1996) 267-288
17. Vapnik V.N. Statistical Learning Theory (1998), John Wiley & Sons, Inc.
18. Wu B., Abbott T., Fishman D., McMurray W., Mor G., Stone K., Ward D., Williams K., and Zhao H. Comparison of statistical methods for classification of ovarian cancer using mass spectrometry data. Bioinformatics 19 (September 2003) 1636-1643