{
  "repository": "rust-lang/rust",
  "ref": "cabb1ea4ced589dfee40c08aeffff3cac78af43b",
  "methods": [
    {
      "slug": "formal",
      "title": "Formal verification and model checking"
    },
    {
      "slug": "static_analysis",
      "title": "Static analysis"
    },
    {
      "slug": "testing",
      "title": "Testing"
    },
    {
      "slug": "formatting",
      "title": "Formatting and hygiene"
    },
    {
      "slug": "supply_chain",
      "title": "Supply chain"
    },
    {
      "slug": "unclassified",
      "title": "Unclassified"
    }
  ],
  "verifications": [
    {
      "tool": "clippy",
      "method": "static_analysis",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "compiler/rustc_codegen_gcc/clippy.toml",
          "locator": "config file"
        },
        {
          "path": "src/tools/clippy/clippy.toml",
          "locator": "config file"
        },
        {
          "path": "src/tools/clippy/lintcheck/ci-config/clippy.toml",
          "locator": "config file"
        },
        {
          "path": "src/tools/clippy/tests/clippy.toml",
          "locator": "config file"
        },
        {
          "path": "src/tools/clippy/tests/example_integration_test/clippy.toml",
          "locator": "config file"
        },
        {
          "path": "src/tools/clippy/tests/ui-cargo/cargo_common_metadata/fail/clippy.toml",
          "locator": "config file"
        },
        {
          "path": "src/tools/clippy/tests/ui-cargo/cargo_common_metadata/pass/clippy.toml",
          "locator": "config file"
        },
        {
          "path": "src/tools/clippy/tests/ui-cargo/cargo_rust_version/fail_both_diff/clippy.toml",
          "locator": "config file"
        },
        {
          "path": "src/tools/clippy/tests/ui-cargo/cargo_rust_version/fail_both_same/clippy.toml",
          "locator": "config file"
        },
        {
          "path": "src/tools/clippy/tests/ui-cargo/cargo_rust_version/fail_clippy/clippy.toml",
          "locator": "config file"
        },
        {
          "path": "src/tools/clippy/tests/ui-cargo/cargo_rust_version/fail_file_attr/clippy.toml",
          "locator": "config file"
        },
        {
          "path": "src/tools/clippy/tests/ui-cargo/cargo_rust_version/pass_both_same/clippy.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/rust-lang/rust-clippy",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": true
    },
    {
      "tool": "eslint",
      "method": "static_analysis",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "package.json",
          "locator": "dependencies: eslint"
        },
        {
          "path": "src/librustdoc/html/static/.eslintrc.js",
          "locator": "config file"
        },
        {
          "path": "src/tools/rustdoc-js/.eslintrc.js",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/eslint/eslint",
      "docs": "https://eslint.org/docs/latest/use/command-line-interface#exit-codes",
      "exit_codes": {
        "0": "no errors",
        "1": "linting errors found",
        "2": "configuration problem or internal error"
      },
      "autofix": true,
      "declared_only": true
    },
    {
      "tool": "ruff-check",
      "method": "static_analysis",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "src/tools/tidy/config/ruff.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/astral-sh/ruff",
      "docs": "https://docs.astral.sh/ruff/linter/#exit-codes",
      "exit_codes": {
        "0": "no violations",
        "1": "violations found",
        "2": "invalid configuration, CLI options or internal error"
      },
      "autofix": true,
      "declared_only": true
    },
    {
      "tool": "tsc",
      "method": "static_analysis",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "package.json",
          "locator": "dependencies: typescript"
        }
      ],
      "upstream": "https://github.com/microsoft/TypeScript",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": true
    },
    {
      "tool": "cargo-test",
      "method": "testing",
      "commands": [
        "cargo test --locked"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/ci.yml",
          "locator": "jobs.calculate_matrix.steps[1] (Test citool)"
        }
      ],
      "upstream": "https://github.com/rust-lang/cargo",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "cargo-fuzz",
      "method": "testing",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "src/tools/rust-analyzer/crates/syntax/fuzz/fuzz_targets/parser.rs",
          "locator": "2 file(s)"
        }
      ],
      "upstream": "https://github.com/rust-fuzz/cargo-fuzz",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": true
    },
    {
      "tool": "rustfmt",
      "method": "formatting",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "compiler/rustc_codegen_cranelift/rustfmt.toml",
          "locator": "config file"
        },
        {
          "path": "compiler/rustc_codegen_gcc/.rustfmt.toml",
          "locator": "config file"
        },
        {
          "path": "library/compiler-builtins/.rustfmt.toml",
          "locator": "config file"
        },
        {
          "path": "library/stdarch/crates/core_arch/rustfmt.toml",
          "locator": "config file"
        },
        {
          "path": "library/stdarch/rustfmt.toml",
          "locator": "config file"
        },
        {
          "path": "rustfmt.toml",
          "locator": "config file"
        },
        {
          "path": "src/doc/rustc-dev-guide/rustfmt.toml",
          "locator": "config file"
        },
        {
          "path": "src/tools/clippy/rustfmt.toml",
          "locator": "config file"
        },
        {
          "path": "src/tools/miri/rustfmt.toml",
          "locator": "config file"
        },
        {
          "path": "src/tools/rust-analyzer/rustfmt.toml",
          "locator": "config file"
        },
        {
          "path": "src/tools/rustfmt/rustfmt.toml",
          "locator": "config file"
        },
        {
          "path": "src/tools/rustfmt/tests/config/issue_4660/rustfmt.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/rust-lang/rustfmt",
      "docs": null,
      "exit_codes": {},
      "autofix": true,
      "declared_only": true
    }
  ]
}