Files
SKELETONKEY/ROADMAP.md
T
leviathan 4af82b82d9 docs: post-v0.7.1 surface sync (README + site + ROADMAP)
Three stale surfaces refreshed after the v0.7.1 cut + arm64 release:

README.md — Status section was 'v0.6.0 cut 2026-05-23'; updated to
v0.7.1 with the new prebuilt-binary inventory (4 artifacts: x86_64 +
arm64, each dynamic + static-musl) and the CI hardening additions
(ASan/UBSan + clang-tidy).

docs/index.html — hero eyebrow chip and footer meta both showed v0.6.0;
both bumped to v0.7.1.

ROADMAP.md — entire v0.7.x phase added as 'Phase 9 — Empirical
verification + operator briefing (DONE 2026-05-23, v0.7.1)'. Captures
everything since Phase 7+/8 (which were the v0.5–v0.6 era): the VM
verifier, mainline kernel fetch, 22 of 26 CVEs verified, --explain
mode, OPSEC notes, CVE metadata pipeline (CISA KEV + NVD CWE), 119
detection rules, 88-test harness, arm64-static binary, arch_support
field, marketing site. Plus an explicit 'open follow-ups' list (arm64
verification sweep, SIEM query templates, install.sh smoke test,
PackageKit provisioner, custom <=4.4 kernel image for dirty_cow, 9
deferred drift findings) and the 'wait-for-upstream blockers' list
(vmwgfx, dirtydecrypt, fragnesia).
2026-05-23 21:27:23 -04:00

19 KiB
Raw Permalink Blame History

Roadmap

What's coming next, in priority order. Dates are aspirational, not commitments.

Phase 0 — Bootstrap (DONE as of 2026-05-16)

  • Repo structure (modules/, core/, docs/, tools/, tests/)
  • Absorbed DIRTYFAIL as the first module (modules/copy_fail_family/)
  • Top-level README, CVES.md, ROADMAP.md, docs/ARCHITECTURE.md, docs/ETHICS.md
  • LICENSE (MIT)
  • Private GitHub repo

