ADAPTIVE STATIC ANALYSIS OF SOFTWARE CODE QUALITY

Authors

DOI:

https://doi.org/10.30890/2567-5273.2025-42-02-035

Keywords:

static analysis, false positives, multilingual systems, context-oriented analysis, dependency graphs, language-neutral model, code quality assurance, CI/CD.

Abstract

The article examines key challenges of modern static code analysis, including the excessive number of false-positive results, the difficulty of working with multilingual systems, and the insufficient contextual sensitivity of existing tools. Two improvem

References

Rival, X. and Yi, K. (2020). Introduction to Static Analysis: An Abstract Interpretation Perspective. Mit Press. ISBN: 9780262043410

Stefanovic, D., Nikolic, D., Dakic, D., Spasojevic, I. and Ristic, S. (2020). Static Code Analysis Tools: A Systematic Literature Review. DAAAM Proceedings, (31), pp.0565–0573. doi:https://doi.org/10.2507/31st.daaam.proceedings.078.

Mweu, B. and Ndia, J. (2025). Static Analysis Techniques for Secure Software: A Systematic Review. Journal of Cyber Security, 7(1), pp.417–437. doi:https://doi.org/10.32604/jcs.2025.071765.

Christakis, M. and Bird, C. (2016). What developers want and need from program analysis: an empirical study. Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering - ASE 2016. doi:https://doi.org/10.1145/2970276.2970347.

Gousios, G., Pinzger, M. and Deursen, A. van (2014). An exploratory study of the pull-based software development model. Proceedings of the 36th International Conference on Software Engineering. [online] doi:https://doi.org/10.1145/2568225.2568260.

Ohmann, P., Brown, D.B., Neelakandan, N., Linderoth, J. and Liblit, B. (2016). Optimizing customized program coverage. Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, pp.27–38. doi:https://doi.org/10.1145/2970276.2970351.

Autili, M., Malavolta, I., Perucci, A., Scoccia, G.L. and Verdecchia, R. (2021). Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption. Journal of Internet Services and Applications, 12(1). doi:https://doi.org/10.1186/s13174-021-00134-x.

Kiss, A. and Kiss, A. (2021). The Compressed Program Dependence Graph (13th Joint Conference on Mathematics and Computer Science (the 13th MaCS), on October 1-3, 2020). doi:https://doi.org/10.13140/rg.2.2.29229.41449.

Erhard, J., Saan, S., Tilscher, S., Schwarz, M., Holter, K., Vojdani, V. and Seidl, H. (2024). Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap. International Journal on Software Tools for Technology Transfer. doi:https://doi.org/10.1007/s10009-024-00768-9.

Published

2025-12-30

How to Cite

Благий, А. (2025). ADAPTIVE STATIC ANALYSIS OF SOFTWARE CODE QUALITY. Modern Engineering and Innovative Technologies, 2(42-02), 28–36. https://doi.org/10.30890/2567-5273.2025-42-02-035

Issue

Section

Articles