250 Open source projects that are alternatives of or similar to FuSeBMC

Fragscapy is a command-line tool to fuzz network protocols by automating the modification of outgoing network packets. It can run multiple successive tests to determine which options can be used to evade firewalls and IDS.

JavaFuzz 4 Android

Swift-based fuzzing tools

Vaf is a cross-platform very advanced and fast web fuzzer written in nim

Automatic Exploit Generation Paper

A regular expression fuzzer.

Fuzzer to automatically find side-channel (timing) vulnerabilities

American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries

Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.

MediaTek Fuzzing Workshop in HITCON 2021

OpenType font file format fuzzer for Windows

Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

The x86 processor fuzzer

Physically based renderer written in C++

run AFL with pintool

Structure-aware, in-process, coverage-guided, evolutionary fuzzing engine for Rust functions.

"Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)

A cross-platform browser fuzzing framework

libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)

Dynamic file detection tool based on crawler 基于爬虫的动态敏感文件探测工具

A distributed fuzzing management framework

🏆 Collection of bugs uncovered by fuzzing Rust code

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

CLI to integrate continuous fuzzing with Fuzzit

A grammar-based custom mutator for AFL++

Constraint solver based on coverage-guided fuzzing

Exports cross-process metrics via OpenTracing to Prometheus.

Rockyou for web fuzzing

Fuzzing Unification Framework

A fuzzer for full VM kernel/driver targets

A support library for Ronin. Like activesupport, but for hacking!

File Inclusion & Directory Traversal fuzzing, enumeration & exploitation tool.

Fuzzware's main repository. Start here to install.

Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

A collection of user-space Linux kernel specific guided fuzzers based on LKL

Academic papers and articles that I read related to web hacking, fuzzing, etc. / 阅读过的Web安全方向、模糊测试方向的一些论文与阅读笔记

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

vfuzz

🎯 A collection of fuzzing targets written in Rust.

coverage guided fuzz testing for python

Fuzz testing for jest

Seeding fuzzers with symbolic execution

Mutation Based Fuzzer for IEC61850 Server IED'S

An open source fuzzing framework for fun.

Customizable TCP fuzzing tool to test for remote buffer overflows.

ANTLR v4 grammar-based test generator

A Python3 module to assist in fuzzing web applications

Custom memory allocator that helps discover reads from uninitialized memory

A stack tracer/profiler for Xen domains

Resources About Fuzzing, For Multiple Platforms And All Popular Fuzzers. 500+ Open Source Tools Sorted By Star Count, 800+ Blog Posts Sorted By Publish Time.

RTSPhuzz - An RTSP Fuzzer written using the Boofuzz framework

A fork of AFL for fuzzing Windows binaries

Network based protocol fuzzer

BSOD: Binary-only Scalable fuzzing Of device Drivers

Kernel fuzzer inspired by Syzkaller.

A collection of special paths linked to major web CVEs, known misconfigurations, juicy APIs ..etc. It could be used as a part of web content discovery, to scan passively for high-quality endpoints and quick-wins.

Network and USB protocol fuzzing toolkit.

Restart machine or services after dnf-automatic installed updates

AFL binary instrumentation

Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting