{
  "repository": "influxdata/influxdb",
  "ref": "185688a5a813016c0d26ec10abbad2ca770670ed",
  "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": "clippy.toml",
          "locator": "config file"
        },
        {
          "path": "core/clippy.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/rust-lang/rust-clippy",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": true
    },
    {
      "tool": "proptest",
      "method": "testing",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "Cargo.toml",
          "locator": "[workspace.dependencies]: proptest"
        },
        {
          "path": "influxdb3_processing_engine/Cargo.toml",
          "locator": "[dev-dependencies]: proptest"
        },
        {
          "path": "influxdb3_sys_events/Cargo.toml",
          "locator": "[dev-dependencies]: proptest"
        },
        {
          "path": "influxdb3_telemetry/Cargo.toml",
          "locator": "[dev-dependencies]: proptest"
        }
      ],
      "upstream": "https://github.com/proptest-rs/proptest",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    },
    {
      "tool": "cargo-fuzz",
      "method": "testing",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "core/influxdb_line_protocol/fuzz/fuzz_targets/parsing_errors.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": "rustfmt.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/rust-lang/rustfmt",
      "docs": null,
      "exit_codes": {},
      "autofix": true,
      "declared_only": true
    },
    {
      "tool": "cargo-deny",
      "method": "supply_chain",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "core/deny.toml",
          "locator": "config file"
        },
        {
          "path": "deny.toml",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/EmbarkStudios/cargo-deny",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": true
    }
  ]
}