Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Fuzzing Symbolic Execution Open Source Projects

Open source projects categorized as Fuzzing Symbolic Execution
Categories > Fuzzing
Categories > Security > Symbolic Execution
Crosshair ⭐ 924
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 45most recent commit 3 months agopypi crosshair-tool} Downloads
Angora ⭐ 867
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
most recent commit 2 years ago
Deepstate ⭐ 782
A unit test-like interface for fuzzing and symbolic execution
most recent commit 8 months ago
Symbolic Execution ⭐ 412
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
most recent commit 2 years ago
Symqemu ⭐ 267
SymQEMU: Compilation-based symbolic execution for binaries
most recent commit 5 months ago
Fuzzball ⭐ 212
FuzzBALL: Vine-based Binary Symbolic Execution
most recent commit 4 months ago
Fuzzing_paper ⭐ 192
fuzzing related paper
most recent commit 3 years ago
Kleefl ⭐ 155
Seeding fuzzers with symbolic execution
most recent commit 7 years ago
Pastis ⭐ 144
PASTIS: Collaborative Fuzzing Framework
total releases 11most recent commit 4 months ago
Ilf ⭐ 123
AI based fuzzer based on imitation learning
most recent commit 9 months ago
Oss Sydr Fuzz ⭐ 99
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
most recent commit 3 months ago
Fuzzing ⭐ 77
Fuzzing tutorial with easy to learn labs 🚀
most recent commit 2 years ago
Optik ⭐ 73
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
most recent commit 10 months ago
Kirenenko ⭐ 69
Super Fast Concolic Execution Engine based on Source Code Taint Tracing
most recent commit 3 years ago
Ttexplore ⭐ 47
TTexplore is a library that performs path exploration on binary code using symbolic execution
most recent commit a year ago
Fusebmc ⭐ 37
FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world C programs.
most recent commit 4 months ago
Crusher ⭐ 37
most recent commit 3 months ago
Intriguer ⭐ 33
Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing
most recent commit 5 months ago
Fuzzification ⭐ 26
We hinder fuzzing
most recent commit 5 years ago
Coastal ⭐ 21
Concolic analysis tool for Java
most recent commit 2 years ago
Ml4sec Papers ⭐ 18
Research papers on ML for security
most recent commit 4 years ago
Badger ⭐ 14
most recent commit 5 years ago
Interrupt_analysis ⭐ 10
most recent commit 7 years ago
The 2 Latest Releases In Fuzzing Symbolic Execution Open Source Projects
Crosshair ⭐ 924
An analysis tool for Python that blurs the line between testing and type systems.
dependent packages 1total releases 45latest release November 10, 2023most recent commit 3 months agopypi crosshair-tool} Downloads
Pastis ⭐ 144
PASTIS: Collaborative Fuzzing Framework
total releases 11latest release September 10, 2023most recent commit 4 months ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.