regit / coccigrepLinks
Semantic grep for the C language based on coccinelle
☆121Updated 10 months ago
Alternatives and similar repositories for coccigrep
Users that are interested in coccigrep are comparing it to the libraries listed below
Sorting:
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆62Updated last week
- Picon☆39Updated 8 years ago
- ☆113Updated last year
- A static checker for identifying unstable code.☆361Updated 10 years ago
- A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux☆67Updated 12 years ago
- ☆70Updated 5 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 8 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- privilege separation engine for OpenSSL / LibreSSL☆199Updated last year
- A minimal toy implementation of strace(1)☆177Updated 2 years ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆184Updated 6 years ago
- ELKDAT: easy linux kernel development and test tool☆115Updated 3 years ago
- Inject code into a running process☆119Updated 3 years ago
- a tool for querying Dwarf (debuginfo) graphs☆55Updated last year
- Integer arithmetic with overflow detection☆71Updated 10 years ago
- ☆112Updated 11 years ago
- experimental and very fast implementation of a grep☆261Updated 2 years ago
- Generic eBPF runtime☆150Updated 4 years ago
- Simple Driver code for vmlaunch☆160Updated 8 years ago
- Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore☆131Updated 11 months ago
- grep for C/C++ source files.☆28Updated last month
- A practical interface generator for data formats.☆128Updated 5 years ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆684Updated last month
- estimate peak virtual memory use☆18Updated 5 months ago
- A GDB toolbox for low-level debugging☆137Updated 11 years ago
- ikgt manifest☆42Updated 3 years ago
- Sandboxing framework based on SECCOMP☆51Updated 7 years ago
- Experiemental userspace eBPF library☆15Updated 10 years ago
- This is a simple utility for enumerating D-Bus endpoints, an nmap for D-Bus.☆78Updated 5 years ago
- A forked and hardened version of PartitionAlloc from Chrome's Blink engine☆62Updated 7 years ago