Tzer-AnonBot / tzer
Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
☆13Updated 3 years ago
Alternatives and similar repositories for tzer:
Users that are interested in tzer are comparing it to the libraries listed below
- ☆11Updated 3 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆16Updated last year
- ☆10Updated 4 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- ☆27Updated 3 years ago
- ☆11Updated 2 years ago
- Grey-box fuzzer SIVO☆14Updated 3 years ago
- ☆18Updated 4 years ago
- ☆14Updated 4 years ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆13Updated last year
- aurora-d☆20Updated 2 years ago
- ☆14Updated 7 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- Source code for ACTOR, an action-guided kernel fuzzer (USENIX 2023 paper)☆31Updated 9 months ago
- ☆23Updated 2 years ago
- ☆27Updated last year
- ☆16Updated 5 years ago
- ICSE'23 - CoFuzz: Coordinated hybrid fuzzing framework with advanced coordination mode☆45Updated last year
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆13Updated 2 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆26Updated 11 months ago
- ☆24Updated last year
- FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек☆51Updated this week
- ☆12Updated last year
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆24Updated 2 years ago
- ACSAC 2018 paper: Towards Automated Generation of Exploitation Primitives for Web Browsers☆14Updated 6 years ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆30Updated last year
- This is the project of LearnAFL.☆27Updated 4 years ago
- ☆18Updated last year
- A gdb for fuzzing☆21Updated 3 years ago
- Corpus set used by DIE☆39Updated 4 years ago