| name | splint-post-c-sanity |
| description | Run splint after cppcheck/clang-format/clang-tidy precommit sanity to find memory issues, API misuse, and contract violations in staged C code (tolerates older C parser limitations). |
Splint pass (after C sanity)
Use this skill after running cppcheck-clang-format-precommit when you want an additional Splint pass focused on memory ownership, API misuse, and contract/annotation checking.
Workflow
- Stage changes (
git add ...).
- Run the C sanity skill first:
./.agents/skills/cppcheck-clang-format-precommit/scripts/precommit_c_sanity.sh
- Then run Splint:
./.agents/skills/splint-post-c-sanity/scripts/run_splint_on_staged.sh
- If Splint reports problems, fix and repeat.
What it does
- Runs
splint on staged non-kernel *.c files; files under sys/ are skipped.
Headers are pulled in via includes.
- Uses a conservative flag set aimed at:
- memory/ownership issues (
mustfreefresh, usereleased, freshtrans, etc.)
- bounds/null misuse (
boundsread/write, nullpass/nullret)
- contract checking via annotations where present
- Because Splint’s parser is older, the script is intentionally conservative and may require local suppressions or annotations in tricky areas.
Tuning
- Edit
SPLINT_FLAGS / include dirs inside the script if you need to reduce noise or add -D... defines.
