A Differential Approach to Undefined Behavior Detection
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
You’ll need to upgrade your plan to Pro
Looking to understand the true influence of a researcher’s work across journals & affiliations?
- 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.
Notes
History