regit / coccigrepLinks
Semantic grep for the C language based on coccinelle
☆121Updated 8 months ago
Alternatives and similar repositories for coccigrep
Users that are interested in coccigrep are comparing it to the libraries listed below
Sorting:
- ☆113Updated 11 months ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆60Updated last week
- A static checker for identifying unstable code.☆362Updated 10 years ago
- a tool for querying Dwarf (debuginfo) graphs☆55Updated last year
- Picon☆39Updated 8 years ago
- A minimal toy implementation of strace(1)☆176Updated 2 years ago
- A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux☆67Updated 12 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆669Updated last week
- Integer arithmetic with overflow detection☆71Updated 10 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 8 years ago
- Analyses scripts for LTTng kernel and user-space traces (official repository)☆103Updated last year
- Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore☆130Updated 9 months ago
- ☆112Updated 11 years ago
- ikgt manifest☆42Updated 2 years ago
- Arnold source code☆46Updated 6 years ago
- Experimental setup of "Intel MPX explained"☆28Updated 5 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆179Updated 6 years ago
- pahole implementation for gdb☆42Updated 3 years ago
- Simple Driver code for vmlaunch☆159Updated 7 years ago
- Proof of concept use of linux-inject and proces patching☆38Updated 8 years ago
- Linux kernel with Capsicum support☆206Updated 5 years ago
- A library for GDB (with python support), that adds useful functions to the standard 'gdb' library.☆78Updated 13 years ago
- An easy way to virtualize the running system☆345Updated last year
- A GDB toolbox for low-level debugging☆136Updated 11 years ago
- Network Semantics☆88Updated 6 years ago
- Compiler/source code fuzzing tool using AFL instrumentation☆124Updated 7 years ago
- Inject code into a running process☆117Updated 3 years ago
- Generic eBPF runtime☆150Updated 4 years ago
- Bring mdb walkers to gdb, also add other helpful commands.☆34Updated 5 months ago