prosyslab / tracer
Signature-based Static Analysis for Detecting Recurring Vulnerabilities
☆45Updated last month
Related projects ⓘ
Alternatives and complementary repositories for tracer
- ☆36Updated last week
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- ☆66Updated 4 months ago
- Research artifact for Oakland (S&P) 2024, "Titan: Efficient Multi-target Directed Greybox Fuzzing"☆46Updated 5 months ago
- Code for the NDSS'23 paper "DARWIN: Survival of the Fittest Fuzzing Mutators"☆28Updated last year
- ☆104Updated 9 months ago
- A collection of widely-fuzzed targets☆44Updated 5 years ago
- ☆19Updated last year
- ☆22Updated 2 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆41Updated 2 years ago
- EMS provided by the paper "EMS: History-Driven Mutation for Coverage-based Fuzzing"☆34Updated 2 years ago
- AFL/AFL++ version FishFuzz☆86Updated 7 months ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆113Updated last year
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆20Updated 7 months ago
- SeamFuzz Artifact repository for ICSE 2023☆13Updated last year
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆75Updated 10 months ago
- Source code of MEUZZ fuzzer☆43Updated 2 years ago
- Python library for CPGQL server☆21Updated 5 months ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆33Updated 11 months ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆45Updated 11 months ago
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models☆63Updated last month
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆31Updated last month
- MTFuzz: Fuzzing with a Multi-Task Neural Network☆34Updated 3 years ago
- Run fuzzing experiments in Docker☆98Updated 3 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆86Updated 2 years ago
- ☆33Updated 11 months ago
- Code and artifacts related to the Asia CCS 2022 paper☆34Updated 3 years ago
- UAF Fuzzing Benchmark☆55Updated 3 years ago
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆51Updated 5 months ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆42Updated 8 months ago