google / fuzztest
☆739Updated this week
Related projects ⓘ
Alternatives and complementary repositories for fuzztest
- A collection of out-of-tree Clang plugins for teaching and learning☆703Updated 4 months ago
- ☆256Updated last year
- Library for structured fuzzing with protobuffers☆591Updated 2 months ago
- A LLVM-based static analysis framework.☆942Updated last week
- Convert .ninja_log files to chrome's about:tracing format.☆421Updated 5 months ago
- C++ library for composing modular firmware at compile-time.☆504Updated this week
- Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C++ programs with no recompilation.☆165Updated 3 weeks ago
- Clang build analysis tool using -ftime-trace☆1,011Updated 3 weeks ago
- GWPSan: Sampling-Based Sanitizer Framework☆307Updated this week
- a static analysis tool for finding vulnerabilities in C/C++ source code☆491Updated 3 months ago
- Source code formatter for cmake listfiles.☆974Updated 6 months ago
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆396Updated this week
- "See why!" Explains and suggests fixes for compile-time errors for C, C++, C#, Go, Java, LaTeX, PHP, Python, Ruby, Rust, and TypeScript☆279Updated last month
- C++ Mutation Test Environment☆172Updated 4 months ago
- CMake modules to help use sanitizers☆378Updated last month
- C++ ABI Summary☆506Updated last month
- Super-parallel Python port of the C-Reduce☆244Updated last week
- A unit test-like interface for fuzzing and symbolic execution☆820Updated 5 months ago
- Heap Layers: An Extensible Memory Allocation Infrastructure☆383Updated 3 months ago
- Easy-to-add enhancements for any C/C++ CMake project. Including AFL fuzzing, code-coverage, Thread/Address/Leak/Address/Undefined saniti…☆608Updated last month
- Yet Another Random Program Generator☆489Updated 3 months ago
- Practical mutation testing and fault injection for C and C++☆744Updated 4 months ago
- A lightweight dynamic instrumentation library☆1,182Updated 3 weeks ago
- C-Reduce, a C and C++ program reducer☆1,307Updated 5 months ago
- KLEE Symbolic Execution Engine☆2,649Updated 2 weeks ago
- SymCC: efficient compiler-based symbolic execution☆789Updated 4 months ago
- Tutorials, examples, discussions, research proposals, and other resources related to fuzzing☆3,513Updated 3 weeks ago
- Set of tests for fuzzing engines☆1,431Updated 3 years ago
- C++ parsing DSL☆1,018Updated 2 months ago
- Automatic verification of LLVM optimizations☆795Updated last week