regit / coccigrepLinks
Semantic grep for the C language based on coccinelle
☆120Updated 8 months ago
Alternatives and similar repositories for coccigrep
Users that are interested in coccigrep are comparing it to the libraries listed below
Sorting:
- ☆110Updated 11 months ago
- A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux☆67Updated 12 years ago
- Picon☆39Updated 8 years ago
- A static checker for identifying unstable code.☆361Updated 10 years ago
- Experiemental userspace eBPF library☆15Updated 9 years ago
- Integer arithmetic with overflow detection☆71Updated 10 years ago
- userspace tools for linux libos☆96Updated 3 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 8 years ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆60Updated this week
- Proof of concept use of linux-inject and proces patching☆39Updated 8 years ago
- ☆112Updated 11 years ago
- a tool for querying Dwarf (debuginfo) graphs☆55Updated last year
- Code coverage reporting tool☆51Updated 8 years ago
- Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore☆131Updated 8 months ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆179Updated 6 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- dthreads: Efficient Deterministic Multithreading☆51Updated 10 years ago
- A minimal toy implementation of strace(1)☆176Updated 2 years ago
- Network Semantics☆88Updated 6 years ago
- ☆70Updated 5 years 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…☆92Updated last week
- ikgt manifest☆42Updated 2 years ago
- nltrace☆81Updated 7 years ago
- Microcode parser for AMD, Intel, and VIA processors☆134Updated 9 years ago
- estimate peak virtual memory use☆18Updated 2 months ago
- Routines for hunting down kernel symbols.☆82Updated 14 years ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆659Updated 3 months ago
- Handy kernel development scripts.☆49Updated 3 weeks ago
- privilege separation engine for OpenSSL / LibreSSL☆199Updated last year
- The ketchup utility to manage different kernel trees/patchsets☆18Updated 10 years ago