stephenrkell / libsystrapLinks
Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
☆64Updated last month
Alternatives and similar repositories for libsystrap
Users that are interested in libsystrap are comparing it to the libraries listed below
Sorting:
- ☆74Updated 3 years ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆65Updated 7 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆78Updated 8 years ago
- Fast and efficient binary translator☆58Updated 6 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 8 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- ☆38Updated 8 years ago
- asrepl: x86-64 assembly REPL☆71Updated 8 years ago
- The Bear Operating System☆24Updated 8 years ago
- estimate peak virtual memory use☆18Updated 9 months ago
- Reference material for libbeauty☆25Updated 3 years ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆35Updated 4 years ago
- ☆113Updated 12 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 10 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆46Updated 9 years ago
- A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system☆23Updated 10 years ago
- Examples for Linux ptrace(2)☆135Updated last year
- Arnold source code☆46Updated 7 years ago
- Lightweight Symbolic Execution Engine☆23Updated 10 years ago
- Manipulate C-family ASTs with Clang☆68Updated 7 years ago
- x86-64 Intel instruction set in JSON format☆53Updated 9 years ago
- ☆86Updated 8 years ago
- Fast Binary Translator for the Kernel☆28Updated 12 years ago
- trace local function calls like strace and ltrace☆71Updated 8 years ago
- A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…☆78Updated 5 years ago
- C++11 library for many-sorted logics☆39Updated 9 years ago
- clang checker to find heartbleed☆86Updated 11 years ago
- Tracing framework for full system simulators☆57Updated 10 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆184Updated 6 years ago