undefined-behavior

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

A self-contained learning environment for advanced C: fix broken code under sanitizers and work up to the techniques inside interpreters, compilers and binary formats. Inspired by rustlings.

HTTP 1.1 server with epoll and pthread, written in C

Funky arithmetics in C

Write Rust, crash like C++. A std-compatible prank crate that compiles cleanly but deliberately reproduces C++-style undefined behavior. Do not use in production.

Low-level systems engineering skills for AI coding agents: 60 source-backed skills across C, C++, Rust, assembly, LLVM, kernels, embedded, GPU, and reverse engineering. Verification-first, with executable examples and evals.

Free/Open-Source C++ Quality Tools Benchmark

Jinja2 extension that never undefined

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