B2R2-org / FunProbe
FunProbe: Probing Functions from Binary Code through Probabilistic Analysis (ESEC/FSE '23)
☆15Updated last year
Alternatives and similar repositories for FunProbe:
Users that are interested in FunProbe are comparing it to the libraries listed below
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆45Updated last year
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆47Updated 6 months ago
- A collection of widely-fuzzed targets☆45Updated 5 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆34Updated last year
- UAF Fuzzing Benchmark☆57Updated 4 years ago
- ☆39Updated 4 months ago
- ☆31Updated last year
- Montage: A Neural Network Language Model-Guided JavaScript Engine Fuzzer☆87Updated 10 months ago
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆42Updated last year
- ☆29Updated 11 months ago
- The Use of Likely Invariants as Feedback for Fuzzers☆89Updated 3 years ago
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆33Updated 10 months ago
- ☆25Updated last year
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆24Updated 11 months ago
- ☆18Updated last year
- List the real world programs evaluated in fuzzing papers.☆57Updated 6 years ago
- Syzkaller with MAB scheduling and seed selection☆24Updated 5 years ago
- EMS provided by the paper "EMS: History-Driven Mutation for Coverage-based Fuzzing"☆34Updated 2 years ago
- ☆51Updated 10 months ago
- MTFuzz: Fuzzing with a Multi-Task Neural Network☆35Updated 3 years ago
- ☆22Updated 2 weeks ago
- ☆13Updated 6 months ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆28Updated 9 months ago
- Source code of MEUZZ fuzzer☆45Updated 3 years ago
- A data-flow-guided fuzzer☆119Updated last year
- ☆68Updated 9 months ago
- Optimizing Directed Fuzzing via Target-tailored Program State Restriction☆28Updated last year
- SeamFuzz Artifact repository for ICSE 2023☆13Updated 2 years ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆49Updated last month
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated 9 months ago