RICSecLab / coresight-traceLinks
Hardware-Assisted Process Tracer for Fuzzing on ARM64 Linux
☆26Updated 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:
- Tutorial to write qemu plugins☆33Updated 8 years ago
- Linux kernel branches for confidential compute research☆17Updated 2 months ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆41Updated 2 years ago
- ☆18Updated 3 years ago
- Signedness-Agnostic Strided-Interval☆37Updated 6 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆34Updated 5 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆71Updated last year
- ☆55Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆30Updated 3 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆47Updated 3 weeks ago
- ☆47Updated 3 years ago
- AIL: The angr Intermediate Language.☆32Updated 3 weeks ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆21Updated 7 years ago
- ☆17Updated last year
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- PARTS / LLVM compiler☆32Updated 5 years ago
- How to use LLVM passes☆33Updated 3 years ago
- ☆9Updated 3 years ago
- Dynamic Control Flow Recovery☆24Updated 7 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆47Updated 5 years ago
- Tool to extract the kallsyms (System.map) from a memory dump☆27Updated last year
- Helper script for Linux kernel disassemble or debugging with IDA Pro on VMware + GDB stub (including some symbols helpers)☆37Updated last year
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆83Updated this week
- ☆32Updated 2 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
- llvm with tablegen backend for capstone disassembler☆48Updated this week
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Updated 2 years ago
- ☆53Updated 6 years ago