sola-st / wasm-binary-security
☆74Updated 2 years ago
Alternatives and similar repositories for wasm-binary-security:
Users that are interested in wasm-binary-security are comparing it to the libraries listed below
- ☆103Updated last year
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆225Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆72Updated 2 years ago
- Run fuzzing experiments in Docker☆100Updated 3 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆174Updated 10 months ago
- Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting☆188Updated last year
- Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)☆54Updated 4 years ago
- ☆27Updated 3 years ago
- ☆46Updated 3 years ago
- Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.☆130Updated 2 years ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆76Updated 2 years ago
- ☆33Updated last year
- ☆89Updated 3 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆88Updated 3 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆90Updated 10 months ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆217Updated 2 weeks ago
- AFL/AFL++ version FishFuzz☆88Updated 11 months ago
- A LLVM Sanitizer for Symbolic Tracing☆216Updated 5 months ago
- ☆63Updated 11 months ago
- autofz: Automated Fuzzer Composition at Runtime☆76Updated last year
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆120Updated 3 years ago
- ☆39Updated 2 years ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆153Updated 2 years ago
- An AFL implementation with UnTracer (our coverage-guided tracer)☆124Updated 2 years ago
- Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing☆87Updated 6 months ago
- ☆68Updated 3 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆121Updated 4 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆100Updated 2 years ago
- ☆39Updated 4 years ago
- ☆72Updated 3 years ago