Phase 1 — Make the bundling real (DONE 2026-05-16)

  • Top-level skeletonkey dispatcher CLI (skeletonkey.c) — module registry, route to module's detect/exploit
  • Module interface header (core/module.h) — standard skeletonkey_module struct + skeletonkey_result_t (numerically aligned with copy_fail_family's df_result_t for zero-cost bridging)
  • core/registry.{c,h} — flat-array registry with find_by_name
  • modules/copy_fail_family/skeletonkey_modules.{c,h} — bridge layer exposing 5 modules
  • Top-level Makefile that builds all modules into one binary
  • Smoke test: skeletonkey --scan --json produces ingest-ready JSON; skeletonkey --list prints the module inventory
  • Deferred to Phase 1.5: extract apparmor_bypass.c, exploit_su.c, common.c, fcrypt.c into core/ (shared across families). Phase 1 keeps them inside copy_fail_family/src/ because there's only one family today; the extraction is mechanical and lands when a second family arrives.

Phase 2 — Add Dirty Pipe (CVE-2022-0847) — PARTIAL (DETECT done 2026-05-16)

Public PoC, well-understood, useful for completeness — SKELETONKEY without Dirty Pipe is incomplete as a "historical bundle." Affects kernels ≤5.16.11/≤5.15.25/≤5.10.102 so coverage is older deployments (worth bundling — many production boxes still run these).

  • modules/dirty_pipe_cve_2022_0847/ directory promoted out of _stubs/
  • core/kernel_range.{c,h} — branch-aware patched-version comparison (reusable by every future module)
  • dirty_pipe_detect() — kernel version check against branch-backport thresholds (5.10.102 / 5.15.25 / 5.16.11 / 5.17+)
  • Detection rules: auditd.rules (splice() syscall + passwd/shadow watches) and sigma.yml (non-root modification of sensitive files)
  • Registered in skeletonkey --list / --scan output. Verified on kernel 6.12.86 → correctly reports OK (patched).
  • Phase 2 complete (2026-05-16): full exploit landed. Inline passwd-UID and page-cache-revert helpers in the module (~80 lines). Extraction into core/host is Phase 1.5 work — deferred until a third module needs the same helpers. (Two-of-two duplication is acceptable; three-of-three triggers extraction.)
  • Exploit refuses to fire when detect() reports patched (verified end-to-end on kernel 6.12.86 — refuses cleanly).
  • Cleanup function (dirty_pipe --cleanup) added: evicts /etc/passwd via POSIX_FADV_DONTNEED + drop_caches.
  • CI matrix: Ubuntu 20.04 with kernel 5.13 (vulnerable), Debian 11 with 5.10.0-8 (vulnerable), Debian 13 with 6.12.x (patched — should detect as OK). Phase 4 work.

Phase 3 — EntryBleed (CVE-2023-0458) as stage-1 leak brick (DONE 2026-05-16)

EntryBleed is not a standalone LPE. It's a kbase leak primitive that other modules can chain. Bundled because:

  • Stage-1 of any future "build-your-own LPE" workflow

  • Detection rules for KPTI side-channel attempts are useful for defenders

  • Already works empirically on lts-6.12.88 (verified 2026-05-16)

  • modules/entrybleed_cve_2023_0458/ — leak primitive + detect

  • Exposed as a library helper: other modules can call entrybleed_leak_kbase_lib() (declared in skeletonkey_modules.h)

  • Wired into skeletonkey.c registry; skeletonkey --exploit entrybleed --i-know produces a kbase leak. Verified on kctf-mgr: leaked 0xffffffff8d800000 with KASLR slide 0xc800000.

  • entry_SYSCALL_64 slot offset configurable via SKELETONKEY_ENTRYBLEED_OFFSET env var (default matches lts-6.12.x). Future enhancement: auto-detect via /boot/System.map or /proc/kallsyms if accessible.

Phase 4 — CI matrix (PARTIAL — build-check landed 2026-05-16)

  • .github/workflows/build.yml: matrix of {gcc, clang} × {default, debug} builds on every push and PR. Includes smoke tests: --version, --list, --scan, --detect-rules in both auditd and sigma formats. Build failure breaks the merge gate. Static-build job runs continue-on-error (glibc + NSS issue; revisit with musl-gcc).
  • Distro+kernel VM matrix in GitHub Actions (Ubuntu 20.04 / 22.04 / 24.04 / 26.04, Debian 11 / 12 / 13, Alma 8 / 9 / 10, Fedora 39 / 40 / 41). Needs self-hosted runners or paid VM service; placeholder commented in build.yml.
  • Each module's exploit runs against matched-vulnerable VMs and MUST land root; runs against patched VMs and MUST fail at detect step
  • Nightly run; failures open issues automatically

Phase 5 — Detection signature export (DONE 2026-05-16)

  • skeletonkey --detect-rules --format=auditd — embedded auditd rules across all modules (deduped — family-shared rules emit once)
  • skeletonkey --detect-rules --format=sigma — embedded Sigma rules
  • --format=yara and --format=falco flags accepted; per-module strings can be added when authors ship them. Currently no module ships YARA or Falco rules (skipped cleanly).
  • struct skeletonkey_module gained detect_auditd, detect_sigma, detect_yara, detect_falco fields — each NULL or pointer to embedded C string. Self-contained binary, no data-dir install needed.
  • Sample SOC playbook in docs/DETECTION_PLAYBOOK.md — followup

Phase 6 — Mitigation mode (PARTIAL — copy_fail_family bridged 2026-05-16)

  • copy_fail_family: skeletonkey --mitigate copy_fail (or any family member) blacklists algif_aead + esp4 + esp6 + rxrpc, sets kernel.apparmor_restrict_unprivileged_userns=1, drops page cache. Bridged from existing DIRTYFAIL mitigate_apply().
  • copy_fail_family: skeletonkey --cleanup <name> routes by visible state: if /etc/modprobe.d/dirtyfail-mitigations.conf exists → mitigate_revert(); else evict /etc/passwd page cache. Heuristic sufficient for common usage patterns.
  • dirty_pipe: skeletonkey --cleanup dirty_pipe evicts /etc/passwd (already landed in Phase 2 complete).
  • dirty_pipe --mitigate: only real fix is "upgrade your kernel"; no automated mitigation possible. Document and skip.
  • entrybleed --mitigate: same — no canonical patch; document.
  • Idempotent re-run safety: copy_fail_family's apply is already idempotent (overwrites conf files). Re-verify per module.

Phase 7+ — More modules (started 2026-05-16, v0.1.0 cut 2026-05-16)

Backfill of historical and recent LPEs as time allows.

Landed in v0.1.0:

  • CVE-2016-5195 — Dirty COW: 🟢 FULL Phil-Oester-style race.
  • CVE-2017-7308 — AF_PACKET TPACKET_V3: 🟡 PRIMITIVE (overflow + skb spray + cred-race attempt, no portable cred R/W).
  • CVE-2019-13272 — PTRACE_TRACEME: 🟢 FULL jannh-style chain.
  • CVE-2020-14386 — AF_PACKET tp_reserve: 🟡 PRIMITIVE-DEMO.
  • CVE-2021-3493 — Ubuntu overlayfs userns: 🟢 FULL vsh-style.
  • CVE-2021-4034 — Pwnkit: 🟢 FULL Qualys-style.
  • CVE-2021-22555 — xt_compat heap-OOB: 🟡 PRIMITIVE (trigger + msg_msg cross-cache groom + MSG_COPY witness, no modprobe_path overwrite).
  • CVE-2022-0185 — fsconfig 4k OOB: 🟡 PRIMITIVE (trigger + cross-cache groom + neighbour-detect, no MSG_COPY arb-read finisher).
  • CVE-2022-0492 — cgroup_release_agent: 🟢 FULL universal structural exploit (no offsets, no race).
  • CVE-2022-2588 — cls_route4 dangling UAF: 🟡 PRIMITIVE (tc/ip add+rm + msg_msg spray + classify drive, no cred chain).
  • CVE-2023-0386 — overlayfs setuid copy-up: 🟢 FULL distro-agnostic.
  • CVE-2023-3269 — StackRot: 🟡 PRIMITIVE/RACE (driver + groom; ~<1% race-win per run, honest in module header).
  • CVE-2024-1086 — nf_tables verdict UAF: 🟡 PRIMITIVE (hand-rolled nfnetlink, NFT_GOTO+DROP malformed verdict, msg_msg kmalloc-cg-96 groom, no pipapo R/W chain).

Landed since v0.1.0 (in the 28-module verified corpus):

  • CVE-2021-3156 — sudo Baron Samedit: 🟡 PRIMITIVE (sudoedit -s heap overflow; heap-tuned, may crash sudo).
  • CVE-2021-33909 — Sequoia: 🟡 PRIMITIVE (seq_file size_t overflow → kernel stack OOB; trigger + witness, no cred chain).
  • CVE-2023-22809 — sudoedit EDITOR/VISUAL argv escape: 🟢 FULL structural argv-injection (no kernel state, no offsets).
  • CVE-2023-2008 — vmwgfx DRM bo size-validation OOB: 🟡 PRIMITIVE (kmalloc-512 OOB + slab witness, no cred chain).

Landed (ported from public PoC, pending VM verification — NOT part of the 28-module verified corpus):

  • CVE-2026-46300 — Fragnesia: 🟡 XFRM ESP-in-TCP page-cache write. Ported from the V12 PoC; the old _stubs/fragnesia_TBD stub is retired. The stub's open question ("is the unprivileged-userns-netns scenario in scope?") is resolved — the module ships and reports PRECOND_FAIL when the userns gate is closed.
  • CVE-2026-31635 — DirtyDecrypt: 🟡 rxgk missing-COW in-place decrypt page-cache write. Ported from the V12 PoC.
  • CVE-2026-41651 — Pack2TheRoot: 🟡 PackageKit InstallFiles TOCTOU. Ported from the public Vozec PoC; original disclosure by Deutsche Telekom security. Userspace D-Bus LPE with high- confidence detect() — reads PackageKit's version directly over D-Bus and compares against the pinned fix release 1.3.5 (commit 76cfb675). Debian-family only (PoC's built-in .deb builder). Adds an optional GLib/GIO build dependency, autodetected via pkg-config gio-2.0; stub-compiles if absent.
  • Verify all three (dirtydecrypt / fragnesia / pack2theroot) on a vulnerable target, pin remaining CVE fix commits, add version-range tables, and promote 🟡🟢. --auto auto-enables --active so the probes give definitive verdicts; each detect() runs in a fork-isolated child so one bad probe cannot tear down the scan.

