Rust 개발자 도구 상자: 최고의 정적 코드 분석 도구

인컴 2026년 6월 4일 애플리케이션 관리, 애플리케이션 현대화, 코드 분석, 코드 검토, 데이터 현대화, 영향 분석, 레거시 시스템, 테크 토크, 도구 및 솔루션

Rust 컴파일러는 대부분의 개발자가 경험하게 될 가장 독단적인 코드 리뷰어라고 할 수 있습니다. 소유권 시스템, 빌림 검사기, 그리고 수명 주기 강제 적용은 C와 C++ 코드베이스를 괴롭히는 수많은 버그 유형을 제거합니다. 하지만 메모리 오류를 방지하는 컴파일러가 완벽한 품질 시스템을 갖춘 것은 아닙니다. 논리적 버그, 불안정한 의존성 체인, 안전하지 않은 블록 사용, 성능 안티 패턴, 그리고 스타일 편차는 여전히 남아 있습니다. rustc대규모로 안정적인 Rust를 배포하는 팀은 컴파일러와 계층화된 정적 분석 도구 세트를 결합하여 사용하며, 각 도구는 품질 표면의 서로 다른 부분을 다룹니다.

잘못된 조합을 선택하면 CI 시간이 낭비되고 개발자들이 무시하게 되는 불필요한 노이즈가 발생합니다. 반대로 올바른 조합을 선택하면 컴파일러의 엄격성이 한계가 아닌 최소 기준처럼 느껴집니다. 이 가이드에서는 도구들을 알파벳순이 아닌 실제 기능별로 정리하여 팀에서 린팅 및 관용구, 의존성 보안, 안전에 중요하거나 보안에 민감한 코드에 대한 심층 검증 등 세 가지 품질 계층을 모두 포괄하는 스택을 구축할 수 있도록 했습니다.

차례

SMART TS XL

언어의 강력한 안전성이 보장되더라도, 최신 Rust 개발에서 품질을 유지하는 것은 어렵습니다. SMART TS XL Rust의 고유한 기능에 맞춰 심층적인 정적 분석 기능을 제공하여 팀이 안정적이고 유지 관리가 용이하며 안전한 소프트웨어를 구축할 수 있도록 설계되었습니다. 문제를 조기에 발견하고, 일관성을 유지하며, 수동 검토 작업을 줄여 전문적인 엔지니어링 워크플로를 지원합니다.

녹의 세 가지 층위 정적 분석

어떤 도구가 어디에 적합한지 이해하면 린터로 충분한 곳에 형식 검증 도구를 사용하거나 보안 스캐너가 필요한 곳에 린터만 사용하는 흔한 실수를 방지할 수 있습니다. 모든 완성도 높은 Rust 프로젝트는 이 세 가지 계층을 모두 다뤄야 합니다.

1단계: 린팅 및 스타일 검사는 관용적인 규칙 위반, 흔한 실수 및 유지보수 문제를 잡아냅니다. 사용 도구: Clippy, rustfmt, rust-analyzer.

레이어 2: 종속성 및 공급망 보안 감사를 통해 타사 크레이트의 알려진 취약점 및 정책 위반 사항을 확인합니다. 사용 도구: cargo-audit, cargo-deny, cargo-auditable.

3단계: 심층 검증은 안전하지 않은 코드에서 메모리 안전성 문제를 찾아내고, 정의되지 않은 동작을 분석하며, 핵심 기능의 속성을 형식적으로 증명합니다. 사용 도구: Miri, Kani, MIRAI, Rudra, Creusot, Prusti.

아래 표는 각 주요 도구를 해당 계층, 비용, CI 적합성 및 주요 사용 사례와 연결합니다.

