regit / coccigrep
Semantic grep for the C language based on coccinelle
☆119Updated 6 months ago
Alternatives and similar repositories for coccigrep:
Users that are interested in coccigrep are comparing it to the libraries listed below
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆59Updated 2 months ago
- ☆109Updated 9 months ago
- A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux☆67Updated 11 years ago
- Picon☆39Updated 8 years ago
- a tool for querying Dwarf (debuginfo) graphs☆55Updated 11 months ago
- A static checker for identifying unstable code.☆360Updated 10 years ago
- Simple Driver code for vmlaunch☆159Updated 7 years ago
- Integer arithmetic with overflow detection☆71Updated 10 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- ☆70Updated 5 years ago
- The ketchup utility to manage different kernel trees/patchsets☆18Updated 10 years ago
- Boot a Linux kernel in a VM without a dedicated root filesystem.☆119Updated 3 months ago
- Analyses scripts for LTTng kernel and user-space traces (official repository)☆103Updated last year
- Experiemental userspace eBPF library☆15Updated 9 years ago
- userspace tools for linux libos☆95Updated 3 years ago
- A gdb gui written in Python, running inside gdb itself.☆46Updated last year
- estimate peak virtual memory use☆18Updated last month
- Python bindings for libgccjit.so☆48Updated 9 years ago
- ELKDAT: easy linux kernel development and test tool☆113Updated 3 years ago
- ☆112Updated 11 years ago
- privilege separation engine for OpenSSL / LibreSSL☆197Updated 11 months ago
- ikgt manifest☆42Updated 2 years ago
- ltrace intercepts and records dynamic library calls which are called by an executed process and the signals received by that process. It …☆126Updated 14 years ago
- Proof of concept use of linux-inject and proces patching☆39Updated 8 years ago
- A collection of clang plugins for safer C programming☆91Updated 6 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- Prepare and store patch revisions as git tags☆134Updated last year
- A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…☆77Updated 4 years ago
- ☆85Updated 8 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆179Updated 6 years ago