{
  "repository": "flutter/flutter",
  "ref": "3623d2d34543adb1b340510eb5e7bfc0ae1aa1ae",
  "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": "pylint",
      "method": "static_analysis",
      "commands": [],
      "triggers": [],
      "evidence": [
        {
          "path": "engine/src/flutter/.pylintrc",
          "locator": "config file"
        }
      ],
      "upstream": "https://github.com/pylint-dev/pylint",
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": true
    },
    {
      "tool": null,
      "method": "unclassified",
      "commands": [
        "dart --enable-asserts dev/bots/test.dart"
      ],
      "triggers": [
        "ci"
      ],
      "evidence": [
        {
          "path": ".github/workflows/mac-verify-binaries.yml",
          "locator": "jobs.Mac_arm64_verify_binaries.steps[3] (Run verify_binaries_pre_codesigned)"
        },
        {
          "path": ".github/workflows/tool-test-general.yml",
          "locator": "jobs.Linux_tool-tests-general.steps[2] (Tool Test)"
        },
        {
          "path": ".github/workflows/tree-analyze.yml",
          "locator": "jobs.Tree_analyze.steps[4] (Run Analyze)"
        }
      ],
      "upstream": null,
      "docs": null,
      "exit_codes": {},
      "autofix": false,
      "declared_only": false
    }
  ]
}