수단	층	비용	CI 적합	주요 사용 사례
클리 피	보풀	무료 / 오픈소스	가능	관용적인 린팅, 스타일, 일반적인 버그
러스트fmt	보풀	무료 / 오픈소스	가능	코드 서식 강제 적용
녹 분석기	린팅 / DX	무료 / 오픈소스	일부의	IDE 진단, 인라인 분석
화물 감사	종속성 보안	무료 / 오픈소스	가능	크레이트에서 발견된 알려진 CVE
화물 거부	종속성 보안	무료 / 오픈소스	가능	라이선스, 복제본, 권고사항
화물 감사 가능	종속성 보안	무료 / 오픈소스	가능	바이너리에 종속성 데이터를 포함시키세요
미리	심층 검증	무료 / 오픈소스	선택적인	안전하지 않은 코드에서 정의되지 않은 동작이 발생합니다.
카니	심층 검증	무료 / 오픈소스	선택적인	형식 검증, 모델 검증
미라이	심층 검증	무료 / 오픈소스	선택적인	추상 해석, 오염 분석
루드라	심층 검증	무료 / 오픈소스	리써치	안전하지 않은 Rust 코드의 메모리 안전성 버그
셈그렙	교차 절단	무료 티어 + 유료 티어	가능	맞춤형 보안 패턴, 다국어 지원
소나클라우드	교차 절단	무료 티어 + 유료 티어	가능	지속적인 품질 관리, 대시보드

레이어 1: 린팅, 스타일 및 개발자 경험

클리 피

Clippy는 Rust 정적 분석을 위한 최고의 시작점입니다. 공식 Rust 툴체인에 포함되어 제공되는 Clippy는 정확성, 성능, 스타일, 복잡성 및 제약 조건을 포괄하는 700개 이상의 린트 항목을 제공합니다. 대부분의 Rust 개발팀이 매일 사용하는 도구인 데에는 이유가 있습니다. Clippy는 단순한 스타일 의견이 아닌 실제 버그를 잡아내기 때문입니다.

세게 때리다

# Run all lints including pedantic and nursery groups
cargo clippy -- -W clippy::all -W clippy::pedantic

# Fail CI on any warning
cargo clippy -- -D warnings

# Check specific lint group
cargo clippy -- -W clippy::correctness -W clippy::suspicious

Clippy의 린트 카테고리는 명확하게 이해할 가치가 있습니다.

카테고리	그것이 잡는 것
`correctness`	거의 확실히 틀린 코드 (항상 거부)
`suspicious`	잘못되었거나 매우 놀라운 코드
`style`	명확한 개선점을 보여주는 비관용적 패턴
`complexity`	불필요하게 복잡한 구조
`performance`	컴파일은 되지만 실행 속도가 예상보다 느린 코드
`pedantic`	엄격한 지침, 주관적 관점 (선택적으로 활성화)
`restriction`	특정 상황에서 적용하고 싶은 규칙
`nursery`	새로운 보푸라기는 오탐지를 유발할 수 있습니다.

화물 검사 vs 클리피: cargo check 바이너리 파일을 생성하지 않고 타입 정확성과 컴파일성을 검증합니다. 빠르고 빌드 검증에 적합합니다. cargo clippy 실행 cargo check 모든 린트 분석도 포함됩니다. CI의 경우, 다음 명령을 실행하세요. cargo check 빠른 컴파일 피드백을 위해 cargo clippy -- -D warnings 별도의 품질 관리 절차입니다. 서로 호환되지 않습니다. cargo check 관용적인 문제를 포착하지 못할 것이며, cargo clippy 더 느립니다.

Clippy 설정하기 를 통해 clippy.toml 또는 인라인 속성을 통해 팀은 노이즈를 제어할 수 있습니다.

톰

# clippy.toml
avoid-breaking-exported-api = false
msrv = "1.70"

녹

// Suppress a lint for one function with documented reason
#[allow(clippy::too_many_arguments)]
fn complex_setup(...) { ... }

Clippy에서 지원하지 않는 기능은 모듈 간 심층 데이터 흐름 분석, 종속성 보안 취약점 스캔, 형식적 정확성 증명 또는 조직별 맞춤 규칙 설정입니다. 이러한 기능은 다른 계층의 도구가 필요합니다.

러스트fmt

rustfmt는 코드베이스 전체에 걸쳐 일관된 서식을 적용합니다. cargo fmt. 그만큼 rustfmt.toml 설정 파일은 프로젝트 전체의 스타일 규칙을 설정합니다. CI 환경에서는 cargo fmt -- --check 파일이 재포맷될 경우 0이 아닌 종료 코드를 반환하므로 구성 오버헤드 없이 깔끔한 품질 검사 역할을 합니다.

세게 때리다

# Check formatting without modifying files (CI mode)
cargo fmt -- --check

# Apply formatting (developer mode)
cargo fmt

Rust 분석기와 IDE 통합

