JqfJQF + Zest: Coverage-guided semantic fuzzing for Java.
Stars: ✭ 340 (+59.62%)
fuzz-rest-apiDerive property based testing fast-check into a fuzzer for REST APIs
Stars: ✭ 38 (-82.16%)
Fast CheckProperty based testing framework for JavaScript (like QuickCheck) written in TypeScript
Stars: ✭ 2,604 (+1122.54%)
QuicktheoriesProperty based testing for Java 8
Stars: ✭ 483 (+126.76%)
Haskell HedgehogRelease with confidence, state-of-the-art property testing for Haskell.
Stars: ✭ 584 (+174.18%)
efftesterEffect-Driven Compiler Tester for OCaml
Stars: ✭ 37 (-82.63%)
Fsharp HedgehogRelease with confidence, state-of-the-art property testing for .NET.
Stars: ✭ 219 (+2.82%)
SwiftcheckQuickCheck for Swift
Stars: ✭ 1,319 (+519.25%)
HypothesisHypothesis is a powerful, flexible, and easy to use library for property-based testing.
Stars: ✭ 5,571 (+2515.49%)
quick.pyProperty-based testing library for Python
Stars: ✭ 15 (-92.96%)
Quick check.jsA JS implementation of quick_check
Stars: ✭ 48 (-77.46%)
Stream dataData generation and property-based testing for Elixir. 🔮
Stars: ✭ 597 (+180.28%)
eddErlang Declarative Debugger
Stars: ✭ 20 (-90.61%)
QcheckQuickCheck inspired property-based testing for OCaml.
Stars: ✭ 194 (-8.92%)
kitimatA library for generative, property-based testing in TypeScript and Jest.
Stars: ✭ 68 (-68.08%)
RantlyRuby Imperative Random Data Generator and Quickcheck
Stars: ✭ 241 (+13.15%)
ava-fast-checkProperty based testing for AVA based on fast-check
Stars: ✭ 44 (-79.34%)
DeepstateA unit test-like interface for fuzzing and symbolic execution
Stars: ✭ 603 (+183.1%)
Fuzzcheck RsStructure-aware, in-process, coverage-guided, evolutionary fuzzing engine for Rust functions.
Stars: ✭ 247 (+15.96%)
quickcheckRandomized testing for Prolog à la QuickCheck
Stars: ✭ 18 (-91.55%)
pbt-frameworksAn overview of property-based testing functionality
Stars: ✭ 29 (-86.38%)
swagger-conformancePython based tool for testing whether your API conforms to its Swagger schema
Stars: ✭ 51 (-76.06%)
QcstmA simple state-machine framework for OCaml based on QCheck
Stars: ✭ 50 (-76.53%)
SnodgeRandomly mutate JSON, XML, HTML forms, text and binary data for fuzz testing
Stars: ✭ 121 (-43.19%)
Expect MoreCurried Type Testing library, and Test Matchers for Jest
Stars: ✭ 124 (-41.78%)
RaccoonA high performance offensive security tool for reconnaissance and vulnerability scanning
Stars: ✭ 2,312 (+985.45%)
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!
Stars: ✭ 2,319 (+988.73%)
KleeflSeeding fuzzers with symbolic execution
Stars: ✭ 172 (-19.25%)
Rest Api Fuzz TestingREST API Fuzz Testing (RAFT): Source code for self-hosted service developed for Azure, including the API, orchestration engine, and default set of security tools (including MSR's RESTler), that enables developers to embed security tooling into their CI/CD workflows
Stars: ✭ 119 (-44.13%)
FormatfuzzerFormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.
Stars: ✭ 117 (-45.07%)
FuzzfactoryDomain-Specific Fuzzing with Waypoints
Stars: ✭ 167 (-21.6%)
Fuzzing SurveyThe Art, Science, and Engineering of Fuzzing: A Survey
Stars: ✭ 116 (-45.54%)
Gramfuzzgramfuzz is a grammar-based fuzzer that lets one define complex grammars to generate text and binary data formats.
Stars: ✭ 209 (-1.88%)
HonggfuzzSecurity oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
Stars: ✭ 2,400 (+1026.76%)
MorphAn open source fuzzing framework for fun.
Stars: ✭ 166 (-22.07%)
SmallcheckTest your Haskell code by exhaustively checking its properties
Stars: ✭ 114 (-46.48%)
Hypothesis JsonschemaTools to generate test data from JSON schemata with Hypothesis
Stars: ✭ 112 (-47.42%)
DealDesign by contract for Python with static checker and tests' generation.
Stars: ✭ 164 (-23%)
GiniA fast SAT solver
Stars: ✭ 112 (-47.42%)
Wooyunwooyun public information backup
Stars: ✭ 112 (-47.42%)
SharpfuzzAFL-based fuzz testing for .NET
Stars: ✭ 185 (-13.15%)
NyayaRandom Data Generation and/or Property Testing in Scala & Scala.JS.
Stars: ✭ 165 (-22.54%)
Fisy FuzzThis is the full file system fuzzing framework that I presented at the Hack in the Box 2020 Lockdown Edition conference in April.
Stars: ✭ 110 (-48.36%)
FuzzinatorFuzzinator Random Testing Framework
Stars: ✭ 164 (-23%)
Awesome HackingA collection of various awesome lists for hackers, pentesters and security researchers
Stars: ✭ 48,038 (+22453.05%)
FunctionaljavaFunctional programming in Java
Stars: ✭ 1,472 (+591.08%)
BerserkerA list of useful payloads for Web Application Security and Pentest/CTF
Stars: ✭ 212 (-0.47%)
FdsploitFile Inclusion & Directory Traversal fuzzing, enumeration & exploitation tool.
Stars: ✭ 199 (-6.57%)
PapersAcademic papers and articles that I read related to web hacking, fuzzing, etc. / 阅读过的Web安全方向、模糊测试方向的一些论文与阅读笔记
Stars: ✭ 181 (-15.02%)
GrammarinatorANTLR v4 grammar-based test generator
Stars: ✭ 162 (-23.94%)
AnsvifA Not So Very Intelligent Fuzzer: An advanced fuzzing framework designed to find vulnerabilities in C/C++ code.
Stars: ✭ 107 (-49.77%)
FuddlyFuzzing and Data Manipulation Framework (for GNU/Linux)
Stars: ✭ 156 (-26.76%)
Unit ThreadedAdvanced unit test framework for D
Stars: ✭ 100 (-53.05%)
HackvaultA container repository for my public web hacks!
Stars: ✭ 1,364 (+540.38%)
QrgenSimple script for generating Malformed QRCodes.
Stars: ✭ 178 (-16.43%)