RICSecLab / coresight-trace
Hardware-Assisted Process Tracer for Fuzzing on ARM64 Linux
☆24Updated 2 years ago
Alternatives and similar repositories for coresight-trace:
Users that are interested in coresight-trace are comparing it to the libraries listed below
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆70Updated last year
- Tutorial to write qemu plugins☆32Updated 7 years ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆40Updated last year
- Signedness-Agnostic Strided-Interval☆36Updated 5 years ago
- How to use LLVM passes☆31Updated 2 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆26Updated 5 years ago
- ☆18Updated 3 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Updated 2 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago
- ☆42Updated 3 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆20Updated 7 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆33Updated 5 years ago
- kAFL Fuzzer☆33Updated last month
- ☆46Updated 3 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆46Updated 4 years ago
- ☆31Updated 4 years ago
- ☆46Updated last year
- Linux kernel branches for confidential compute research☆17Updated 2 weeks ago
- ☆40Updated 4 years ago
- ☆16Updated 6 years ago
- Tool to extract the kallsyms (System.map) from a memory dump☆26Updated last year
- The Captive Hypervisor☆42Updated 2 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- llvm crash analysis☆43Updated 9 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆130Updated last year
- ☆32Updated 2 years ago
- ☆37Updated 2 years ago
- Driver Security Analyzer☆51Updated 4 years ago