regit / coccigrepLinks
Semantic grep for the C language based on coccinelle
☆122Updated last year
Alternatives and similar repositories for coccigrep
Users that are interested in coccigrep are comparing it to the libraries listed below
Sorting:
- A static checker for identifying unstable code.☆363Updated 10 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆66Updated 2 months ago
- ☆113Updated last year
- A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux☆68Updated 12 years ago
- Picon☆39Updated 8 years ago
- a tool for querying Dwarf (debuginfo) graphs☆58Updated last year
- Secure Virtual Architecture☆42Updated 6 years ago
- A minimal toy implementation of strace(1)☆180Updated 2 years ago
- A GDB toolbox for low-level debugging☆138Updated 11 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆188Updated 6 years ago
- ikgt manifest☆42Updated 3 years ago
- Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore☆132Updated last year
- Simple Driver code for vmlaunch☆159Updated 8 years ago
- Integer arithmetic with overflow detection☆73Updated 11 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 8 years ago
- Microcode parser for AMD, Intel, and VIA processors☆134Updated 10 years ago
- estimate peak virtual memory use☆18Updated 10 months ago
- privilege separation engine for OpenSSL / LibreSSL☆204Updated last year
- ☆73Updated 5 years ago
- ☆115Updated 12 years ago
- Analyses scripts for LTTng kernel and user-space traces (official repository)☆104Updated 2 years ago
- Crange is a tool to index and cross-reference C/C++ source code☆75Updated 9 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 10 years ago
- Main repository of KEDR project☆121Updated 8 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…☆99Updated last month
- ltrace intercepts and records dynamic library calls which are called by an executed process and the signals received by that process. It …☆129Updated 15 years ago
- Generic eBPF runtime☆151Updated 4 years ago
- Kernel Address Isolation to have Side-channels Efficiently Removed☆223Updated 4 years ago
- Proof of concept use of linux-inject and proces patching☆39Updated 8 years ago
- Experiemental userspace eBPF library☆15Updated 10 years ago