rust-analyzer는 Rust용 언어 서버 프로토콜(LSP) 구현체로, LSP 호환 편집기에서 실시간 진단, 코드 자동 완성, 정의 위치로 이동, Clippy 경고 표시 등의 기능을 제공합니다. 더 이상 사용되지 않는 RLS(Rust Language Server)를 대체하며, 새로운 프로젝트에서는 Rust 언어 서버만 사용하는 것이 좋습니다.

정적 분석 관점에서 보면, rust-analyzer는 개발자가 입력하는 동안 Clippy 린트 결과를 바로 표시하여 별도의 터미널 실행 없이도 스타일 및 정확성 문제에 대한 즉각적인 피드백을 제공합니다.

JSON

// VS Code settings.json: enable Clippy via rust-analyzer
{
  "rust-analyzer.check.command": "clippy",
  "rust-analyzer.check.extraArgs": [
    "--", "-W", "clippy::all", "-W", "clippy::pedantic"
  ]
}

rust-analyzer는 추론된 유형, 빌림 수명 및 매개변수 이름에 대한 인레이 힌트를 제공하므로 정의로 이동하지 않고도 익숙하지 않은 코드를 검토하는 데 유용합니다.

2단계: 의존성 및 공급망 보안

화물 감사

화물 감사 검사는 다음을 확인합니다. Cargo.lock RustSec Advisory Database에 대한 파일을 검사하여 직접 및 간접 종속성에서 알려진 CVE를 식별합니다. 이는 모든 Rust 프로젝트가 CI에서 실행해야 하는 최소한의 종속성 보안 도구입니다.

세게 때리다

# Install
cargo install cargo-audit

# Run audit
cargo audit

# Ignore a specific advisory (document the reason in comments)
cargo audit --ignore RUSTSEC-2024-0001

# JSON output for pipeline integration
cargo audit --json | jq '.vulnerabilities'

cargo-audit는 알려지고 공개된 보안 권고 사항만 탐지합니다. 사용자 코드의 취약점, RustSec 데이터베이스에 아직 등록되지 않은 문제 또는 원치 않는 라이선스와 같은 정책 위반 사항은 탐지할 수 없습니다.

화물 거부

cargo-deny는 알려진 CVE를 넘어 라이선스 준수, 중복 크레이트 감지, 사용자 지정 금지/허용 정책까지 종속성 관리를 확장합니다. 이는 규정 준수 요건이 있는 조직에 더욱 포괄적인 도구입니다.

톰

# deny.toml
[advisories]
vulnerability = "deny"
unmaintained = "warn"

[licenses]
allow = ["MIT", "Apache-2.0", "ISC", "BSD-2-Clause", "BSD-3-Clause"]
deny = ["GPL-2.0"]
copyleft = "warn"

[bans]
multiple-versions = "warn"

세게 때리다

cargo install cargo-deny
cargo deny check

화물 감사 가능

cargo-auditable은 컴파일된 Rust 바이너리에 구조화된 메타데이터 형태로 전체 종속성 트리를 포함시켜 전용 링커 섹션에 배치합니다. 이를 통해 소스 코드에 접근하지 않고도 배포된 바이너리를 감사할 수 있으므로, 배포 후 보안 검토 및 공급망 투명성 확보에 유용합니다.

세게 때리다

cargo install cargo-auditable
cargo auditable build --release
# The binary now contains auditable dependency metadata
# Audit a binary directly:
cargo audit bin ./target/release/my-service

3단계: 심층 검증

이 계층의 도구는 더 많은 설정, 전문 지식 및 분석 시간을 요구합니다. 모든 코드베이스의 모든 기능에 적합한 것은 아닙니다. 안전하지 않은 코드, 암호화 구현, 신뢰할 수 없는 입력을 처리하는 파서 로직, 그리고 테스트보다는 정확성을 입증해야 하는 모든 코드에 필수적입니다.

Miri: 정의되지 않은 동작 감지

Miri는 Rust의 중간 수준 표현(MIR)을 위한 인터프리터로, 컴파일러가 허용하지만 Rust의 안전성 보장을 위반하는 미정의 동작을 감지하는 방식으로 코드를 실행합니다. 이러한 미정의 동작에는 안전하지 않은 블록에서의 경계를 벗어난 메모리 접근, 해제 후 사용, 정렬되지 않은 포인터 역참조, 멀티스레드 환경에서의 안전하지 않은 코드에서의 데이터 경쟁, Rust의 별칭 모델 위반 등이 포함됩니다.

