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)☆678Updated 2 weeks ago
- A static checker for identifying unstable code.☆362Updated 10 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆185Updated 3 years ago
- Kernel coredump file access☆31Updated last week
- Experimental bed to study Linux faults☆26Updated 3 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…☆94Updated last week
- C Quality Metrics☆66Updated 3 years ago
- Steps to build the Linux kernel using Clang☆102Updated 3 years ago
- Main repository of KEDR project☆119Updated 2 months ago
- Kernel Test Framework - a unit test framework for the Linux kernel☆94Updated 3 years ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆460Updated 4 months ago
- C code refactoring browser☆212Updated 4 months ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆416Updated 4 months ago
- The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.☆24Updated 6 years ago
- Static Analyser for C☆128Updated last month
- Semantic grep for the C language based on coccinelle☆121Updated 10 months ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆83Updated 8 months ago
- 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
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆55Updated 3 weeks ago
- Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.☆62Updated this week
- Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore☆131Updated 10 months ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 3 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆70Updated 8 years ago
- dthreads: Efficient Deterministic Multithreading☆52Updated 10 years ago
- Handy kernel development scripts.☆49Updated last week
- Linux kernel source tree☆246Updated 2 years ago
- Secure Virtual Architecture☆42Updated 6 years ago
- An interactive (fast) static source code analyzer☆173Updated last week
- KLEE's version of uClibc☆56Updated last year