regit / coccigrep
Semantic grep for the C language based on coccinelle
☆118Updated 3 months ago
Alternatives and similar repositories for coccigrep:
Users that are interested in coccigrep are comparing it to the libraries listed below
- ☆110Updated 6 months ago
- a tool for querying Dwarf (debuginfo) graphs☆53Updated 8 months ago
- ELKDAT: easy linux kernel development and test tool☆112Updated 3 years ago
- Integer arithmetic with overflow detection☆71Updated 10 years ago
- A Genetic File, Syscall and Network Fuzzer.☆59Updated 7 years ago
- The ketchup utility to manage different kernel trees/patchsets☆18Updated 9 years ago
- Picon☆38Updated 7 years ago
- A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux☆66Updated 11 years ago
- A practical interface generator for data formats.☆128Updated 4 years ago
- A collection of clang plugins for safer C programming☆91Updated 6 years ago
- Proof of concept use of linux-inject and proces patching☆39Updated 7 years ago
- A static checker for identifying unstable code.☆360Updated 9 years ago
- Sandboxing framework based on SECCOMP☆53Updated 6 years ago
- userspace tools for linux libos☆95Updated 2 years ago
- wrap commands in throwaway virtual machines — easy kernel debugging and regression testing☆44Updated 6 months 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…☆89Updated this week
- nltrace☆78Updated 6 years ago
- Analyses scripts for LTTng kernel and user-space traces (official repository)☆102Updated last year
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆59Updated this week
- An obsolete project☆82Updated 6 years ago
- Linux kernel - See Landlock issues☆35Updated last month
- Simple Driver code for vmlaunch☆159Updated 7 years ago
- Experiemental userspace eBPF library☆15Updated 9 years ago
- A stack tracer/profiler for Xen domains☆30Updated 2 years ago
- Bring mdb walkers to gdb, also add other helpful commands.☆34Updated 2 months ago
- Secure Virtual Architecture☆42Updated 5 years ago
- A one-stop shop for process isolation☆106Updated 2 weeks ago
- Run any command transparently in a VM (this repo isn't part of Cappsule)☆27Updated 7 years ago
- Routines for hunting down kernel symbols.☆82Updated 13 years ago
- Lightweight process containers for Linux☆198Updated 2 years ago