-
Notifications
You must be signed in to change notification settings - Fork 76
Expand file tree
/
Copy pathNull.json
More file actions
78 lines (78 loc) · 2.3 KB
/
Copy pathNull.json
File metadata and controls
78 lines (78 loc) · 2.3 KB
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
{
"AUTOSAR": {
"A5-3-2": {
"properties": {
"allocated-target": [
"implementation"
],
"enforcement": "partially automated",
"obligation": "required"
},
"queries": [
{
"description": "Dereferencing a NULL pointer leads to undefined behavior.",
"kind": "problem",
"name": "Null pointers shall not be dereferenced",
"precision": "medium",
"severity": "error",
"short_name": "NullPointersDereferenced",
"shared_implementation_short_name": "DereferenceOfNullPointer",
"tags": [
"correctness"
]
}
],
"title": "Null pointers shall not be dereferenced."
},
"A8-4-10": {
"properties": {
"allocated-target": [
"design"
],
"enforcement": "automated",
"obligation": "required"
},
"queries": [
{
"description": "Passing by reference for parameters which cannot be NULL provides a clearer interface.",
"kind": "problem",
"name": "A parameter shall be passed by reference if it can't be NULL",
"precision": "high",
"severity": "recommendation",
"short_name": "ParameterNotPassedByReference",
"tags": [
"maintainability",
"readability"
]
}
],
"title": "A parameter shall be passed by reference if it can't be NULL"
}
},
"CERT-C++": {
"STR51-CPP": {
"properties": {
"obligation": "rule"
},
"queries": [
{
"description": "Creating a std::string from a null pointer leads to undefined behavior.",
"kind": "problem",
"name": "Do not attempt to create a std::string from a null pointer",
"precision": "high",
"severity": "error",
"short_name": "DoNotAttemptToCreateAStringFromANullPointer",
"tags": [
"correctness",
"external/cert/severity/high",
"external/cert/likelihood/likely",
"external/cert/remediation-cost/medium",
"external/cert/priority/p18",
"external/cert/level/l1"
]
}
],
"title": "Do not attempt to create a std::string from a null pointer"
}
}
}