jakubadamw / rutenspitzView external linksLinks
А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
☆88May 3, 2023Updated 2 years ago
Alternatives and similar repositories for rutenspitz
Users that are interested in rutenspitz are comparing it to the libraries listed below
Sorting:
- Dependency Injection library for rust☆17Oct 25, 2025Updated 3 months ago
- Effortlessly fuzz libraries with large API surfaces☆71Aug 18, 2021Updated 4 years ago
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆449Jan 22, 2026Updated 3 weeks ago
- Find the ideal fuzz targets in a Rust codebase☆223Nov 21, 2025Updated 2 months ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- ☆15Jun 18, 2023Updated 2 years ago
- A tool for finding large memcpy's in llvm ir☆61Mar 26, 2019Updated 6 years ago
- Sandboxing C in Rust☆19Jun 16, 2025Updated 8 months ago
- A binary format for Rust / serde that supports schema evolution☆17Feb 10, 2025Updated last year
- A rust crate to offer compile-time assistance for working with unsafe code.☆122Oct 11, 2021Updated 4 years ago
- Pre-emptively created repository so the design can be discussed on the issue tracker before commits are made (repo name may change)☆18Jan 1, 2026Updated last month
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- Asynchronous pipelines of contiguous data, for rust.☆18Oct 9, 2023Updated 2 years ago
- RustPräzi: Representing crates.io as a call-based dependency network☆82Jan 20, 2019Updated 7 years ago
- Find calls to panic functions in rust executables☆36Sep 19, 2021Updated 4 years ago
- ☆31Feb 1, 2023Updated 3 years ago
- A typesafe, flexible, simple, and user-friendly unit system library for Rust that has good error messages.☆22Jan 2, 2026Updated last month
- ☆16Jan 28, 2021Updated 5 years ago
- property testing and verification front-end for Rust☆229Jan 24, 2026Updated 3 weeks ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆22Apr 17, 2018Updated 7 years ago
- A thread pool for running multiple tasks on a configurable group of threads.☆51Nov 22, 2023Updated 2 years ago
- Extremely minimal parser for ELF/PE/Mach-o/ar☆42Jul 3, 2021Updated 4 years ago
- A WebAssembly test case generator☆44Oct 21, 2020Updated 5 years ago
- Secure storage for cryptographic secrets in Rust☆240Aug 15, 2025Updated 6 months ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 2 years ago
- drop-in replacement for libfuzzer☆72Aug 7, 2025Updated 6 months ago
- Easy-cast library☆30Dec 2, 2025Updated 2 months ago
- Asynchronize blocking operation.☆26Apr 1, 2022Updated 3 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64May 14, 2020Updated 5 years ago
- Rust NonEmpty slice☆13Jul 5, 2021Updated 4 years ago
- An exploration into the various ways optional trait methods can be implemented in Rust.☆42Jul 2, 2025Updated 7 months ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- A plugin for Criterion.rs to measure Linux perf events.☆45Dec 2, 2025Updated 2 months ago
- Hassle-free asynchronous programming for Rust☆33Apr 20, 2025Updated 9 months ago
- Rust bindings and utilities for LLVM’s libFuzzer☆249Feb 10, 2026Updated last week
- Pythia (extends AFL with Predictions)☆66Jun 18, 2021Updated 4 years ago
- A library for parsing programs written in the shell programming language.☆65Feb 22, 2021Updated 4 years ago
- CLI to recursively query binary dependencies☆23Oct 22, 2022Updated 3 years ago
- Even formats macros☆97Dec 26, 2025Updated last month