Nekrolm/ubbook

C++ programmer's guide to undefined behavior

Size: 619 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 1,277 - Forks: 68

micheleriva/mjn

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

Language: TypeScript - Size: 6.42 MB - Last synced at: 28 days ago - Pushed at: over 2 years ago - Stars: 68 - Forks: 3

K2/LanguageBackdoors

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

Language: C++ - Size: 8.79 KB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 49 - Forks: 12

offlinemark/suicide

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

Language: C++ - Size: 15.6 KB - Last synced at: 8 months ago - Pushed at: almost 5 years ago - Stars: 32 - Forks: 5

vitalics/rslike

Rust-like but for TypeScript/JavaScript

Language: TypeScript - Size: 327 KB - Last synced at: about 7 hours ago - Pushed at: 3 months ago - Stars: 20 - Forks: 0

Vanille-N/tree-borrows

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

Language: TeX - Size: 3.44 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 18 - Forks: 0

dtcxzyw/conservative-clang

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

Language: C++ - Size: 28.3 KB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 10 - Forks: 2

Vanille-N/tree-beamer

Slides and sources for talks on Tree Borrows

Language: TeX - Size: 9.1 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 8 - Forks: 0

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

Coq formalization for "When Good Components Go Bad" paper

Language: Coq - Size: 5.56 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 7 - Forks: 1

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

Size: 2.03 MB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 7

James4Ever0/jinja_neverundefined

Jinja2 extension that never undefined

Language: Python - Size: 2.93 KB - Last synced at: 22 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

huuanhhuynguyen/cpp_quality_benchmark

Free/Open-Source C++ Quality Tools Benchmark

Language: C++ - Size: 15.6 KB - Last synced at: 1 day ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

mp4096/wat-c

Funky arithmetics in C

Language: C - Size: 7.81 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

Xevion/undefined.behavio.rs

Language: Markdown - Size: 3.87 MB - Last synced at: 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

chiqui3d/ub-server

HTTP 1.1 server with epoll and pthread, written in C

Language: C - Size: 3.39 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

grigory-rechistov/c-cpp-bitfields

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

Language: C++ - Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

leocelente/compiler-exploring

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

Language: C - Size: 4.88 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0