coccinelle

Check linux sources dump for known CVEs.

This repository contains the slides of my talks.

Vim plug-in for Coccinelle.

🔧 Coccinelle Scripts

coccinelle notes and exercises

Helper tool for generating Linux Kernel sysfs attribute documentation.

A basic semantic patching tool for Python 2 code, similar to Coccinelle

This repo contains all the coccinelle scripts that I made for patch submission in linux kernel

check_code is a C linter using spatch program from coccinelle

pathogen friendly vim syntax files for coccinelle

♻️ Vim plug-in for Coccinelle

Generate an SmPL test suite of all types found in a C codebase.

Dump of all scripts related to the Outreachy attribute documentation project

Coccinelle (spatch) is a program matching and transformation tool for C.

SmPL (Coccinelle) Syntax for Sublime Text

some coccinelle semantic patches

List of coccinelle scripts I have used to generate patches for linux kernel

Defensive Linux kernel security toolkit for vendor / Android arm64 — known-CVE detection, config hardening, LLM code audit & binary RE. 内核安全检测工具库:六类工具编排 + 一键装依赖 + ksec 三层检测

C files generated using https://github.com/jajajasalu2/cocci-type-test-suite/

Prebuilt, tailored Coccinelle spatch as a Python wheel — the detection engine behind CVEhound