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

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

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

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

No description provided.

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

A VSCode C++ development environment for Linux, richly populated with quality-oriented tools.

JAVASCRIPT OBJECT NOTATION