Detecting and analyzing year 2038 problem bugs in user-level applications

Keita Suzuki, Takafumi Kubota, Kenji Kono

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The year 2038 problem is a well-known year problem that might cause severe damage to many existing software systems. However, no current tool can detect the bugs since it requires the understandings of the problem unique encoding semantics. In this paper, we analyze real-world applications and raise the alarm over the fact that the Year 2038 problem is a real threat. We target all of the C based projects uploaded on GitHub in the years 2012 to 2018 (32,921 in total), between the dates July 1 to July 10. Our analysis shows that 7.35% of the compiled projects have bugs. Some of the bugs trigger undefined behavior and are dangerous enough to crash the software systems. Our bug fixing patches sent to six projects have been confirmed and approved, including large-scale, real-world projects such as the Amazon Web Service support tools and the Linux Test Project.

Original languageEnglish
Title of host publicationProceedings - 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing, PRDC 2019
PublisherIEEE Computer Society
Pages65-74
Number of pages10
ISBN (Electronic)9781728149615
DOIs
Publication statusPublished - 2019 Dec
Event24th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2019 - Kyoto, Japan
Duration: 2019 Dec 12019 Dec 3

Publication series

NameProceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
Volume2019-December
ISSN (Print)1541-0110

Conference

Conference24th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2019
CountryJapan
CityKyoto
Period19/12/119/12/3

    Fingerprint

Keywords

  • Bug analysis
  • Bug detection
  • Software dependability
  • Y2038 problem
  • Year problem

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Computer Science Applications
  • Hardware and Architecture
  • Software

Cite this

Suzuki, K., Kubota, T., & Kono, K. (2019). Detecting and analyzing year 2038 problem bugs in user-level applications. In Proceedings - 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing, PRDC 2019 (pp. 65-74). [8952166] (Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC; Vol. 2019-December). IEEE Computer Society. https://doi.org/10.1109/PRDC47002.2019.00028