fandango-fuzzer / fandangoLinks
FANDANGO: Evolving Language-Based Testing
☆65Updated this week
Alternatives and similar repositories for fandango
Users that are interested in fandango are comparing it to the libraries listed below
Sorting:
- Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)☆33Updated last month
- autofz: Automated Fuzzer Composition at Runtime☆78Updated last year
- ☆32Updated last year
- Recent symbolic execution papers and tools.☆169Updated 2 months ago
- UT based automated fuzz driver generation☆167Updated 3 months ago
- ☆74Updated 2 weeks ago
- ☆65Updated last year
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆25Updated last year
- A curated list of Grammar based fuzzing research papers, codes, tutorials☆123Updated 3 years ago
- ☆15Updated 10 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated last year
- Produce code coverage results with gcov from afl-fuzz test cases☆84Updated 6 months ago
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆267Updated last year
- ☆24Updated this week
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆60Updated 2 months ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆104Updated 3 months ago
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated last year
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆80Updated last month
- find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)☆186Updated 10 months ago
- ☆28Updated 2 years ago
- Symbolic Program Slicing with LLVM☆82Updated 4 years ago
- ☆37Updated last year
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆25Updated 3 years ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆317Updated last month
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- ☆45Updated 8 months ago
- ☆21Updated last year
- No description yet☆11Updated 2 years ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆120Updated 2 years ago
- Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)☆33Updated 5 months ago