Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
☆12Jan 15, 2022Updated 4 years ago
Alternatives and similar repositories for tzer
Users that are interested in tzer are comparing it to the libraries listed below
Sorting:
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- A "gym" style toolkit for building lightweight NAS systems.☆13Jun 13, 2022Updated 3 years ago
- ☆10Jul 9, 2020Updated 5 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- First level taint implementation with qemu for linux user mode☆28Aug 11, 2020Updated 5 years ago
- OSS-Fuzz Public Corpora Crawler☆30Feb 23, 2023Updated 3 years ago
- ☆30Jan 7, 2021Updated 5 years ago
- A new type of js fuzzer☆26Feb 10, 2020Updated 6 years ago
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆31Apr 4, 2021Updated 4 years ago
- CFG and scripts for fuzzing the PHP interpreter with Domato☆28Jan 4, 2020Updated 6 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Mar 2, 2020Updated 5 years ago
- FuzzBuilderEx is a system to build seed corpus and fuzzing executables using the test framework automatically.☆13Sep 6, 2022Updated 3 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- QuickPatch: A patching tool☆13Oct 20, 2019Updated 6 years ago
- Evolving fuzzers with large language models☆17Dec 14, 2023Updated 2 years ago
- A framework provides an interface to monitor and control fuzzers☆30Jul 5, 2023Updated 2 years ago
- a simple frida-based fuzzer for skylight based on @ret2systems pwn2own work☆30May 19, 2019Updated 6 years ago
- Fuzzing with controlled compilation☆31Apr 7, 2023Updated 2 years ago
- A browser fuzzer augmented by API mod-ref relations☆35Mar 8, 2024Updated last year
- AyedFuzzer is a small File-Format-Fuzzer with 3 options (File-mutating, WinDbg-interactive monitor, multi-processing) for windows executa…☆17Dec 2, 2024Updated last year
- QEMU to drcov trace file☆11Nov 21, 2020Updated 5 years ago
- TSAR (Traits Static AnalyzeR)☆15May 3, 2024Updated last year
- Fuzzing Parsers with Tokens☆33Jan 14, 2021Updated 5 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆34Jun 6, 2021Updated 4 years ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆30Apr 7, 2019Updated 6 years ago
- ☆18Aug 7, 2020Updated 5 years ago
- GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing (ISSTA‘23)☆17Jul 19, 2023Updated 2 years ago
- Stateless Network Fuzzer for QEMU (Targeting SLiRP)☆17Oct 19, 2020Updated 5 years ago
- ☆12Jun 14, 2023Updated 2 years ago
- ☆14Jun 21, 2020Updated 5 years ago
- Benchmark apps for static analyzing native world of Android applications.☆13Nov 15, 2018Updated 7 years ago
- This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs (#158)” in ICSE2022☆12Nov 15, 2022Updated 3 years ago
- ☆15Sep 14, 2022Updated 3 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated last year
- Fuzzing JavaScript WebAssembly APIs using Dharma/Domato (Chrome/v8, etc.)☆43Feb 8, 2022Updated 4 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆38Oct 12, 2022Updated 3 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Jul 19, 2021Updated 4 years ago
- ☆12Jan 13, 2021Updated 5 years ago