세게 때리다

# Install Miri (requires nightly)
rustup +nightly component add miri

# Run tests under Miri
cargo +nightly miri test

# Enable strict aliasing validation
MIRIFLAGS="-Zmiri-strict-provenance" cargo +nightly miri test

미리가 감지하는 것: 정의되지 않은 동작 unsafe 블록, 메모리 접근 위반, 해제 후 사용, 정렬되지 않은 접근, 디버그 빌드에서의 정수 오버플로, 안전하지 않은 동시 실행 코드에서의 데이터 경쟁.

Miri에서 다루지 않는 내용은 다음과 같습니다 . 정의되지 않은 동작, 의존성 취약점, 코드 스타일 또는 성능 문제를 포함하지 않는 안전한 코드의 논리적 버그.

CI 통합Miri는 10~50배 느리게 실행됩니다. cargo test. 특정 모듈에 대해서만 선택적으로 실행합니다. unsafe 코드를 업데이트하거나, 매번 커밋할 때마다 업데이트하는 대신 야간에 업데이트하는 것도 고려해 볼 수 있습니다.

얌

- name: Miri on unsafe modules
  run: |
    rustup +nightly component add miri
    cargo +nightly miri test --package my-unsafe-crate

Kani: 모델 검증 및 형식 검증

Amazon Web Services에서 개발한 Kani는 정의된 범위까지 실행 경로를 철저하게 탐색하여 Rust 코드의 속성을 형식적으로 검증하는 모델 검증 도구입니다. Miri가 실제 테스트 케이스를 실행하고 구체적인 버그를 찾는 반면, Kani는 분석 범위 내의 모든 입력에 대해 속성이 성립하는지 여부를 증명하거나 반증합니다.

Kani를 사용하려면 검증 하네스를 작성해야 합니다. 즉, 입력 공간과 검증할 속성을 정의하는 함수를 작성해야 합니다.

녹

#[cfg(kani)]
mod verification {
    use super::*;

    #[kani::proof]
    fn verify_add_no_overflow() {
        let a: u32 = kani::any();
        let b: u32 = kani::any();
        if a.checked_add(b).is_some() {
            let result = safe_add(a, b);
            assert!(result == a + b);
        }
    }
}

세게 때리다

cargo install --locked kani-verifier
cargo kani setup
cargo kani

다음과 같은 용도에 가장 적합합니다: 안전에 매우 중요한 기능, 프로토콜 구현, 금융 또는 암호화 코드의 산술 연산, 그리고 정확성 속성을 단순히 테스트하는 것이 아니라 증명해야 하는 모든 기능.

MIRAI: 추상 해석 및 오염 분석

Facebook Research에서 개발한 MIRAI는 추상적인 해석을 사용하여 Rust의 MIR을 분석합니다. 함수 호출을 통해 값이 어떻게 흐르는지 추적하는 프로시저 간 분석을 수행하여 잠재적인 패닉, 계약 위반 및 코드 전체에 오염이 전파되는 것을 감지합니다.

녹

use mirai_annotations::*;

fn divide(a: i32, b: i32) -> i32 {
    precondition!(b != 0);  // MIRAI verifies all callers satisfy this
    a / b
}

MIRAI는 야간에 배포되는 Rust 컴파일러를 필요로 하며 설정 과정이 상당히 복잡하기 때문에 보안 엔지니어링 전담팀이나 연구 중심의 품질 요구 사항을 가진 팀에 가장 적합합니다.

Rudra: 안전하지 않은 라이브러리 코드에서의 메모리 안전성

Rudra는 Rust의 소유권 모델에 특화된 메모리 안전성 버그를 탐지하기 위해 크레이트 전반에 걸쳐 프로그램 전체를 분석합니다. 이러한 버그에는 Send/Sync 트레이트 안전성 위반, 불안정한 수명 연장을 허용하는 고차 타입 수명 문제, 안전하지 않은 코드의 패닉 안전성 문제 등이 포함됩니다. 원래 연구원들이 개발한 Rudra는 컴파일러 플러그인으로 작동하며 특정 나이틀리 버전을 필요로 합니다. 안전하지 않은 내부 구조를 가진 라이브러리 크레이트의 경우, 매 커밋마다 실행하기보다는 예약된 시간에 실행하는 것이 좋습니다.

크루소와 프루스티: 연역적 검증

