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

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

Coq formalization for "When Good Components Go Bad" paper

Slides and sources for talks on Tree Borrows

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

Jinja2 extension that never undefined

Funky arithmetics in C

Free/Open-Source C++ Quality Tools Benchmark

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

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