Towards Null Safety Benchmarks for Object Initialization
Null pointer dereferencing remains one of the major issues in modern object-oriented languages. An obvious addition of keywords to distinguish between never null and possibly null references appears to be insufficient during object initialization when some fields declared as never null may be tempor...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2017-12-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/609 |
| _version_ | 1826559102341349376 |
|---|---|
| author | Alexander V. Kogtenkov |
| author_facet | Alexander V. Kogtenkov |
| author_sort | Alexander V. Kogtenkov |
| collection | DOAJ |
| description | Null pointer dereferencing remains one of the major issues in modern object-oriented languages. An obvious addition of keywords to distinguish between never null and possibly null references appears to be insufficient during object initialization when some fields declared as never null may be temporary null before the initialization completes. This work identifies the key reasons of the object initialization problem. It suggests scenarios and metrics to be used as the benchmarks to compare solutions of this problem. Finally, it demonstrates application of the benchmarks on the proposed solution for object initialization in Eiffel. The article is published in the author’s wording. |
| first_indexed | 2024-04-10T02:26:16Z |
| format | Article |
| id | doaj.art-a336b2ff6dd54704a835ad636d5e383f |
| institution | Directory Open Access Journal |
| issn | 1818-1015 2313-5417 |
| language | English |
| last_indexed | 2025-03-14T08:55:03Z |
| publishDate | 2017-12-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj.art-a336b2ff6dd54704a835ad636d5e383f2025-03-02T12:46:51ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172017-12-0124671872910.18255/1818-1015-2017-6-718-729443Towards Null Safety Benchmarks for Object InitializationAlexander V. KogtenkovNull pointer dereferencing remains one of the major issues in modern object-oriented languages. An obvious addition of keywords to distinguish between never null and possibly null references appears to be insufficient during object initialization when some fields declared as never null may be temporary null before the initialization completes. This work identifies the key reasons of the object initialization problem. It suggests scenarios and metrics to be used as the benchmarks to compare solutions of this problem. Finally, it demonstrates application of the benchmarks on the proposed solution for object initialization in Eiffel. The article is published in the author’s wording.https://www.mais-journal.ru/jour/article/view/609null pointer dereferencingnull safetyvoid safetyobject initializationstatic analysisnull safety benchmarks |
| spellingShingle | Alexander V. Kogtenkov Towards Null Safety Benchmarks for Object Initialization Моделирование и анализ информационных систем null pointer dereferencing null safety void safety object initialization static analysis null safety benchmarks |
| title | Towards Null Safety Benchmarks for Object Initialization |
| title_full | Towards Null Safety Benchmarks for Object Initialization |
| title_fullStr | Towards Null Safety Benchmarks for Object Initialization |
| title_full_unstemmed | Towards Null Safety Benchmarks for Object Initialization |
| title_short | Towards Null Safety Benchmarks for Object Initialization |
| title_sort | towards null safety benchmarks for object initialization |
| topic | null pointer dereferencing null safety void safety object initialization static analysis null safety benchmarks |
| url | https://www.mais-journal.ru/jour/article/view/609 |
| work_keys_str_mv | AT alexandervkogtenkov towardsnullsafetybenchmarksforobjectinitialization |