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)

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