google / graphicsfuzz
A testing framework for automatically finding and simplifying bugs in graphics shader compilers.
☆569Updated last month
Related projects ⓘ
Alternatives and complementary repositories for graphicsfuzz
- Compiler/source code fuzzing tool using AFL instrumentation☆124Updated 6 years ago
- Syzygy Transformation Toolchain☆357Updated 5 years ago
- ☆279Updated last year
- ☆256Updated last year
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆629Updated 3 weeks ago
- llvm-mctoll☆814Updated 4 months ago
- Clang instrumentation module for tracing variable and buffer comparisons in C/C++ and saving the coverage data to .sancov files☆201Updated 5 years ago
- Binary Translator to LLVM IR☆214Updated last year
- Memoro: A Detailed Heap Profiler☆179Updated last year
- Combining Unit Tests, Fuzzing, and AI☆299Updated 5 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆176Updated 2 years ago
- Time-travel Testing☆106Updated 2 years ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆406Updated 6 months ago
- A taint-tracking plugin for the Valgrind memory checking tool☆249Updated last year
- ☆296Updated 3 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆224Updated 2 years ago
- Whole Program LLVM: wllvm ported to go☆303Updated 6 months ago
- A collection of shader compiler bugs.☆49Updated 6 years ago
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆180Updated 2 years ago
- DroidSafe Android Static Analysis Source Repository☆94Updated 7 years ago
- Steps to build the Linux kernel using Clang☆97Updated 2 years ago
- PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker☆377Updated this week
- A curated list of awesome decompilation resources and projects.☆597Updated last year
- Library for structured fuzzing with protobuffers☆589Updated 2 months ago
- A LLVM-based static analysis framework.☆941Updated this week
- SymCC: efficient compiler-based symbolic execution☆787Updated 3 months ago
- A tool for analyzing x86-64 binaries.☆306Updated 3 weeks ago
- Improving AFL by using Intel PT to collect branch information☆289Updated 5 years ago
- Collection of syzkaller bug reproducers for Linux☆44Updated 2 years ago
- Java* Fuzzer for Android*☆12Updated 8 years ago