--auto accuracy work (landed 2026-05-22):

  • --auto auto-enables --active: per-module sentinel probes run in /tmp / fork-isolated namespaces, so version-only checks can no longer be fooled by silent distro backports.
  • Per-module verdict table at scan time (VULNERABLE / patched / precondition / indeterminate) instead of only printing the VULNERABLE rows.
  • Scan-end summary line counting each verdict class.
  • Distro fingerprint (ID + VERSION_ID from /etc/os-release) printed in the --auto banner alongside kernel + arch.
  • Fork-isolated detect() calls — a SIGILL/SIGSEGV in any one module's probe is contained and the scan continues. Surfaced while testing entrybleed's prefetchnta sweep under emulated CPUs: exactly the failure mode the isolation now handles.
  • --dry-run flag: previews the picked exploit (or single-module operation) without firing. Works with --auto, --exploit, --mitigate, --cleanup. --auto --dry-run does NOT require --i-know (nothing fires) so operators can inspect the host's attack surface without arming. Bare --auto still gates on --i-know and now points to --dry-run in the refusal message.
  • Version-pinned detect() for the 3 ported modules — Debian tracker provided the fix commits: dirtydecrypt against mainline a2567217 (Linux 7.0); fragnesia against 7.0.9; pack2theroot against PackageKit 1.3.5. The kernel_range model now drives their verdicts; --active confirms empirically on top.
  • core/host host-fingerprint refactor. A single struct skeletonkey_host is populated once at startup and handed to every module via ctx->host: kernel version + arch + distro id/version + capability gates (unprivileged_userns, AppArmor restriction, BPF disabled, KPTI, lockdown, SELinux, Yama ptrace) + service presence (systemd, system D-Bus). The --auto / --scan banner now prints the fingerprint up front so operators see at a glance which gates are open. 4 modules migrated to consume the fingerprint (dirtydecrypt, fragnesia, pack2theroot, overlayfs) — replacing per-detect unames, /etc/os-release parses, and userns fork-probes with O(1) cached lookups. See docs/ARCHITECTURE.md for the pattern; future modules can opt-in by including core/host.h.
  • Migrate the remaining modules (cgroup_release_agent / overlayfs_setuid / copy_fail_family bridge / others) to consume ctx->host — incremental follow-up.

