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

A unit test-like interface for fuzzing and symbolic execution

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

Super Fast Concolic Execution Engine based on Source Code Taint Tracing

No description or website provided.

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

Hacking tools

REST 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

DOM fuzzer

FuZZan: Efficient Sanitizer Metadata Design for Fuzzing

Janus: a state-of-the-art file system fuzzer on Linux

A fast SAT solver

BrundleFuzz is a distributed fuzzer for Windows and Linux using dynamic binary instrumentation.

A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.

Randomly mutate JSON, XML, HTML forms, text and binary data for fuzz testing

Command line tool for testing CRLF injection on a list of domains.

Canadian Furious Beaver is a tool for hijacking IRPs handler in Windows drivers, and facilitating the process of analyzing Windows drivers for vulnerabilities

✨ Purpose only! The dangers of Bluetooth Low Energy（BLE）implementations: Unveiling zero day vulnerabilities and security flaws in modern Bluetooth LE stacks.

The Art, Science, and Engineering of Fuzzing: A Survey

won't maintain

Fuzzing and Data Manipulation Framework (for GNU/Linux)

Simplify Ethereum security analysis and testing

Bugs are inevitable. Suffering is optional.

Patches to afl to fix bugs or add enhancements

A fork and successor of the Sulley Fuzzing Framework

A fork of AFL for fuzzing Windows binaries

A collection of various awesome lists for hackers, pentesters and security researchers

A utility to make Kotlin/Java tests random yet reproducible

Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

A fuzzing library in JavaScript. ✨

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.

The 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!

Towards Large-Scale Emulation of IoT Firmware for Dynamic Analysis

ANTLR v4 grammar-based test generator

🤖 Repeat tests. Repeat tests. Repeat tests.

FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.

Reverse-engineering tools and exploits for Samsung's implementation of TrustZone

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.

ArcHeap: Automatic Techniques to Systematically Discover New Heap Exploitation Primitives

HTML5 WebSocket message fuzzer

A blackbox mutational fuzzer for detecting critical bugs in SMT solvers

An open source fuzzing framework for fun.

This repository contains the code for a fuzzing prototype for the OP-TEE system call interface using AFL.

wooyun public information backup

A curated list of awesome directed fuzzing research papers

KLEE Symbolic Execution Engine

Curated list of resources on testing distributed systems

This is the full file system fuzzing framework that I presented at the Hack in the Box 2020 Lockdown Edition conference in April.

Provides a Kotlin/Java library to create a random json string

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

📖 Guides and tutorials on how to fuzz Rust code

A Not So Very Intelligent Fuzzer: An advanced fuzzing framework designed to find vulnerabilities in C/C++ code.

An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite

Erlang port of famous radamsa fuzzzer.

A user-friendly fuzzing and crash triage tool for Windows

Binary Analysis Platform

RFSec-ToolKit is a collection of Radio Frequency Communication Protocol Hacktools.无线通信协议相关的工具集，可借助SDR硬件+相关工具对无线通信进行研究。Collect with ♥ by HackSmith

BurpSuite收集：包括不限于 Burp 文章、破解版、插件(非BApp Store)、汉化等相关教程，欢迎添砖加瓦---burpsuite-pro burpsuite-extender burpsuite cracked-version hackbar hacktools fuzzing fuzz-testing burp-plugin burp-extensions bapp-store brute-force-attacks brute-force-passwords waf sqlmap jar

😎 Curated list about cryptocurrency security (reverse / exploit / fuzz..)