메뉴
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).
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
Run clang-format (prefer clang-format19), clang-tidy19, and cppcheck on staged C/C header changes before committing; auto-format then fail on serious diagnostics.
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).
Run clang-format (prefer clang-format19), clang-tidy19, and cppcheck on staged C/C header changes before committing; auto-format then fail on serious diagnostics.
Import a new upstream release of third-party software into a MidnightBSD vendor branch and merge it into master (and optionally stable branches). Handles vendor branch naming, Xlist pruning, tagging, git subtree merge, FreeBSD patch refresh, and stable branch merges — with mandatory user approval before every push, merge, or commit.
Add an entry to the UPDATING file at the repository root. Use whenever there is a security fix, vendor/third-party software update, behavioral change requiring user action, new stable branch creation, or a release. The UPDATING commit must be separate from any code changes so it can be cleanly cherry-picked to other branches.
SOC 직업 분류 기준
| 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). |
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.
git add ...)../.agents/skills/cppcheck-clang-format-precommit/scripts/precommit_c_sanity.sh./.agents/skills/splint-post-c-sanity/scripts/run_splint_on_staged.shsplint on staged non-kernel *.c files; files under sys/ are skipped.
Headers are pulled in via includes.mustfreefresh, usereleased, freshtrans, etc.)boundsread/write, nullpass/nullret)SPLINT_FLAGS / include dirs inside the script if you need to reduce noise or add -D... defines.