Carry-overs:

  • Anything we ourselves disclose — bundled AFTER upstream patch ships (responsible-disclosure-first)

Phase 8 — Full-chain promotions (post v0.1.0)

The 14 🟡 PRIMITIVE modules each stop one or two steps short of full cred-overwrite. Promotion to 🟢 means landing the leak → R/W → modprobe_path-or-cred-rewrite stage on at least one tracked kernel. None requires fresh research — each has a public reference exploit; the work is porting the per-kernel offset dance into a portable shape compatible with SKELETONKEY's "no-fabricated-offsets" rule (most likely as an env-var override table per distro+kernel, with offset auto-resolve via System.map / kallsyms when accessible).

Priority order: nf_tables (Notselwyn pipapo R/W), netfilter_xtcompat (Andy Nguyen modprobe_path), af_packet (xairy sk_buff cred chase). The remainder are lower priority — fuse_legacy and cls_route4 have narrower distro reach; af_packet2 piggybacks on af_packet; stackrot's race window makes it inherently low-yield; the nft_* family and vmwgfx need their per-kernel offset tables built out.

The 2 ported-but-unverified modules (dirtydecrypt, fragnesia) are not part of this Phase 8 promotion set — they need VM verification and pinned fix commits first (tracked under Phase 7+ above) before any full-chain work is meaningful.

Phase 9 — Empirical verification + operator briefing (DONE 2026-05-23, v0.7.1)

