Automated checker for detecting method-hiding in Java']Java programs

被引:0
作者
Nazr, M. Z. . [1 ,2 ]
Aqaradagh, M. [1 ]
Kozsk, T. [1 ,3 ]
机构
[1] Eotvos Lorand Univ, ELTE, Dept Programming Languages & Compilers, Budapest, Hungary
[2] Tech Univ Munich, Munich, Germany
[3] Northern Tech Univ, Kirkuk, Iraq
来源
INFOCOMMUNICATIONS JOURNAL | 2024年 / 16卷 / 02期
关键词
!text type='Java']Java[!/text; method-; hiding; precise automated checker; static analysis; SpotBugs tool;
D O I
10.36244/ICJ.2024.2.3
中图分类号
TN [电子技术、通信技术];
学科分类号
0809 ;
摘要
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 variousAbstractprogramming Abstract programming weaknesses throughout the software development 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 the related issues in both custom test cases and real- world programs.
引用
收藏
页码:19 / 24
页数:6
相关论文
共 23 条
[1]  
Alqaradaghi, RUNNING FINDHIDINGME
[2]  
Alqaradaghi M., 2021, POLLACK PERIODICA, V17, P1, DOI DOI 10.1556/606.2021.00454
[3]   Design and Implement an Accurate Automated Static Analysis Checker to Detect Insecure Use of SecurityManager [J].
Alqaradaghi, Midya ;
Nazir, Muhammad Zafar Iqbal ;
Kozsik, Tamas .
COMPUTERS, 2023, 12 (12)
[4]  
[Anonymous], MAVEN JAVADOC PLUGIN
[5]  
[Anonymous], JAVA LANGUAGE SPECIF
[6]  
[Anonymous], APACHE SPARK UNIFIED
[7]  
[Anonymous], JAVA DOCUMENTATION O
[8]  
[Anonymous], CAYENNE MIRROR APACH
[9]  
[Anonymous], SONARQUBE STATIC COD
[10]  
[Anonymous], MYBATIS 3 MYBATIS SQ