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

Keita Suzuki, Takafumi Kubota, Kenji Kono

研究成果: Conference contribution

1 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルProceedings - 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing, PRDC 2019
出版社IEEE Computer Society
ページ65-74
ページ数10
ISBN(電子版)9781728149615
DOI
出版ステータスPublished - 2019 12
イベント24th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2019 - Kyoto, Japan
継続期間: 2019 12 12019 12 3

出版物シリーズ

名前Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
2019-December
ISSN(印刷版)1541-0110

Conference

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

ASJC Scopus subject areas

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

フィンガープリント 「Detecting and analyzing year 2038 problem bugs in user-level applications」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル