coccinelle / coccinellery
☆110Updated 7 months ago
Alternatives and similar repositories for coccinellery:
Users that are interested in coccinellery are comparing it to the libraries listed below
- A static checker for identifying unstable code.☆361Updated 9 years ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆645Updated 2 months ago
- Steps to build the Linux kernel using Clang☆99Updated 3 years ago
- Library wrapper and system-level tracing utilities☆46Updated 8 years ago
- Main repository of KEDR project☆119Updated 3 years ago
- Experimental bed to study Linux faults☆25Updated 2 years ago
- Static Analyser for C☆108Updated 3 weeks ago
- Main repository for KernelStrider project☆24Updated 7 years ago
- Kernel coredump file access☆26Updated 2 months ago
- C code refactoring browser☆205Updated 2 months ago
- Handy kernel development scripts.☆46Updated 3 months ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆69Updated 7 years ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆452Updated 2 weeks ago
- Secure Virtual Architecture☆42Updated 5 years ago
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆23Updated last month
- Proof of concept use of linux-inject and proces patching☆39Updated 8 years ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆411Updated 10 months ago
- Linux kernel source tree (Kernel Self Protection Project)☆85Updated last month
- Kernel Test Framework - a unit test framework for the Linux kernel☆94Updated 2 years ago
- Static Slicer for LLVM☆66Updated 9 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆55Updated 8 years ago
- Data race detector for Linux kernel modules☆28Updated 7 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…☆89Updated last week
- My ~/linux/ directory framework☆98Updated 2 weeks ago
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆55Updated 7 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆178Updated 2 years ago
- Linux kernel history logs and stats☆110Updated last week
- A minimal toy implementation of strace(1)☆175Updated last year
- A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux☆66Updated 11 years ago
- Kernel Address Isolation to have Side-channels Efficiently Removed☆216Updated 3 years ago