regit / coccigrep
Semantic grep for the C language based on coccinelle
☆118Updated 4 years ago
Related projects: ⓘ
- A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux☆66Updated 11 years ago
- Integer arithmetic with overflow detection☆72Updated 9 years ago
- ☆106Updated 2 months ago
- The ketchup utility to manage different kernel trees/patchsets☆18Updated 9 years ago
- a tool for querying Dwarf (debuginfo) graphs☆53Updated 4 months ago
- Picon☆38Updated 7 years ago
- nltrace☆78Updated 6 years ago
- Experiemental userspace eBPF library☆15Updated 9 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆59Updated last year
- Boot a Linux kernel in a VM without a dedicated root filesystem.☆115Updated 2 months ago
- wrap commands in throwaway virtual machines — easy kernel debugging and regression testing☆44Updated 2 months ago
- ☆110Updated 10 years ago
- A static checker for identifying unstable code.☆359Updated 9 years ago
- ELKDAT: easy linux kernel development and test tool☆109Updated 2 years ago
- Analyses scripts for LTTng kernel and user-space traces (official repository)☆100Updated 10 months ago
- Enabling continuous integration for patch-based development workflows.☆78Updated 5 months ago
- A Python DTrace consumer using libdtrace - Now Python can be used as DTrace Provider and Consumer...☆69Updated 2 years ago
- Print linux process signal information.☆44Updated 2 years ago
- ikgt manifest☆42Updated 2 years ago
- Simple Driver code for vmlaunch☆159Updated 7 years ago
- Secure Virtual Architecture☆42Updated 5 years ago
- Proof of concept use of linux-inject and proces patching☆39Updated 7 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 7 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆173Updated 5 years ago
- This repo is a mirror of the official lttng-modules git found at git://git.lttng.org/lttng-modules.git. The LTTng modules provide Linux k…☆83Updated 3 weeks ago
- Generic eBPF runtime☆149Updated 3 years ago
- Prepare and store patch revisions as git tags☆133Updated 7 months ago
- ☆70Updated 4 years ago
- Routines for hunting down kernel symbols.☆80Updated 13 years ago
- Bring mdb walkers to gdb, also add other helpful commands.☆33Updated last month