Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for fuzzing symbolic
fuzzing
x
symbolic
x
13 search results found
Deepstate
⭐
782
A unit test-like interface for fuzzing and symbolic execution
Symbolic Execution
⭐
412
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Symqemu
⭐
267
SymQEMU: Compilation-based symbolic execution for binaries
Fuzzball
⭐
212
FuzzBALL: Vine-based Binary Symbolic Execution
Kleefl
⭐
155
Seeding fuzzers with symbolic execution
Tlspuffin
⭐
116
A Dolev-Yao-model-guided fuzzer for TLS
Oss Sydr Fuzz
⭐
99
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
Crusher
⭐
37
Coastal
⭐
21
Concolic analysis tool for Java
Badger
⭐
14
Word Quick Fuzzer
⭐
10
A framework to fuzz Word Quick Fields
Sydr Benchmark
⭐
8
Sydr benchmark applications
Sdriller
⭐
6
An patch for shellphish's Driller. Add support for strip static linked binaries, for which uses IDrillerA's result to hook libc functions.
Related Searches
Python Symbolic (449)
Fuzzing Fuzzer (433)
Python Fuzzing (353)
C Fuzzing (224)
1-13 of 13 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.