☆115Jul 14, 2024Updated last year
Alternatives and similar repositories for coccinellery
Users that are interested in coccinellery are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆781Updated this week
- Experimental bed to study Linux faults☆26Jul 12, 2022Updated 3 years ago
- Learning Coccinelle☆11Nov 2, 2017Updated 8 years ago
- mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git☆34Feb 3, 2024Updated 2 years ago
- A tool of collecting patch-related commits and parsing patches.☆13Dec 2, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Semantic grep for the C language based on coccinelle☆122Oct 13, 2024Updated last year
- Official repository for PraPR source code☆14May 11, 2021Updated 4 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- ☆14Aug 21, 2020Updated 5 years ago
- Linux Kernel Hacking 101 talk☆15Mar 19, 2015Updated 11 years ago
- My ~/linux/ directory framework☆103Mar 23, 2026Updated last week
- The C parser for GumTree☆14Sep 25, 2020Updated 5 years ago
- This is a stealthier version of Keylogger-lkm, it introduces hiding techniques and also a command entering option.☆13Jan 27, 2023Updated 3 years ago
- Find the perfect place near you!☆10Jan 4, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 2 months ago
- ☆20Jun 23, 2021Updated 4 years ago
- Linux kernel source tree for Sigma Designs SMP86xx☆15Dec 16, 2016Updated 9 years ago
- ☆35Feb 20, 2018Updated 8 years ago
- Materials for PHP Extension workshop☆26May 13, 2015Updated 10 years ago
- greybus kernel code☆21Sep 15, 2016Updated 9 years ago
- Perl wrapper for the capstone library☆13Mar 7, 2017Updated 9 years ago
- source man pages for explainshell.com☆17Mar 10, 2026Updated 2 weeks ago
- ☆11Jun 10, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Crange is a tool to index and cross-reference C/C++ source code☆75Oct 12, 2016Updated 9 years ago
- fuzzing framework based on libfuzzer and clang sanitizer☆169Apr 25, 2019Updated 6 years ago
- ☆10May 30, 2017Updated 8 years ago
- Tutorials and examples on how to use Jlsca, the high-performance side channel analysis toolkit written in Julia☆53Feb 15, 2020Updated 6 years ago
- A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux☆68May 14, 2013Updated 12 years ago
- ☆20Sep 27, 2019Updated 6 years ago
- ☆10Mar 20, 2026Updated last week
- Instruction cache leakage detection tool for modular exponentation software.☆15Mar 17, 2017Updated 9 years ago
- Hardware emulation layer for the GRiSP runtime☆15Apr 16, 2025Updated 11 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 8 years ago
- Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collap…☆31Updated this week
- Minimalistic LTP testrunner☆11Jul 28, 2022Updated 3 years ago
- This project has moved to https://github.com/torvalds/linux/tree/master/tools/memory-model☆12Jan 19, 2018Updated 8 years ago
- Unit tests for the kernel virtual machine (KVM)☆13Jan 20, 2021Updated 5 years ago
- A bare-metal Forth for i386 machines.☆14May 13, 2019Updated 6 years ago
- Generate parsers from tree-sitter grammars extended to support Semgrep patterns☆12Mar 20, 2026Updated last week