SmPL
1 program
Added 2026-02-05T22:35:59Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: Semantic Patch Language
Provenance: commit 10abc81018 · authored 2026-02-05T23:36:45+01:00 · agent claude-code · model sonnet
Sources mentioning this language
4 sources · pl_id:
pl/smplExtensions claimed by this language
1 claim. Each row is one upstream assertion with its strength.
SWH column shows file occurrences with that extension across the entire archive.| Extension | Source | Strength | SWH |
|---|---|---|---|
.cocci | linguist | primary | 44.6K files |
Related languages
LLM-contributed programs
Null Pointer Check Simplification
Provenance: commit 10abc81018 · authored 2026-02-05T23:36:45+01:00 · agent claude-code · model sonnet · WebSearch disabled
@@
expression E;
statement S;
@@
- if (E == NULL)
- S
+ if (!E)
+ S
Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)