A Differential Approach to Undefined Behavior Detection

Volume: 33, Issue: 1, Pages: 1 - 29
Published: Mar 11, 2015
Abstract
This article studies undefined behavior arising in systems programming languages such as C/Cpp. Undefined behavior bugs lead to unpredictable and subtle systems behavior, and their effects can be further amplified by compiler optimizations. Undefined behavior bugs are present in many systems, including the Linux kernel and the Postgres database. The consequences range from incorrect functionality to missing security checks. This article proposes...
Paper Details
Title
A Differential Approach to Undefined Behavior Detection
Published Date
Mar 11, 2015
Volume
33
Issue
1
Pages
1 - 29
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.