sola-st / wasm-binary-security

Related projects ⓘ

Alternatives and complementary repositories for wasm-binary-security

• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆71Updated 2 years ago
• umnsec / typm
  ☆33Updated last year
• sslab-gatech / fuzzification
  We hinder fuzzing
  ☆64Updated 2 years ago
• shamedgh / temporal-specialization
  This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…
  ☆34Updated 4 years ago
• SoftSec-KAIST / Fuzzing-Survey
  The Art, Science, and Engineering of Fuzzing: A Survey
  ☆207Updated 2 months ago
• junxzm1990 / ASAN--
  Source code of ASAN--
  ☆91Updated 4 months ago
• favocado / Favocado
  A DOM fuzzer.
  ☆76Updated 2 years ago
• cxreet / razor
  ☆39Updated 3 years ago
• unifuzz / overview
  ☆46Updated 4 years ago
• s3team / Polyglot
  ☆104Updated 9 months ago
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆208Updated last month
• fuzz-evaluator / guidelines
  ☆54Updated 8 months ago
• RUB-SysSec / aurora
  Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation
  ☆150Updated 2 years ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆116Updated 2 months ago
• umnsec / mlta
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆85Updated 7 months ago
• RUB-SysSec / Nyx
  USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types
  ☆195Updated 2 years ago
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆76Updated last year
• seclab-ucr / KOOBE
  Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities
  ☆84Updated 6 months ago
• sslab-gatech / deadline
  ☆46Updated 2 years ago
• vusec / parmesan
  ParmeSan: Sanitizer-guided Greybox Fuzzing
  ☆172Updated 6 months ago
• zjuchenyuan / dockerized_fuzzing
  Run fuzzing experiments in Docker
  ☆98Updated 3 years ago
• ChengyuSong / Kirenenko
  Super Fast Concolic Execution Engine based on Source Code Taint Tracing
  ☆97Updated 2 years ago
• SoftSec-KAIST / Ankou
  Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
  ☆54Updated 4 years ago
• NWU-NISL-Fuzzing / COMFORT
  ☆68Updated 3 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆29Updated 2 years ago
• seclab-yonsei / intriguer
  Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing
  ☆33Updated 11 months ago
• TortoiseFuzz / TortoiseFuzz
  ☆87Updated 3 years ago
• OSUSecLab / SelectiveTaint
  ☆70Updated 3 years ago
• ChijinZ / VisFuzz
  An interactive tool for better understanding and intervening fuzzing process via real-time visualization.
  ☆75Updated 2 years ago
• OMH4ck / mufuzz
  ☆33Updated 11 months ago