collection of C/C++ programs that try to get compilers to exploit undefined behavior
☆184Feb 10, 2019Updated 7 years ago
Alternatives and similar repositories for ub-canaries
Users that are interested in ub-canaries are comparing it to the libraries listed below
Sorting:
- Alive: Automatic LLVM's Instcombine Verifier☆225Jun 16, 2023Updated 2 years ago
- Code to fuzz bignum libraries☆46Nov 11, 2018Updated 7 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆45Jan 27, 2016Updated 10 years ago
- LLVM-based Mutation Testing System. Proof of concept☆14Apr 14, 2016Updated 9 years ago
- C-Reduce, a C and C++ program reducer☆1,646Jun 1, 2024Updated last year
- Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)☆512May 1, 2021Updated 4 years ago
- Csmith, a random generator of C programs☆1,165Mar 2, 2026Updated last week
- This is a toy implementation of the dudect ideas in Go. All credit goes to Oscar Reparaz, Josep Balasch and Ingrid Verbauwhede for dudect…☆19Jul 12, 2017Updated 8 years ago
- A QEMU based framework for instrumenting x86 programs from Python☆17Oct 5, 2020Updated 5 years ago
- REIL translation library☆36May 6, 2016Updated 9 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆51Mar 2, 2026Updated last week
- CUDA GPU Software Rasterizer☆15Oct 11, 2015Updated 10 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆78Nov 16, 2017Updated 8 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- Test case minimizer for afl-fuzz☆28Jul 19, 2017Updated 8 years ago
- ☆20May 30, 2024Updated last year
- Intermediate Compute Language with OpenCL/CUDA Backends☆20Oct 11, 2014Updated 11 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- CVE-2015-2231 POC☆10Sep 8, 2015Updated 10 years ago
- Companion source code for GTC 2014 talk☆11Mar 25, 2014Updated 11 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 3 years ago
- Debugger for HTC phones bootloader (HBOOT).☆20Nov 28, 2013Updated 12 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Oct 22, 2022Updated 3 years ago
- A collection of shader compiler bugs.☆49Mar 21, 2018Updated 7 years ago
- Pixel bootlaoder exploit for reading flash storage☆31Jan 5, 2017Updated 9 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 2 years ago
- A tool for testing C compilers automatically☆22Jan 24, 2016Updated 10 years ago
- A translation validation framework for MLIR☆95Mar 19, 2025Updated 11 months ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1 …☆287Apr 21, 2024Updated last year
- import of nvidia-texture-tools from Google Code☆22May 23, 2013Updated 12 years ago
- ☆10Aug 18, 2025Updated 6 months ago
- Marching cube on the GPU☆10Oct 1, 2012Updated 13 years ago
- Antialiasing algorithm☆13Jun 10, 2016Updated 9 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆31Jul 18, 2014Updated 11 years ago
- A collection of scripts based on libclang for extracting API information from interpreters☆25Jul 10, 2012Updated 13 years ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Oct 15, 2020Updated 5 years ago
- A DOM-Inspired Ruby Smart Fuzzer☆57Apr 4, 2009Updated 16 years ago
- Many functions in C for sorting the nibbles in an 8-byte word☆33Feb 3, 2015Updated 11 years ago