undefined-behavior
There are 1 repository under undefined-behavior topic.
- mjn
micheleriva / mjn
⚡️Like loadash.get, but in ~200 bytes
Language:TypeScript 69 K2 / LanguageBackdoors
Compiler exploits and exploitable non-obvious source code back doors.
Language:C++ 49offlinemark / suicide
LLVM pass that detects one undefined behavior, and emits code to delete your hard drive
Language:C++ 33Vanille-N / tree-borrows
Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
Language:TeX 18- Language:TypeScript 8
secure-compilation / when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper
Language:Coq 7Slides and sources for talks on Tree Borrows
Language:TeX 6TrickEye / 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/)
huuanhhuynguyen / cpp_quality_benchmark
Free/Open-Source C++ Quality Tools Benchmark
Language:C++ 1James4Ever0 / jinja_neverundefined
Jinja2 extension that never undefined
Language:Python 1- Language:C 1
- Language:C 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++leocelente / compiler-exploring
Basic usage of the Compiler Explorer tool to understand a quirk of simple undefined behavior in GCC
Language:C- Language:MDX
