-
-
-
-
deepstate Public
Forked from trailofbits/deepstateA unit test-like interface for fuzzing and symbolic execution
Python Apache License 2.0 UpdatedAug 22, 2025 -
-
AFLplusplus Public
Forked from AFLplusplus/AFLplusplusThe fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
C Apache License 2.0 UpdatedMay 21, 2025 -
-
-
muttfuzz Public
A tool for meta-fuzzing using program mutants
-
mutsbom Public
Project / paper repo for mutation-based extension of ideas in CovSBOM paper
UpdatedMar 27, 2025 -
-
-
-
-
-
qa-assets Public
Forked from bitcoin-core/qa-assetsBitcoin Core related blobs used for quality assurance
Rust MIT License UpdatedAug 15, 2024 -
onward24code Public
Source code and instructions for "(Programs), Proofs and Refutations (and Tests and Mutants)"
-
universalmutator Public
Regexp based tool for mutating generic source code across numerous languages
-
umpaper Public
paper describing universal source based approach to mutation testing
-
-
tstl Public
Template Scripting Testing Language tool: automated test generation for Python
-
-
-
pandas Public
Forked from pandas-dev/pandasFlexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more
Python BSD 3-Clause "New" or "Revised" License UpdatedFeb 4, 2024 -
-
-
-
-
DeepState harness for https://github.com/FooBarWidget/boyer-moore-horspool
C++ UpdatedMay 6, 2023 -
rb_tree_demo Public
DeepState version of code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896
{{ message }}