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

Authors:
Kwangkeun Yi;Hosik Choi;Jaehwang Kim;Yongdai Kim
Affiliations:
Seoul National University, Republic of Korea;Seoul National University, Republic of Korea;Seoul National University, Republic of Korea;Seoul National University, Republic of Korea
Venue:
Information Processing Letters
Year:
2007

Citing 10
Cited 1

Bagging predictors

Machine Learning
A static analyzer for finding dynamic programming errors

Software—Practice & Experience
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Systematic design of program analysis frameworks

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Random Forests

Machine Learning
An Empirical Comparison of Voting Classification Algorithms: Bagging, Boosting, and Variants

Machine Learning
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
Z-ranking: using statistical analysis to counter the impact of static analysis approximations

SAS'03 Proceedings of the 10th international conference on Static analysis
An empirical comparison of three boosting algorithms on real data sets with artificial class noise

MCS'03 Proceedings of the 4th international conference on Multiple classifier systems
Taming false alarms from a domain-unaware c analyzer by a bayesian statistical post analysis

SAS'05 Proceedings of the 12th international conference on Static Analysis

A systematic literature review of actionable alert identification techniques for automated static code analysis

Information and Software Technology

Quantified Score

Hi-index	0.89

Visualization

Abstract