Null Check Analysis

Osman, Haidar (July 2015). Null Check Analysis. In: Extended Abstracts of the Eighth Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE 2015). Mons, Belgium. 06.-08.07.2015.

[img] Text
Osma15a.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (132kB) | Request a copy

Null dereferencing is one of the most frequent bugs in Java systems causing programs to crash due to the uncaught NullPointerException. Developers often fix this bug by introducing a guard (i.e., null check) on the potentially-null objects before using them. In this paper we investigate the null checks in 717 open-source Java systems to understand when and why developers introduce null checks. We find that 35 of the if-statements are null checks. A deeper investigation shows that 71 of the checked-for-null objects are returned from method calls. This indicates that null checks have a serious impact on performance and that developers introduce null checks when they use methods that return null.

Item Type:

Conference or Workshop Item (Paper)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF)
08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG) [discontinued]

UniBE Contributor:

Osman, Haidar

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

Language:

English

Submitter:

Oscar Nierstrasz

Date Deposited:

29 Jun 2016 16:15

Last Modified:

05 Dec 2022 14:56

Uncontrolled Keywords:

scg-pub snf-asa1 scg15 skip-doi

BORIS DOI:

10.7892/boris.82288

URI:

https://boris.unibe.ch/id/eprint/82288

Actions (login required)

Edit item Edit item
Provide Feedback