coccinelle / coccinelleryLinks
☆113Updated last year
Alternatives and similar repositories for coccinellery
Users that are interested in coccinellery are comparing it to the libraries listed below
Sorting:
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆688Updated last month
- Main repository of KEDR project☆119Updated 4 months ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆186Updated 3 years ago
- A static checker for identifying unstable code.☆361Updated 10 years ago
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- Steps to build the Linux kernel using Clang☆102Updated 3 years ago
- Static Analyser for C☆134Updated 2 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…☆96Updated 3 weeks ago
- A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux☆67Updated 12 years ago
- Kernel Test Framework - a unit test framework for the Linux kernel☆95Updated 3 years ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆417Updated 5 months ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆464Updated 5 months ago
- C Quality Metrics☆66Updated 3 years ago
- Kernel coredump file access☆31Updated last month
- Secure Virtual Architecture☆42Updated 6 years ago
- GCC plugin that embeds CPython inside the compiler☆208Updated 3 years ago
- A minimal toy implementation of strace(1)☆177Updated 2 years ago
- Data race detector for Linux kernel modules☆30Updated 8 years ago
- Analyses scripts for LTTng kernel and user-space traces (official repository)☆103Updated last year
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆56Updated last week
- Semantic grep for the C language based on coccinelle☆121Updated 11 months ago
- dthreads: Efficient Deterministic Multithreading☆52Updated 10 years ago
- Handy kernel development scripts.☆49Updated last month
- Release snapshots of the Frama-C platform for source code analysis☆173Updated 4 years ago
- An easy way to virtualize the running system☆351Updated last year
- KLEE's version of uClibc☆55Updated last year
- Test suite for the Linux perf_event subsystem☆118Updated 2 months ago
- Experimental bed to study Linux faults☆26Updated 3 years ago
- C code refactoring browser☆212Updated 5 months ago
- Creates a file system / storage test appliance which can be run using KVM, GCE, and Android☆72Updated 3 weeks ago