codeql-coding-standards/rule_packages/cpp/Lifetime.json at c29ca80cee5a590ec0b6d65c9e3df93fe1134c5d · knewbury01/codeql-coding-standards · 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
{
  "MISRA-C++-2023": {
    "RULE-11-6-2": {
      "properties": {
        "enforcement": "undecidable",
        "obligation": "mandatory"
      },
      "queries": [
        {
          "description": "Reading from uninitialized indeterminate values may produce undefined behavior.",
          "kind": "problem",
          "name": "The value of an object must not be read before it has been set",
          "precision": "medium",
          "severity": "error",
          "short_name": "ValueOfAnObjectMustNotBeReadBeforeItHasBeenSet",
          "shared_implementation_short_name": "ReadOfUninitializedMemory",
          "tags": [
            "correctness",
            "security",
            "scope/system"
          ]
        }
      ],
      "title": "The value of an object must not be read before it has been set"
    },
    "RULE-6-8-3": {
      "properties": {
        "enforcement": "decidable",
        "obligation": "required"
      },
      "queries": [
        {
          "description": "An assignment operator shall not assign the address of an object with automatic storage duration to an object with a greater lifetime",
          "kind": "problem",
          "name": "An assignment operator shall not assign the address of an object with automatic storage duration to",
          "precision": "very-high",
          "severity": "error",
          "short_name": "AssignmentOperatorAssignTheAddressOfAnObjectWithAutomaticStorageDurationToAnObjectWithAGreaterLifetime",
          "tags": [
            "scope/single-translation-unit"
          ]
        }
      ],
      "title": "An assignment operator shall not assign the address of an object with automatic storage duration to an object with a greater lifetime"
    }
  }
}