sola-st / wasm-binary-security
☆74Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for wasm-binary-security
- ☆27Updated 3 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- ☆33Updated last year
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆290Updated 4 months ago
- A LLVM Sanitizer for Symbolic Tracing☆208Updated 2 months ago
- Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting☆188Updated last year
- ☆87Updated 3 years ago
- Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.☆128Updated 2 years ago
- ☆71Updated 3 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆35Updated last week
- ☆55Updated 8 months ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆172Updated 7 months ago
- ☆104Updated 10 months ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆151Updated 2 years ago
- ☆27Updated 2 years ago
- Source code of MEUZZ fuzzer☆43Updated 2 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆224Updated 2 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆75Updated 2 years ago
- ☆46Updated 3 years ago
- source code for savior fuzzer☆126Updated 4 years ago
- We hinder fuzzing☆64Updated 2 years ago
- Symbolic Execution Over Processor Traces☆116Updated 3 months ago
- User Guided API Misuse Detection☆27Updated last year
- Run fuzzing experiments in Docker☆98Updated 3 years ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆208Updated 2 months ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆75Updated 2 years ago
- AFL/AFL++ version FishFuzz☆86Updated 8 months ago
- ☆38Updated 2 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆58Updated 2 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆84Updated 6 months ago