The largest single jump in trust signal: every claim in the corpus is now backed by either a unit test (88-test harness) or a real-VM verification record (22 of 26 CVEs), and the binary surfaces both.

  • tools/verify-vm/ — Vagrant + Parallels scaffold. Boots known-vulnerable kernels (stock distro + mainline via kernel.ubuntu.com/mainline/), runs --explain --active per module, emits JSONL verification records.
  • Mainline kernel fetchtargets.yaml mainline_version field downloads vanilla mainline .debs from kernel.ubuntu.com/mainline/v<X.Y.Z>/amd64/, dpkg-installs, update-grubs, reboots. Unblocks pin-not-in-apt targets.
  • 22 of 26 CVEs verified across Ubuntu 18.04 / 20.04 / 22.04 + Debian 11 / 12 + mainline 5.15.5 / 6.1.10. Records in docs/VERIFICATIONS.jsonl, baked into core/verifications.{c,h}, surfaced in --list (VFY column), --module-info, --explain, --scan --json.
  • --explain MODULE — one-page operator briefing. CVE / CWE / MITRE ATT&CK / CISA KEV header, host fingerprint, live detect() trace with verdict + interpretation, OPSEC footprint, detection- rule coverage, verified-on records. Paste-into-ticket ready.
  • Per-module opsec_notes — every module struct ships a runtime-footprint paragraph (file artifacts, dmesg, syscall observables, network, persistence, cleanup). The inverse of the detection rules.
  • CVE metadata pipelinetools/refresh-cve-metadata.py fetches CISA KEV + NVD CWE; 10 of 26 modules cover KEV-listed CVEs. Hand-curated ATT&CK mapping (T1068 / T1611 / T1082). Surfaced everywhere ( markers, triage JSON sub-object).
  • 119 detection rules across all 4 SIEM formats — auditd 30/31, sigma 31/31, yara 28/31, falco 30/31. Documented intentional skips for the 3 modules without applicable rules in each format (entrybleed: pure timing side-channel; ptrace_traceme + sudo_samedit: pure-memory races, no on-disk artifacts).
  • 88-test unit harness — 33 kernel_range / host-fingerprint boundary tests + 55 detect() integration tests. ASan + UBSan + clang-tidy on every push; weekly cron checks for CISA KEV + Debian security-tracker drift.
  • arm64-static binaryskeletonkey-arm64-static published alongside x86_64-static. Built via dockcross/linux-arm64-musl cross toolchain. install.sh auto-picks on aarch64 hosts.
  • arch_support field per module: any (4 — userspace bugs), x86_64 (1 — entrybleed by physics), x86_64+unverified-arm64 (26 — kernel modules whose arm64 exploit hasn't been empirically confirmed). Honest labels until an arm64 verification sweep promotes them.
  • Marketing-grade landing page — animated hero with --explain showcase, bento-grid features, KEV / verification stat chips, open-graph card. karazajac.github.io/SKELETONKEY.

Open follow-ups from v0.7.x (not yet started):

  • arm64 verification sweep — Vagrant arm64 box (e.g. generic/debian12-arm64 on M-series Mac via Parallels) → run verify.sh against the 26 x86_64+unverified-arm64 modules, promote each to any where it works.
  • SIEM query templates — full Splunk SPL / Elastic KQL / Sentinel KQL queries per top-10 KEV-listed modules, embedded in docs/DETECTION_PLAYBOOK.md.
  • install.sh CI smoke test — boot fresh Ubuntu / Debian / Alpine containers, run curl ... | sh, assert --version.
  • PackageKit provisioner for pack2theroot VULNERABLE-path verification on Debian 12.
  • Custom ≤ 4.4 kernel image for dirty_cow VM verification.
  • 9 deferred TOO_TIGHT kernel-range drift findings — per-commit verification against git.kernel.org/linus.

Wait-for-upstream blockers (out of our control):

  • vmwgfx verification — requires a VMware-Fusion-or-Workstation guest exposing /dev/dri/card* from the vmwgfx driver.
  • dirtydecrypt + fragnesia verification — both target Linux 7.0+, which isn't shipping as any distro kernel yet.

Non-goals

  • No 0-day shipment. Everything in SKELETONKEY is post-patch.
  • No automated mass-targeting. No host-list mode. No automatic pivoting.
  • No persistence beyond --exploit-backdoor's /etc/passwd overwrite, which is overt and easily detected by any auditd rule we ship ourselves. Persistence-as-evasion is out of scope.
  • No container-runtime escapes unless they cleanly chain to host-root.
  • No Windows / macOS / non-Linux targets. Focus is the moat.