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:
- ☆65Updated 2 years ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆24Updated last year
- Binary Code Similarity Analysis (BCSA) Benchmark☆164Updated last year
- ☆147Updated last year
- Produce code coverage results with gcov from afl-fuzz test cases☆88Updated 10 months ago
- ☆69Updated last year
- ☆54Updated 6 months ago
- ☆92Updated 7 months ago
- A framework to test the correctness of the Linux kernel patch.☆22Updated 2 years ago
- Repository for monolithic firmware blobs☆84Updated 3 years ago
- A LLVM Sanitizer for Symbolic Tracing☆226Updated 4 months ago
- ☆69Updated last year
- angr's exploration technique to perform taint analysis☆65Updated 5 years ago
- SymQEMU: Compilation-based symbolic execution for binaries☆358Updated 6 months ago
- ☆74Updated 3 years ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆120Updated 2 years ago
- ☆87Updated 6 months ago
- QEMU-based Memory Sanitizer for binary software.☆15Updated 2 months ago
- For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…☆114Updated 6 months ago
- 20 benchmark programs☆51Updated 4 years ago
- ☆234Updated last year
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆160Updated 3 years ago
- ☆200Updated 2 months ago
- BoKASAN: Binary-only Kernel Address Sanitizer for Effective Kernel Fuzzing☆31Updated 2 years ago
- A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel☆24Updated 4 months ago
- ☆58Updated 2 years ago
- ☆96Updated last month
- A data-flow-guided fuzzer☆124Updated 2 years ago
- ☆27Updated last year
- Full implementaion of Genius☆32Updated 2 years ago