Samsung / auto_off_target
AoT is a system for automatically generating off-target test harness by using build information.
☆37Updated 2 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
- ☆50Updated last year
- Repository for monolithic firmware blobs☆71Updated 2 years ago
- Produce code coverage results with gcov from afl-fuzz test cases☆76Updated 2 months ago
- BENZENE: A Practical Root Cause Analysis System with an Under-Constrained State Mutation☆24Updated 11 months ago
- ☆57Updated last year
- Code Aware Services (CAS) is a set of tools for extracting information from a (especially large) source code trees. It consists of Build …☆46Updated 4 months ago
- ☆79Updated 10 months ago
- ☆25Updated last year
- A Specification-Guided Approach for Firmware Emulation☆39Updated 8 months ago
- A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel☆17Updated 4 months ago
- A data-flow-guided fuzzer☆116Updated last year
- ☆33Updated 9 months ago
- A collection of resources/tools and analyses for the angr binary analysis framework.☆173Updated 2 years ago
- ☆68Updated 8 months ago
- ☆141Updated 4 months ago
- The Use of Likely Invariants as Feedback for Fuzzers☆88Updated 3 years ago
- USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types☆198Updated 3 years ago
- ☆40Updated 11 months ago
- Linux Kernel Fuzzer Corpus☆132Updated this week
- ☆22Updated 10 months ago
- StateAFL: A Greybox Fuzzer for Stateful Network Servers☆163Updated last year
- ☆223Updated last year
- cinspector - a static C source code analysis framework☆26Updated 8 months ago
- Artifacts for our USENIX Security '24 paper: "Code is not Natural Language: Unlock the Power of Semantics-Oriented Graph Representation f…☆64Updated 2 months ago
- Binary Code Similarity Analysis (BCSA) Benchmark☆147Updated last year
- Symbolic Execution Over Processor Traces☆119Updated 6 months ago
- SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.☆74Updated last month
- ☆36Updated 4 months ago
- ☆63Updated 11 months ago
- ☆20Updated 5 months ago