Samsung / auto_off_targetLinks
AoT is a system for automatically generating off-target test harness by using build information.
☆38Updated 11 months ago
Alternatives and similar repositories for auto_off_target
Users that are interested in auto_off_target are comparing it to the libraries listed below
Sorting:
- ☆66Updated 2 years ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆24Updated last year
- Produce code coverage results with gcov from afl-fuzz test cases☆89Updated 11 months ago
- ☆74Updated 3 years ago
- ☆147Updated last year
- Repository for monolithic firmware blobs☆87Updated 3 years ago
- 20 benchmark programs☆51Updated 4 years ago
- A LLVM Sanitizer for Symbolic Tracing☆227Updated 4 months ago
- ☆200Updated 2 months ago
- ☆58Updated 2 years ago
- MOpt-AFL provided by the paper "MOPT: Optimized Mutation Scheduling for Fuzzers"☆215Updated 4 years ago
- A Specification-Guided Approach for Firmware Emulation☆43Updated 7 months ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆160Updated 3 years ago
- SymQEMU: Compilation-based symbolic execution for binaries☆365Updated 6 months ago
- Source code release for the KRace project☆29Updated 4 years ago
- A framework to test the correctness of the Linux kernel patch.☆22Updated 2 years ago
- ☆70Updated last year
- Binary Code Similarity Analysis (BCSA) Benchmark☆167Updated last year
- angr's exploration technique to perform taint analysis☆65Updated 5 years ago
- DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis☆64Updated 2 years ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆325Updated 6 months ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆120Updated 2 years ago
- ☆237Updated last year
- ☆54Updated 6 months ago
- ☆70Updated last year
- A grammar-based custom mutator for AFL++☆262Updated last year
- libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)☆263Updated 9 months ago
- UT based automated fuzz driver generation☆168Updated 7 months ago
- BoKASAN: Binary-only Kernel Address Sanitizer for Effective Kernel Fuzzing☆31Updated 2 years ago
- ☆88Updated 6 months ago