Creusot와 Prusti는 Rust 프로그램의 수학적 속성을 증명하는 연역적 검증 도구입니다. 두 도구 모두 형식 명세(사전 조건, 사후 조건, 루프 불변 조건)를 필요로 하며, 자동 정리 증명기를 사용하여 구현이 이러한 명세와 일치하는지 검증합니다. 이들은 안전한 Rust 코드의 제한된 하위 집합을 대상으로 하며, 형식 방법론에 대한 전문 지식을 요구합니다. 규제 산업, 암호화 라이브러리 개발 또는 수학적 정확성 증명이 계약이나 규제 요건인 모든 환경에 적합합니다.

추가로 포함할 만한 도구

사용자 지정 보안 패턴을 위한 Semgrep

Semgrep은 여러 언어에서 동시에 작동하는 패턴 기반 정적 분석 기능을 제공합니다. Rust의 경우, Semgrep을 사용하면 Clippy로는 표현할 수 없는 조직 보안 정책 및 코드베이스별 패턴을 적용하는 사용자 지정 규칙을 작성할 수 있습니다.

얌

# Custom rule: flag .unwrap() in production paths
rules:
  - id: no-unwrap-in-production
    pattern: $X.unwrap()
    message: "Use proper error handling instead of .unwrap()"
    languages: [rust]
    severity: WARNING

Semgrep은 커뮤니티에서 관리하는 Rust 보안 규칙이 포함된 관리형 규칙 레지스트리도 제공합니다.

SonarCloud/SonarQube를 활용한 지속적인 품질 게이트 테스트

SonarCloud는 대시보드, 트렌드 추적, 풀 리퀘스트 데코레이션 기능을 통해 지속적인 코드 품질 분석을 제공합니다. Rust 지원을 통해 일반적인 버그 패턴, 보안 취약점, 코드 스멜 등을 파악할 수 있습니다. 이미 다른 언어에 SonarCloud를 사용하고 있는 기업 팀은 Rust를 동일한 파이프라인에 추가하여 스택 전반에 걸쳐 통합된 품질 가시성을 확보할 수 있습니다.

계층형 CI/CD 파이프라인 구축

다음 GitHub Actions 워크플로는 과도한 설계 없이 포괄적인 Rust 품질 검증을 원하는 팀을 위한 실용적인 시작점을 제시합니다.

얌

# .github/workflows/quality.yml
name: Code Quality and Security

on: [push, pull_request]

jobs:
  lint:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: dtolnay/rust-toolchain@stable
        with:
          components: clippy, rustfmt

      - name: Check formatting
        run: cargo fmt -- --check

      - name: Clippy (treat warnings as errors)
        run: cargo clippy -- -D warnings

  security:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: dtolnay/rust-toolchain@stable

      - name: Install security tools
        run: |
          cargo install cargo-audit
          cargo install cargo-deny

      - name: Dependency audit
        run: cargo audit --deny warnings

      - name: License and policy check
        run: cargo deny check

  verify:
    runs-on: ubuntu-latest
    # Scheduled or manually triggered, not on every push
    if: github.event_name == 'schedule' || github.event_name == 'workflow_dispatch'
    steps:
      - uses: actions/checkout@v4
      - uses: dtolnay/rust-toolchain@nightly
        with:
          components: miri

      - name: Miri on unsafe modules
        run: cargo +nightly miri test --package my-unsafe-crate

어떤 도구를 사용해야 할까요? 결정 가이드

새로운 Rust 프로젝트 시작하기 : Clippy + rustfmt + cargo-audit. 5분 안에 설정 가능하며, 팀이 흔히 접하는 대부분의 품질 및 보안 문제를 잡아냅니다.

외부 종속성이 있는 프로덕션 서비스 : CVE 외에도 라이선스 준수 및 공급망 정책 시행을 위해 cargo-deny를 추가합니다.

내부 코드가 안전하지 않은 라이브러리 크레이트 : 안전하지 않은 코드가 포함된 모듈에 대한 테스트 스위트에 Miri를 추가하세요. Rudra를 예약된 시간에 실행하세요.

보안에 중요한 코드 또는 암호화 코드 : 가장 중요한 기능에 대해 Kani 검증 도구를 작성하십시오. 팀에 형식 해석 방법론 전문 지식이 있다면 Creusot 또는 Prusti를 고려해 보십시오.

