원클릭으로 Manus에서 모든 스킬 실행

c-static-analysis

스타49,022

포크5,930

업데이트2026년 6월 27일 04:13

Run Clang static analysis on Julia's C/C++ runtime and codegen, and satisfy the GC-rooting checker. Use after modifying runtime/codegen .c/.cpp files under src/ (excluding headers), before opening a PR.

설치

Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.

Manus에서 실행

출처

JuliaLang

JuliaLang/julia

GitHub 저장소 열기 Creator 저장소 보기

다운로드

Manus에서 실행

C/C++ static analysis (src/)

Use this after you modify a runtime/codegen C/C++ source file under src/ (not headers). Note that runtime changes also require a rebuild (make -j).

Run static analysis checks:

First run make -C src install-analysis-deps to initialize dependencies (only needed once the first time, or after the LLVM/Clang toolchain dependencies change). This may download and install LLVM/Clang artifacts.
For a source file such as src/jloptions.c or src/codegen.cpp, use the file stem without the .c/.cpp extension:
```
make -C src analyze-<file-stem> -j8 [--output-sync]
```
For example, to analyze src/jloptions.c, run:
```
make -C src analyze-jloptions -j8
```
Add --output-sync when your make supports it to keep parallel output grouped; otherwise omit it.
Checks can also be rerun individually with clang-sa-<file-stem>, clang-sagc-<file-stem> or clang-tidy-<file-stem>.

Fixing the GC-rooting checker (clang-sagc)

If clang-sagc-<file-stem> fails, first look for fixes that establish real rooting, such as adding appropriate JL_GC_PUSH/JL_GC_POP scopes, or for lock/control-flow fixes.

Do not add JL_GC_PROMISE_ROOTED without explicit user or maintainer confirmation. JL_GC_PROMISE_ROOTED asserts that a value is already rooted; it does not root the value. If it appears necessary, stop and ask for confirmation, showing the exact expression, the existing root that makes it safe, and the safepoints considered.

Remember arguments are assumed rooted, so check the callers to make sure that is handled.
As a diagnostic hint when asking for confirmation: if the value is temporarily moved through a struct or arraylist and then reloaded, the promised expression may need to refer to the reloaded field, such as JL_GC_PROMISE_ROOTED(struct->field), immediately after the reload and before any use of that field.
If confirmed, put the promise as early in the code as is legal, near the definition or reload rather than the use.

이 저장소의 다른 Skills

같은 저장소

buildkite-logs

JuliaLang/julia

Fetch and inspect Julia Buildkite CI logs without web sign-in. Use when debugging Julia CI failures, reviewing Buildkite jobs, or when the Buildkite MCP is unavailable.

2026-07-0949.0k

compiler-jl

JuliaLang/julia

Develop and test Julia's Compiler.jl. Use when modifying Compiler/, debugging compiler behavior, or activating stdlib Compiler for reflection/native-codegen experiments instead of using sysimage Base.Compiler.

2026-06-2749.0k

julia-syntax-lowering

JuliaLang/julia

Develop and test JuliaSyntax and JuliaLowering in Julia's source tree. Use when modifying JuliaSyntax/ or JuliaLowering/, running package or targeted tests, or checking JuliaLowering execution.

2026-06-2749.0k

doctests

JuliaLang/julia

Write and verify Julia `jldoctest` code blocks. Use whenever adding or changing a `jldoctest` block in a docstring (base/, stdlib/, Compiler/) or under doc/, and before opening a PR that touches doctests.

2026-06-2649.0k

external-deps

JuliaLang/julia

Modify Julia's external dependencies and JLLs — patches under deps/patches/, version bumps in deps/, and JLL updates. Use when touching deps/ or any *_jll folder, including refreshing checksums.

2026-06-2649.0k

test-changes

JuliaLang/julia

Run and update Julia tests after changing test files. Use when adding to or modifying any test file under test/ or stdlib/**/test/.

2026-06-2649.0k

name	c-static-analysis
description	Run Clang static analysis on Julia's C/C++ runtime and codegen, and satisfy the GC-rooting checker. Use after modifying runtime/codegen .c/.cpp files under src/ (excluding headers), before opening a PR.

C/C++ static analysis (src/)

Use this after you modify a runtime/codegen C/C++ source file under src/ (not headers). Note that runtime changes also require a rebuild (make -j).

Run static analysis checks:

First run make -C src install-analysis-deps to initialize dependencies (only needed once the first time, or after the LLVM/Clang toolchain dependencies change). This may download and install LLVM/Clang artifacts.
For a source file such as src/jloptions.c or src/codegen.cpp, use the file stem without the .c/.cpp extension:
```
make -C src analyze-<file-stem> -j8 [--output-sync]
```
For example, to analyze src/jloptions.c, run:
```
make -C src analyze-jloptions -j8
```
Add --output-sync when your make supports it to keep parallel output grouped; otherwise omit it.
Checks can also be rerun individually with clang-sa-<file-stem>, clang-sagc-<file-stem> or clang-tidy-<file-stem>.

Fixing the GC-rooting checker (clang-sagc)

If clang-sagc-<file-stem> fails, first look for fixes that establish real rooting, such as adding appropriate JL_GC_PUSH/JL_GC_POP scopes, or for lock/control-flow fixes.

Remember arguments are assumed rooted, so check the callers to make sure that is handled.
As a diagnostic hint when asking for confirmation: if the value is temporarily moved through a struct or arraylist and then reloaded, the promised expression may need to refer to the reloaded field, such as JL_GC_PROMISE_ROOTED(struct->field), immediately after the reload and before any use of that field.
If confirmed, put the promise as early in the code as is legal, near the definition or reload rather than the use.