C++ programmer's guide to undefined behavior

⚡️Like loadash.get, but in ~200 bytes

Compiler exploits and exploitable non-obvious source code back doors.

LLVM pass that detects one undefined behavior, and emits code to delete your hard drive

Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust

Rust-like but for TypeScript/JavaScript

Slides and sources for talks on Tree Borrows

Running Doom on C's Undefined Behaviors

An early LLVM pass which removes most of UB-implying information

Theory and formalisation of basic peephole optimisations that you would find in any compiler.

Coq formalization for "When Good Components Go Bad" paper, with various later extensions

Blog and open repository for Analysis of Undefined Behaviors in C, work jointly done by a group of students from BUAA, under guidance of Prof. Wenge Rong (https://wgrong.github.io/)

HTTP 1.1 server with epoll and pthread, written in C

Funky arithmetics in C

Free/Open-Source C++ Quality Tools Benchmark

Jinja2 extension that never undefined

A C++ library that provides safe numeric APIs.

Example for https://stackoverflow.com/questions/60718832/inconsistent-truncation-of-unsigned-bitfield-integer-expressions-between-c-and

CMake-based playground to check different C\C++ code errors against different runtime sanitisers and Valgrind tools

Basic usage of the Compiler Explorer tool to understand a quirk of simple undefined behavior in GCC