Alternatives and similar repositories for fuzztest

Users that are interested in fuzztest are comparing it to the libraries listed below

• secure-software-engineering / phasar
  A LLVM-based static analysis framework.
  ☆1,029Updated this week
• banach-space / clang-tutor
  A collection of out-of-tree Clang plugins for teaching and learning
  ☆758Updated 3 weeks ago
• nico / ninjatracing
  Convert .ninja_log files to chrome's about:tracing format.
  ☆504Updated this week
• diffblue / cbmc
  C Bounded Model Checker
  ☆1,012Updated this week
• mull-project / mull
  Practical mutation testing and fault injection for C and C++
  ☆792Updated last week
• google / centipede
  ☆253Updated 2 years ago
• google / gwpsan
  GWPSan: Sampling-Based Sanitizer Framework
  ☆332Updated last week
• csmith-project / creduce
  C-Reduce, a C and C++ program reducer
  ☆1,635Updated last year
• google / libprotobuf-mutator
  Library for structured fuzzing with protobuffers
  ☆652Updated 3 weeks ago
• david-a-wheeler / flawfinder
  a static analysis tool for finding vulnerabilities in C/C++ source code
  ☆557Updated last year
• gcovr / gcovr
  Generate code coverage reports with gcc/gcov
  ☆973Updated 2 weeks ago
• UnitTestBot / UTBotCpp
  Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
  ☆182Updated last year
• plasma-umass / cwhy
  "See why!" Explains and suggests fixes for compile-time errors for C, C++, C#, Go, Java, LaTeX, PHP, Python, Ruby, Rust, and TypeScript
  ☆304Updated 2 months ago
• nlohmann / mutate_cpp
  C++ Mutation Test Environment
  ☆188Updated last year
• trailofbits / vast
  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…
  ☆433Updated last month
• aras-p / ClangBuildAnalyzer
  Clang build analysis tool using -ftime-trace
  ☆1,203Updated 10 months ago
• facebookexperimental / object-introspection
  Object Introspection (OI) enables on-demand, hierarchical profiling of objects in arbitrary C/C++ programs with no recompilation.
  ☆181Updated 2 weeks ago
• Ericsson / CodeCompass
  CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
  ☆586Updated this week
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆317Updated this week
• trailofbits / deepstate
  A unit test-like interface for fuzzing and symbolic execution
  ☆851Updated 5 months ago
• Ericsson / codechecker
  CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
  ☆2,526Updated this week
• AliveToolkit / alive2
  Automatic verification of LLVM optimizations
  ☆1,043Updated last week
• lvc / abi-compliance-checker
  A tool for checking backward API/ABI compatibility of a C/C++ library
  ☆689Updated last year
• compiler-explorer / infra
  Infrastructure to set up the public Compiler Explorer instances and compilers
  ☆402Updated this week
• intel / yarpgen
  Yet Another Random Program Generator
  ☆544Updated 2 months ago
• emil-e / rapidcheck
  QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
  ☆1,061Updated 2 weeks ago
• eurecom-s3 / symcc
  SymCC: efficient compiler-based symbolic execution
  ☆856Updated 8 months ago
• google / llvm-propeller
  PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker
  ☆497Updated last week
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆428Updated last week
• bkryza / clang-uml
  Customizable automatic UML diagram generator for C++ based on Clang.
  ☆866Updated last week