Paper: S. Motogna, D. Cristea, D. Șotropa, A. J. Molnar, Formal Concept Analysis Model for Static Code Analysis, Carpathian Journal of Mathematics, Volume 38/2022, Issue 1 Dedicated to the memory of Academician Mitrofan M. Choban (1942-2021), Print Edition: ISSN 1584 – 2851; Online Edition: ISSN 1843 – 4401, 2022, pp. 159-168
Abstract: Tools that focus on static code analysis for early error detection are of utmost importance in software development, especially since the propagation of errors is strongly related to higher costs in the development process. Formal Concept Analysis is a prominent field of applied mathematics that uses conceptual landscapes to discover and represent maximal clusters of data. Its expressive visualization method makes it suitable for exploratory analyses in different fields. In this paper we present a Formal Concept Analysis framework for static code analysis that can serve as a model for quantitative and qualitative exploration and interpretation of such results.
Keywords: formal concept analysis, static analysis, code review