undefined-behavior

micheleriva/mjn

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

K2/LanguageBackdoors

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

offlinemark/suicide

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

Vanille-N/tree-borrows

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

vitalics/rslike

Rust-like but for TypeScript/JavaScript

Vanille-N/tree-beamer

Slides and sources for talks on Tree Borrows

dtcxzyw/conservative-clang

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

secure-compilation/when-good-components-go-bad

Coq formalization for "When Good Components Go Bad" paper

TrickEye/undefinedBehaviors

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

chiqui3d/ub-server

HTTP 1.1 server with epoll and pthread, written in C

huuanhhuynguyen/cpp_quality_benchmark

Free/Open-Source C++ Quality Tools Benchmark

James4Ever0/jinja_neverundefined

Jinja2 extension that never undefined

mp4096/wat-c

Funky arithmetics in C

stanislav888/runtime-code-tests

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

grigory-rechistov/c-cpp-bitfields

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

leocelente/compiler-exploring

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

Xevion/undefined.behavio.rs