Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for fuzzer symbolic execution
fuzzer
x
symbolic-execution
x
6 search results found
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.
Driller
⭐
734
Driller: augmenting AFL with symbolic execution!
Symcc
⭐
724
SymCC: efficient compiler-based symbolic execution
Ilf
⭐
123
AI based fuzzer based on imitation learning
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.
Kex
⭐
24
A platform for analysis of Java bytecode
Related Searches
Fuzzing Fuzzer (433)
Python Fuzzer (275)
C Fuzzer (141)
Python Symbolic Execution (75)
Security Fuzzer (75)
C Plus Plus Fuzzer (67)
1-6 of 6 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