보안 중심 조직 : 조직 보안 정책에 대한 사용자 지정 규칙이 포함된 Semgrep을 추가하고 릴리스 빌드에서 cargo-auditable을 활성화합니다.

더 큰 팀을 위한 지속적인 가시성 확보 : SonarCloud를 활용하여 트렌드 추적, 풀 리퀘스트 관리, 품질 검증을 수행하고 오픈 소스 도구를 함께 사용합니다.

다국어 기업 환경 Rust가 COBOL, Java 또는 기타 레거시 언어와 상호 작용하는 경우, 단일 언어 Rust 도구는 언어 경계를 넘어 상호 작용할 수 없습니다. SMART TS XL 전체 시스템을 포괄하는 언어 간 분석을 제공합니다.

Rust 정적 분석이 엔터프라이즈 시스템과 만날 때

Rust는 COBOL, Java, PL/I, RPG 등을 메인프레임이나 레거시 플랫폼에서 실행하는 조직에서 새로운 서비스를 개발하는 데 점점 더 많이 사용되고 있습니다. 이러한 환경에서 정적 분석은 Rust 전용 도구가 다룰 수 있는 범위를 넘어섭니다. Rust 마이크로서비스는 COBOL 프로그램을 호출하거나, 공유 데이터베이스에 데이터를 쓰거나, 레거시 배치 시스템에서 생성된 이벤트를 소비할 수 있습니다. 기업 아키텍트에게 중요한 품질 및 종속성 분석은 이러한 모든 시스템을 동시에 아우르는 것입니다.

SMART TS XL Clippy와 cargo-audit은 Rust만 인식하는 반면, Cargo-audit은 전체 애플리케이션 포트폴리오에 걸쳐 언어 간 종속성 분석을 제공하여 이러한 격차를 해소합니다. SMART TS XL Rust 서비스가 공유 데이터 구조, 레거시 프로그램 및 엔터프라이즈 API에 어떻게 의존하는지, 그리고 이러한 의존성을 변경할 경우 어떤 영향을 미칠지 파악하는 데 유용한 도구입니다. 따라서 Rust 서비스는 이러한 종속성 분석에 특히 적합합니다. 영향 분석 기존 시스템 현대화 계획 Rust가 여러 언어 중 하나로 사용되는 환경에서.

대규모 엔터프라이즈 코드베이스 내에서 Rust를 점진적으로 도입하는 팀의 경우, SMART TS XL의 정적 코드 분석 Rust 컴포넌트가 더 큰 시스템에 어떻게 통합되는지 이해하는 데 필요한 구조적 가시성을 제공하여 다른 언어로 작성된 컴포넌트에 영향을 줄 수 있는 변경 작업을 수행하기 전에 문제를 해결할 수 있도록 합니다. 이러한 맥락에서 살펴보면 다음과 같습니다. 의존성 그래프 및 애플리케이션 위험시스템을 확장하기 전에 전체 종속성 구조를 파악하는 것이 원활한 변경과 아무도 테스트할 생각을 하지 못했던 구성 요소에서 오류를 발생시키는 변경을 구분하는 핵심 요소입니다.

계층적 접근 방식이 핵심입니다.

Rust에서의 정적 분석은 단 하나의 도구 선택으로 결정되는 것이 아닙니다. 컴파일러가 무료로 제공하는 기능부터 시작하여 코드의 위험 프로필에 따라 확장해 나가는 계층적인 접근 방식입니다. Clippy와 rustfmt는 최소한의 도구이며, 외부 의존성이 있는 프로젝트라면 cargo-audit은 필수입니다. Miri는 안전하지 않은 코드가 있는 프로젝트에 반드시 사용해야 합니다. Kani와 같은 형식 검증 도구는 오류가 절대 용납될 수 없는 함수에 사용합니다.

이러한 방식을 제대로 이해하는 팀은 정적 분석을 개발 루프에 통합합니다. 예를 들어, 에디터에 Clippy를 인라인으로 사용하고, 모든 CI 실행에 cargo-audit을 포함시키며, 테스트만으로는 잡아낼 수 없는 오류를 포착하는 야간 작업에 Miri를 실행합니다. 그 결과, 버그 수가 줄어드는 것뿐만 아니라, 개발 환경과 프로덕션 환경 사이에 있는 분석 계층이 제대로 작동하고 있다는 확신을 바탕으로 팀이 신속하게 변경 작업을 진행할 수 있게 됩니다.