regehr / ub-canariesView external linksLinks
collection of C/C++ programs that try to get compilers to exploit undefined behavior
☆188Feb 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,638Jun 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,154Jan 26, 2024Updated 2 years ago
- 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
- REIL translation library☆36May 6, 2016Updated 9 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- CUDA GPU Software Rasterizer☆15Oct 11, 2015Updated 10 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☆26Jul 19, 2017Updated 8 years ago
- ☆20May 30, 2024Updated last year
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- Debugger for HTC phones bootloader (HBOOT).☆20Nov 28, 2013Updated 12 years ago
- Companion source code for GTC 2014 talk☆11Mar 25, 2014Updated 11 years ago
- CVE-2015-2231 POC☆10Sep 8, 2015Updated 10 years ago
- Intermediate Compute Language with OpenCL/CUDA Backends☆20Oct 11, 2014Updated 11 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆17Oct 19, 2023Updated 2 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
- A tool for testing C compilers automatically☆22Jan 24, 2016Updated 10 years ago
- A translation validation framework for MLIR☆92Mar 19, 2025Updated 10 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
- Marching cube on the GPU☆10Oct 1, 2012Updated 13 years ago
- ☆10Aug 18, 2025Updated 5 months ago
- A collection of scripts based on libclang for extracting API information from interpreters☆25Jul 10, 2012Updated 13 years ago
- Antialiasing algorithm☆13Jun 10, 2016Updated 9 years ago
- import of nvidia-texture-tools from Google Code☆22May 23, 2013Updated 12 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☆56Apr 4, 2009Updated 16 years ago
- Many functions in C for sorting the nibbles in an 8-byte word☆33Feb 3, 2015Updated 11 years ago
- RichieSam's Adventures in Path Tracing☆21Apr 10, 2015Updated 10 years ago
- fuzzing framework based on libfuzzer and clang sanitizer☆168Apr 25, 2019Updated 6 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago