@inproceedings{931583001fba47a69aac568bee7497c7,
title = "Software metrics in static program analysis",
abstract = "Software metrics play an important role in the management of professional software projects. Metrics are used, e.g., to track development progress, to measure restructuring impact and to estimate code quality. They are most beneficial if they can be computed continuously at development time. This work presents a framework and an implementation for integrating metric computations into static program analysis. The contributions are a language and formal semantics for user-definable metrics, an implementation and integration in the existing static analysis tool , and a user-definable visualization approach to display metrics results. Moreover, we report our experiences on a case study of a popular open source code base.",
keywords = "software metrics, static program analysis, software quality, software maintenance",
author = "Andreas Vogelsang and Ansgar Fehnker and Ralf Huuck and Wolfgang Reif",
year = "2010",
doi = "10.1007/978-3-642-16901-4_32",
language = "English",
isbn = "9783642169007",
series = "Lecture Notes in Computer Science",
publisher = "Springer, Springer Nature",
pages = "485--500",
editor = "Dong, {Jin Song} and Huibiao Zhu",
booktitle = "Formal Methods and Software Engineering",
address = "United States",
note = "12th International Conference on Formal Engineering Methods, ICFEM 2010, ICFEM 2010 ; Conference date: 17-11-2010 Through 19-11-2010",
}