C Programmer &#s Undefined Behavior Guide

Exploring the Undefined Behavior of C Programming: A Detailed Guide

This article introduces an e-book on undefined behaviors in C programming, with a total of 12 chapters covering some of the most difficult and little-known aspects of C programming. This book is not an introductory textbook for C language, but is aimed at readers familiar with C language programming, and explores in-depth various situations and potential consequences of undefined behaviors. Author Dmitry Sviridkin, Editor Andrey Karpov.

After six months of careful preparation, this e-book finally met with readers. Printed versions will also be launched in the future. This book was originally planned to include 11 chapters, but during the creation process, the content was continuously enriched and eventually expanded to 12 chapters - this itself is a classic array out-of-bounds case, which can be said to be a problem that every C programmer may encounter.

This book covers various undefined behavior scenarios in C programming, such as:

• Data type conversion and overflow: including integer overflow, floating point accuracy, integer boost and symbol expansion, etc.
• Memory management: Discuss issues such as hanging pointers, string_view , scope-based for loop errors, self-references, std::vector and invalid references.
• Functions and expressions: Cover lambda functions to capture lists, tuples, unexpected mutability, implicit references, post-use release, lifecycle expansion, the most difficult parsing problems, non-constant constants, move semantics, std::enable_if_t vs. std::void_t , missing return statements, ellipsis and functions, operator[] , iostreams debugging techniques, comma operators, function try blocks and zero-size types, etc.
• Pointers and arrays: Analyze invalid terminated strings, std::shared_ptr , explicit type conversion, how to safely use standard functions, infinite loops and stop problems, recursion, noexcept , buffer overflow, (n)RVO vs. RAII, null pointer deletion, static initialization order issues, static inline, ODR violation, name retention, etc.
• Classes and objects: involve trivial types and ABI, uninitialized variables, C 20 unbounded range, non-virtual functions but manifested as virtual functions, VLA (variable length array), invalid pointer, new location of the array, data competition, mutex deadlock, signal safety, how to operate correctly and trigger deadlock, etc.
• Containers and algorithms: including std::vector::reserve and std::vector::resize , unaligned references, object lifetime, static analysis and undefined behavior, and summary.

The content of this book has been published in chapters in the form of articles. You can refer to these articles, but the source must be indicated. Any form of copying requires permission from the author. Author Dmitry Sviridkin's contact information: dmisvrl1@gmail.com. The content of this book shall not be used for paid services or any fee-based teaching.

Author: Dmitry Sviridkin

Dmitry has over eight years of experience in high-performance C and C software development. From 2019 to 2021, he taught C hands-on courses at St. Petersburg State University and the School of Economics. Currently, he is a software engineer at AWS (CloudFront), working in system and embedded development for Rust and C. His main area of ​​interest is software security.

Editor: Andrey Karpov

The above is the detailed content of C Programmer &#s Undefined Behavior Guide. For more information, please follow other related articles on the PHP Chinese website!