Tzer-AnonBot / tzerLinks
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
Sorting:
- ☆10Updated 5 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- ☆27Updated 2 years ago
- ☆14Updated 5 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- ☆12Updated 4 years ago
- ☆25Updated 2 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Updated 5 years ago
- Grey-box fuzzer SIVO☆14Updated 4 years ago
- ☆12Updated 2 years ago
- ☆16Updated 5 years ago
- Python GUI for seeing what's happening inside a fuzzer☆26Updated 3 years ago
- aurora-d☆20Updated 3 years ago
- Bring libfuzzer to Unicorn☆26Updated 3 years ago
- Evolving fuzzers with large language models☆17Updated last year
- ☆12Updated 3 years ago
- This is the project of LearnAFL.☆28Updated 5 years ago
- Slow llvm tracing for the masses☆14Updated 5 years ago
- COVA - A static analysis tool to compute path conditions☆37Updated last month
- ☆19Updated 5 years ago
- ☆16Updated 5 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆13Updated 2 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Updated 2 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆21Updated 2 years ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Updated 6 years ago
- A coverage-based software testing tool☆34Updated 4 years ago
- ☆34Updated 4 years ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆29Updated 6 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆37Updated 3 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Updated 5 years ago