283 Open source projects that are alternatives of or similar to Kirenenko

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

A unit test-like interface for fuzzing and symbolic execution

No description or website provided.

An analysis tool for Python that blurs the line between testing and type systems.

Seeding fuzzers with symbolic execution

Challenging testcases for fuzzers

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.

Swift-based fuzzing tools

run AFL with pintool

Automatic Exploit Generation Paper

A simple program reducer for any language.

This is a repo is to upload files done during my research.

Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19

Network based protocol fuzzer

SOLTIX: Scalable automated framework for testing Solidity compilers.

Extracting high level semantic information from binary code

Fuzzer to automatically find side-channel (timing) vulnerabilities

Symbolic Execution Engine for Boogie

yet another dirbuster

The x86 processor fuzzer

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

StateAFL: A Greybox Fuzzer for Stateful Network Servers

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

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

A distributed fuzzing management framework

symbolic execution plugin for binary ninja

Staged Abstract Interpreters

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

Distributed fuzzing platform

Sample files for fuzzing ImageMagick

Network and USB protocol fuzzing toolkit.

AFL binary instrumentation

TRACER Symbolic Execution Tool

Automatic function exporting and linking for fuzzing cross-architecture binaries.

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.

AFL "mostly" ported to cygwin

HTTP fuzzer engine security oriented

OpenType font file format fuzzer for Windows

A 6502-oriented low-level programming language supporting advanced static analysis

Main repository of the Vigor NF verification project.

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

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

Kernel fuzzer inspired by Syzkaller.

CRAX: software CRash analysis for Automatic eXploit generation

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

A fast SAT solver

Interactive CLI Web Crawler

expansion of afl-unicorn using c++

A grammar-based custom mutator for AFL++

FirmWire is a full-system baseband firmware emulation platform for fuzzing, debugging, and root-cause analysis of smartphone baseband firmwares

Extension library for the Kitty fuzzing framework

🎯 A collection of fuzzing targets written in Rust.

Find exploitable PHP files by parameter fuzzing and function call tracing

X41 Smartcard Fuzzer

Mutation Based Fuzzer for IEC61850 Server IED'S

A multi-purpose extensible self-adaptive evolutionary tool

Fuzzware's main repository. Start here to install.

run AFL with dynamorio

A Python3 module to assist in fuzzing web applications

Fuzz testing for jest