implicit-contract SKILL.md skillA
implicit-contract from dannyan/secguard-clang is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add dannyan/secguard-clang/implicit-contract@git:20261017.a78401fPins git:20261017.a78401f in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- dannyan/secguard-clang
- Path
extension/shared/skills/implicit-contract/SKILL.md- Versions recorded
- 2
- Latest version
- git:20261017.a78401f, committed Oct 17, 2026
- First version recorded
- Oct 14, 2026
- Size
- 6,342 bytes
- Repository stars
- 25
- License
- Apache-2.0
Classify implicit-contract evidence — a caller/framework-supplied struct field is dereferenced with no dominating null guard, but the code null-checks the field elsewhere. Maps to CWE-20.
Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.
What the file says
## Implicit Contract — Missing Entry Validation Analysis (CWE-20) `contract_kind: implicit` — the field's nullness is **open-world** (supplied by a caller or a framework the scanner cannot see), not statically provable. The pipeline deliberately **never auto-confirms** this type: it only surfaces a candidate when the code itself treats the field as nullable (it null-checks the field on another path) but fails to guard THIS dereference. You judge the business contract, not a data-flow proof. A confirmed finding here is a **null-deref in spirit (CWE-476-equivalent)** when the empty/unusual path can actually occur; it is reported under CWE-20 because the root cause is *missing validation of input state*, and the field's nullness is a contract, not a proven source. ### Evidence Pattern An implicit-contract candidate has: - **contract_gap**: a pointer field `obj->P` (of struct parameter `obj`) is dereferenced at `use_line` with no dominating null guard. - **missing**: the absent precondition (`obj->P != NULL`). - **contract_evidence** (one of): - `self` — the function null-checks `obj->P` on another path; - `sibling` — another function with the SAME parameter struct type …
Read the whole file at its exact version.
How to install
mdr add dannyan/secguard-clang/implicit-contract@sha256:6aedccde84ab2cc6The line at the top of this page pins the label git:20261017.a78401f, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.
[](https://markdownregistry.com/a/art_yzr2wvh6bax6kylj)
1 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 2 versions of this file, between Oct 14, 2026 and Oct 17, 2026, about one every 3 days.
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| git:20261017.a78401f latest | 2026-10-17 | a78401f | 6,342 B | A | view · diff |
| git:20261014.7fe7a29 | 2026-10-14 | 7fe7a29 | 5,598 B | A | view |
Audit of the latest version
- pass: Frontmatter block present
- pass: Frontmatter declares a name
- pass: Frontmatter declares a description
- pass: Size between 200 bytes and 200 KB (6342 bytes)
- pass: No zero-width or bidi control characters
- pass: No instruction hidden inside an HTML comment
- pass: No link to an exfiltration or paste host
- pass: No credential-shaped string
- pass: No instruction to send local credentials anywhere
- pass: No text hidden with inline styles
- pass: No prompt-injection phrasing
- pass: No curl or wget piped into a shell
- pass: No recursive delete of root, home or parent
- pass: No instruction to read or print local credentials
- pass: No base64 blob over 200 characters
- pass: No link to a raw IP address
- pass: No script tag
Source
dannyan/secguard-clang · 25 stars · license Apache-2.0 · pushed 2026-10-22 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_yzr2wvh6bax6kylj GET https://markdownregistry.com/api/v1/resolve?ref=dannyan/secguard-clang/implicit-contract GET https://markdownregistry.com/api/v1/blob/6aedccde84ab2cc65118fb5131f03825109f885f0d4e60069af5f89cf7a06845
Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.
Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.