trailofbits / bpf_tutorials_code
This repository contains the companion code from the "All your tracing are belong to BPF" blog posts
☆18Updated last year
Alternatives and similar repositories for bpf_tutorials_code:
Users that are interested in bpf_tutorials_code are comparing it to the libraries listed below
- Tool to extract the kallsyms (System.map) from a memory dump☆25Updated last year
- Dr. Disassembler☆35Updated 3 years ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆39Updated last year
- Build your emulation environment as needed☆64Updated 3 years ago
- Various utilities useful for developers writing BPF tools☆31Updated last year
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆69Updated last year
- Dynamic binary translator for x86 binaries☆33Updated last year
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- pydemangler is a Python3 package for demangling MSVC & Itanium C++ symbols☆24Updated 11 months ago
- An Integrity-Check Monitoring Pintool☆56Updated 4 years ago
- ☆51Updated 3 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆31Updated last year
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆63Updated 10 months ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- ☆29Updated 4 years ago
- ☆30Updated 4 years ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- Sample programs that illustrate how to use Control Flow Guard, VS2015's control flow integrity implementation☆43Updated 8 years ago
- A fast execution trace symbolizer for Windows.☆130Updated 8 months ago
- X86 disassembler benchmark☆57Updated 6 months ago
- Course sample for SMT-Based Binary Program Analysis training class☆31Updated 6 years ago
- Linux kernel branches for confidential compute research☆17Updated 2 months ago
- IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.☆51Updated 5 years ago
- ☆74Updated 4 years ago
- KVM Virtual Machine Introspection Library☆46Updated last year
- KLEE Symbolic Execution Engine☆60Updated 5 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