coccinelle / coccinellery
☆106Updated 2 months ago
Related projects: ⓘ
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆609Updated last month
- A static checker for identifying unstable code.☆359Updated 9 years ago
- Main repository of KEDR project☆117Updated 3 years ago
- Steps to build the Linux kernel using Clang☆98Updated 2 years ago
- C code refactoring browser☆194Updated 2 weeks ago
- Secure Virtual Architecture☆42Updated 5 years ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆436Updated 2 months ago
- Kernel coredump file access☆23Updated 3 months ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆59Updated last year
- Linux kernel source tree (Kernel Self Protection Project)☆84Updated 3 weeks ago
- Experimental bed to study Linux faults☆25Updated 2 years ago
- A minimal toy implementation of strace(1)☆168Updated last year
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆402Updated 4 months ago
- Pedagogical Hypervisor, based on MIT JOS☆66Updated 6 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…☆83Updated 3 weeks ago
- Static Analyser for C☆96Updated this week
- C Quality Metrics☆63Updated 2 years ago
- Kernel module to track latencies between 2 events (punch in, punch out) with timeout☆59Updated 10 months ago
- An unofficial guide to contributing to GCC, aimed at newbies☆108Updated 7 months ago
- My ~/linux/ directory framework☆98Updated last week
- A dynamic analysis framework for C and C++ programs☆27Updated 3 months ago
- Kernel Test Framework - a unit test framework for the Linux kernel☆95Updated 2 years ago
- Proof of concept use of linux-inject and proces patching☆39Updated 7 years ago
- fuzzing framework based on libfuzzer and clang sanitizer☆163Updated 5 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆176Updated 2 years ago
- Main repository for KernelStrider project☆24Updated 7 years ago
- A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux☆66Updated 11 years ago
- Static Slicer for LLVM☆65Updated 8 years ago
- Docs and resources on CPU Speculative Execution bugs☆371Updated 6 years ago
- Tool tracing syscalls in a fast way using eBPF linux kernel feature☆98Updated last year