Automated checker for detecting method-hiding in Java programs

Nazir, M. Z. I. and Alqaradaghi, M. and Kozsik, Tamás (2024) Automated checker for detecting method-hiding in Java programs. INFOCOMMUNICATIONS JOURNAL, 16 (2). pp. 19-24. ISSN 2061-2079

Preview

Text InfocomJournal__3.pdf - Updated Version Download (875kB) | Preview

Abstract

Method overriding is a valuable mechanism that happens when an instance method is defined in a subclass and has the same signature and return type as an instance method in the superclass. However, in Java, if those methods are static, then instead method hiding happens, which is a programming weakness and may produce unexpected results. Static analysis is an approach in software testing that examines code to identify various programming weaknesses throughout the software de velopment process without running it. This paper addresses the detection of method-hiding problem in Java programs. We implemented a new automated checker under the SpotBugs static analysis tool that can detect the mentioned problem. According to our results, the checker precisely detected zhe related issues in both custom test cases and realword programs.

Actions (login required)

Edit Item