C++ programmer's guide to undefined behavior

• UpdatedNov 14, 2025

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

• UpdatedJan 5, 2023
• TypeScript

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

• UpdatedNov 24, 2024
• C++

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

• UpdatedAug 8, 2020
• C++

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

• UpdatedApr 19, 2024
• TeX

Rust-like but for TypeScript/JavaScript

• UpdatedNov 26, 2025
• TypeScript

Slides and sources for talks on Tree Borrows

• UpdatedDec 5, 2025
• Typst

Running Doom on C's Undefined Behaviors

• UpdatedOct 21, 2025
• C

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

• UpdatedJul 22, 2025
• C++

Coq formalization for "When Good Components Go Bad" paper

• UpdatedAug 11, 2025
• Coq

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/)

• UpdatedApr 1, 2024

HTTP 1.1 server with epoll and pthread, written in C

• UpdatedOct 1, 2022
• C

Funky arithmetics in C

• UpdatedMar 5, 2018
• C

Free/Open-Source C++ Quality Tools Benchmark

• UpdatedMay 13, 2021
• C++

Jinja2 extension that never undefined

• UpdatedJan 5, 2024
• Python

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

• UpdatedFeb 4, 2020
• C

A C++ library that provides safe numeric APIs.

• UpdatedSep 21, 2025
• C++

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

• UpdatedNov 11, 2024
• CMake

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

• UpdatedMar 23, 2020
• C++

JAVASCRIPT OBJECT NOTATION

• UpdatedDec 13, 2025
• HTML