codacy-cli-v2/plugins/tools/pyrefly/test/actual.sarif at 6423a6fe2a20f53593944eeb1d97168290c3f193 · codacy/codacy-cli-v2 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
{
  "$schema": "https://raw.githubusercontent.com/oasis-tcs/sarif-spec/master/Schemata/sarif-schema-2.1.0.json",
  "runs": [
    {
      "results": [
        {
          "level": "error",
          "locations": [
            {
              "physicalLocation": {
                "artifactLocation": {
                  "uri": "src/test_file.py"
                },
                "region": {
                  "startColumn": 24,
                  "startLine": 12
                }
              }
            }
          ],
          "message": {
            "text": "Argument `Literal['one']` is not assignable to parameter `a` with type `int` in function `add_numbers`"
          },
          "ruleId": "bad-argument-type"
        },
        {
          "level": "error",
          "locations": [
            {
              "physicalLocation": {
                "artifactLocation": {
                  "uri": "test_file.py"
                },
                "region": {
                  "startColumn": 25,
                  "startLine": 14
                }
              }
            }
          ],
          "message": {
            "text": "Function declared to return `int` but is missing an explicit `return`"
          },
          "ruleId": "bad-return"
        },
        {
          "level": "error",
          "locations": [
            {
              "physicalLocation": {
                "artifactLocation": {
                  "uri": "src/test_file.py"
                },
                "region": {
                  "startColumn": 12,
                  "startLine": 20
                }
              }
            }
          ],
          "message": {
            "text": "Returned type `Literal[123]` is not assignable to declared return type `str`"
          },
          "ruleId": "bad-return"
        }
      ],
      "tool": {
        "driver": {
          "informationUri": "https://pyrefly.org",
          "name": "Pyrefly",
          "rules": null,
          "version": "0.22.0"
        }
      }
    }
  ],
  "version": "2.1.0"
}