nelhage / ministrace
A minimal toy implementation of strace(1)
☆170Updated last year
Related projects ⓘ
Alternatives and complementary repositories for ministrace
- Examples for Linux ptrace(2)☆136Updated 7 months ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆174Updated 5 years ago
- Steps to build the Linux kernel using Clang☆97Updated 2 years ago
- A static checker for identifying unstable code.☆359Updated 9 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆105Updated 5 years ago
- Notes on various topics I'm interested in☆157Updated 9 years ago
- Pthreads-free Linux threading demo☆149Updated 5 years ago
- An ELF parsing and manipulation library for Python☆74Updated 10 years ago
- A ptrace library for easy syscall injection in Linux.☆173Updated 4 months ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆176Updated 2 years ago
- A collection of memory allocators☆435Updated 12 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆249Updated last year
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆59Updated last year
- Handy kernel development scripts.☆46Updated 2 weeks ago
- Information about Linux system calls on different architectures☆140Updated this week
- Static instrumentation tool for efficient binary-level coverage analysis.☆145Updated 3 years ago
- Simple Driver code for vmlaunch☆159Updated 7 years ago
- Examples for: Learning KVM - implement your own kernel☆358Updated last year
- Example of how to use the ptrace(2) system call to call a userspace method.☆145Updated 5 years ago
- Main repository of KEDR project☆118Updated 3 years ago
- Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore☆124Updated last month
- Generate JSON system call info from Linux source☆149Updated 3 years ago
- Simple Intel CPU processor tracing on Linux☆343Updated last year
- Load-time selective binary rewriting☆152Updated 2 years ago
- Routines for hunting down kernel symbols.☆81Updated 13 years ago
- A Python interface to the GNU Binary File Descriptor (BFD) library.☆121Updated 7 years ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago
- Binary Translator to LLVM IR☆214Updated last year