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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Alive: Automatic LLVM's Instcombine Verifier☆226Jun 16, 2023Updated 2 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
- Code to fuzz bignum libraries☆46Nov 11, 2018Updated 7 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Intermediate Compute Language with OpenCL/CUDA Backends☆20Oct 11, 2014Updated 11 years ago
- A Python library to emit Sensu events that the Yelp Sensu Handlers can understand for Self-Service Sensu Monitoring☆14Sep 4, 2025Updated 6 months ago
- A translation validation framework for MLIR☆96Mar 19, 2025Updated last year
- Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)☆512May 1, 2021Updated 4 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 2 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- Csmith, a random generator of C programs☆1,170Mar 2, 2026Updated 3 weeks ago
- A collection of shader compiler bugs.☆50Mar 21, 2018Updated 8 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆45Jan 27, 2016Updated 10 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆51Mar 2, 2026Updated 3 weeks ago
- Antialiasing algorithm☆13Jun 10, 2016Updated 9 years ago
- One-for-all python script for running LLVM experiment☆11Jun 30, 2022Updated 3 years ago
- A static checker for identifying unstable code.☆366Apr 19, 2015Updated 10 years ago
- Companion source code for GTC 2014 talk☆11Mar 25, 2014Updated 12 years ago
- Application Security library☆11Nov 6, 2012Updated 13 years ago
- A DOM-Inspired Ruby Smart Fuzzer☆57Apr 4, 2009Updated 16 years ago
- import of nvidia-texture-tools from Google Code☆22May 23, 2013Updated 12 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Test case minimizer for afl-fuzz☆28Jul 19, 2017Updated 8 years ago
- CVE-2015-2231 POC☆10Sep 8, 2015Updated 10 years ago
- Debugger for HTC phones bootloader (HBOOT).☆20Nov 28, 2013Updated 12 years ago
- A QEMU based framework for instrumenting x86 programs from Python☆17Oct 5, 2020Updated 5 years ago
- Pixel bootlaoder exploit for reading flash storage☆31Jan 5, 2017Updated 9 years ago
- A simple example showing how to implement a DDA based screen-space ray marcher in Unity☆13Apr 18, 2017Updated 8 years ago
- CUDA GPU Software Rasterizer☆15Oct 11, 2015Updated 10 years ago
- ☆20May 30, 2024Updated last year
- run multiple shell commands in parallel and coordinate their output☆31Jul 5, 2012Updated 13 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- Marching cube on the GPU☆10Oct 1, 2012Updated 13 years ago
- is a random text generator based on context-free grammars, it uses a EBNF for grammar definitions.☆18May 5, 2025Updated 10 months ago
- static analysis benchmarks from Toyota ITC☆121May 9, 2023Updated 2 years ago
- Mirror of my Go Kyber implementation.☆16May 30, 2018Updated 7 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- Checking that functions are constant time with Valgrind☆200Feb 26, 2017Updated 9 years ago