regit / coccigrep
Semantic grep for the C language based on coccinelle
☆119Updated 5 months ago
Alternatives and similar repositories for coccigrep:
Users that are interested in coccigrep are comparing it to the libraries listed below
- a tool for querying Dwarf (debuginfo) graphs☆53Updated 10 months ago
- A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux☆66Updated 11 years ago
- Picon☆39Updated 7 years ago
- A static checker for identifying unstable code.☆361Updated 9 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆60Updated last week
- ☆110Updated 7 months ago
- privilege separation engine for OpenSSL / LibreSSL☆196Updated 9 months ago
- ikgt manifest☆42Updated 2 years ago
- The ketchup utility to manage different kernel trees/patchsets☆18Updated 9 years ago
- ☆53Updated 6 months ago
- ELKDAT: easy linux kernel development and test tool☆113Updated 3 years ago
- GDB helper scripts☆45Updated 4 years ago
- Experiemental userspace eBPF library☆15Updated 9 years ago
- a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more☆55Updated 2 years ago
- ☆110Updated 11 years ago
- Simple Driver code for vmlaunch☆159Updated 7 years ago
- Inject code into a running process☆116Updated 3 years ago
- Routines for hunting down kernel symbols.☆82Updated 13 years ago
- A Genetic File, Syscall and Network Fuzzer.☆59Updated 7 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆179Updated 6 years ago
- Integer arithmetic with overflow detection☆71Updated 10 years ago
- A minimal toy implementation of strace(1)☆175Updated last year
- A gdb gui written in Python, running inside gdb itself.☆46Updated 11 months ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- Print linux process signal information.☆46Updated 3 years ago
- Tool tracing syscalls in a fast way using eBPF linux kernel feature☆99Updated last year
- Sandboxing framework based on SECCOMP☆53Updated 6 years ago
- A practical interface generator for data formats.☆128Updated 4 years ago
- Lightweight process containers for Linux☆198Updated 2 years ago
- userspace tools for linux libos☆95Updated 2 years ago