RICSecLab / coresight-traceLinks
Hardware-Assisted Process Tracer for Fuzzing on ARM64 Linux
☆25Updated 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
Sorting:
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Tutorial to write qemu plugins☆33Updated 7 years ago
- ☆18Updated 3 years ago
- How to use LLVM passes☆32Updated 3 years ago
- Linux kernel branches for confidential compute research☆17Updated 2 months ago
- ☆9Updated 3 years ago
- Signedness-Agnostic Strided-Interval☆37Updated 5 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆71Updated last year
- ☆17Updated last year
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆41Updated last year
- ☆33Updated 3 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
- Tool to extract the kallsyms (System.map) from a memory dump☆26Updated last year
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆31Updated last year
- ☆42Updated 3 years ago
- ☆53Updated 5 years ago
- The Captive Hypervisor☆42Updated 2 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆21Updated 7 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆30Updated 3 years ago
- Fast Binary Translator for the Kernel☆27Updated 11 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆83Updated 3 weeks ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated this week
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆34Updated 5 years ago
- KLEE-TAINT - Klee with taint analysis support☆70Updated 7 years ago
- a taint tracer based on DynamoRIO, currently ARM only☆41Updated 5 years ago
- ☆46Updated last year
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Updated 2 years ago
- ☆24Updated 2 years ago