FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[View Raw Code]
[Original HTTPS Page]
codeql/cpp/ql/lib/semmle/code/cpp/TypedefType.qll at codeql-cli/v2.27.1 · github/codeql · GitHub
github
codeql
Repository navigation
Code
Issues
1k
(1k)
Pull requests
487
(487)
Discussions
Actions
Projects
Security and quality
Insights
Expand file tree
Breadcrumbs
codeql
/
cpp
/
ql
/
lib
/
semmle
/
code
/
cpp
/
TypedefType.qll
Copy path
More file actions
More file actions
Latest commit
History
History
History
206 lines (172 loc) · 5.61 KB
Breadcrumbs
codeql
/
cpp
/
ql
/
lib
/
semmle
/
code
/
cpp
/
TypedefType.qll
Copy path
File metadata and controls
206 lines (172 loc) · 5.61 KB
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
/**
* Provides classes for modeling typedefs and type aliases.
*/
import
semmle.code.cpp.Type
private
import
semmle.code.cpp.internal.ResolveClass
/**
* A C/C++ typedef type. See 4.9.1. For example the types declared on each line of the following code:
* ```
* typedef int my_int;
* using my_int2 = int;
* ```
*/
class
TypedefType
extends
UserType
{
TypedefType
(
)
{
usertypes
(
underlyingElement
(
this
)
,
_
,
18
)
}
/**
* Gets the base type of this typedef type.
*/
Type
getBaseType
(
)
{
typedefbase
(
underlyingElement
(
this
)
,
unresolveElement
(
result
)
)
}
override
Type
getUnderlyingType
(
)
{
result
=
this
.
getBaseType
(
)
.
getUnderlyingType
(
)
}
override
Type
stripTopLevelSpecifiers
(
)
{
result
=
this
.
getBaseType
(
)
.
stripTopLevelSpecifiers
(
)
}
override
int
getSize
(
)
{
result
=
this
.
getBaseType
(
)
.
getSize
(
)
}
override
int
getAlignment
(
)
{
result
=
this
.
getBaseType
(
)
.
getAlignment
(
)
}
override
int
getPointerIndirectionLevel
(
)
{
result
=
this
.
getBaseType
(
)
.
getPointerIndirectionLevel
(
)
}
override
predicate
isDeeplyConst
(
)
{
this
.
getBaseType
(
)
.
isDeeplyConst
(
)
}
// Just an alias
override
predicate
isDeeplyConstBelow
(
)
{
this
.
getBaseType
(
)
.
isDeeplyConstBelow
(
)
}
// Just an alias
override
Specifier
internal_getAnAdditionalSpecifier
(
)
{
result
=
this
.
getBaseType
(
)
.
getASpecifier
(
)
}
override
predicate
involvesReference
(
)
{
this
.
getBaseType
(
)
.
involvesReference
(
)
}
override
Type
resolveTypedefs
(
)
{
result
=
this
.
getBaseType
(
)
.
resolveTypedefs
(
)
}
override
Type
stripType
(
)
{
result
=
this
.
getBaseType
(
)
.
stripType
(
)
}
}
/**
* A traditional C/C++ typedef type. See 4.9.1. For example the type declared in the following code:
* ```
* typedef int my_int;
* ```
*/
class
CTypedefType
extends
TypedefType
{
CTypedefType
(
)
{
usertype_alias_kind
(
underlyingElement
(
this
)
,
0
)
}
override
string
getAPrimaryQlClass
(
)
{
result
=
"CTypedefType"
}
override
string
explain
(
)
{
result
=
"typedef {"
+
this
.
getBaseType
(
)
.
explain
(
)
+
"} as \""
+
this
.
getName
(
)
+
"\""
}
}
/**
* DEPRECATED: Use `TypeAlias` instead.
*
* A C++ type alias or alias template.
*
* For example the type declared in the following code:
* ```
* using my_int2 = int;
* ```
*/
deprecated
class
UsingAliasTypedefType
=
TypeAliasType
;
/**
* A C++ type alias or alias template.
*
* For example the type declared in the following code:
* ```
* using my_int2 = int;
* ```
*/
class
TypeAliasType
extends
TypedefType
{
TypeAliasType
(
)
{
usertype_alias_kind
(
underlyingElement
(
this
)
,
1
)
}
override
string
getAPrimaryQlClass
(
)
{
result
=
"TypeAliasType"
}
override
string
explain
(
)
{
result
=
"using {"
+
this
.
getBaseType
(
)
.
explain
(
)
+
"} as \""
+
this
.
getName
(
)
+
"\""
}
/**
* Holds if this alias is constructed from another alias as a result of
* template instantiation.
*/
predicate
isConstructedFrom
(
TypeAliasType
t
)
{
alias_instantiation
(
underlyingElement
(
this
)
,
unresolveElement
(
t
)
)
}
}
/**
* A C++ alias template.
*
* For example the type declared in the following code:
* ```
* template <typename T>
* using my_type = T;
* ```
*/
class
AliasTemplateType
extends
TypeAliasType
{
AliasTemplateType
(
)
{
is_alias_template
(
underlyingElement
(
this
)
)
}
override
string
getAPrimaryQlClass
(
)
{
result
=
"AliasTemplateType"
}
/**
* Gets an alias instantiated from this template.
*
* For example for `MyAliasTemplate<T>` in the following code, the results are
* `MyAliasTemplate<int>` and `MyAliasTemplate<long>`:
* ```
* template<typename T>
* using MyAliasTemplate = ...;
*
* MyAliasTemplate<int> instance1;
*
* MyAliasTemplate<long> instance2;
* ```
*/
TypeAliasType
getAnInstantiation
(
)
{
result
.
isConstructedFrom
(
this
)
}
/**
* Gets the class member template this template was generated from.
*
* This predicate only has results for templates that are members of class
* template instantiations. For example, for `MyTemplateClass<int>::t<S>`
* in the following code, the result is `MyTemplateClass<T>::t<S>`.
* ```cpp
* template<class T>
* class MyTemplateClass {
* template<class S>
* using t = S;
* };
*
* template
* class MyTemplateClass<int>;
* ```
*/
AliasTemplateType
getOriginalTemplate
(
)
{
alias_template_generated_from
(
underlyingElement
(
this
)
,
unresolveElement
(
result
)
)
}
}
/**
* A C++ alias template instantiation.
*
* For example the `my_int_type` type declared in the following code:
* ```
* template <typename T>
* using my_type = T;
*
* using my_int_type = my_type<int>;
* ```
*/
class
AliasTemplateInstantiationType
extends
TypeAliasType
{
AliasTemplateType
at
;
AliasTemplateInstantiationType
(
)
{
at
.
getAnInstantiation
(
)
=
this
}
override
string
getAPrimaryQlClass
(
)
{
result
=
"AliasTemplateInstantiationType"
}
/**
* Gets the alias template from which this instantiation was instantiated.
*/
AliasTemplateType
getTemplate
(
)
{
result
=
at
}
}
/**
* A C++ `typedef` type that is directly enclosed by a function.
*
* For example the type declared inside the function `foo` in
* the following code:
* ```
* int foo(void) { typedef int local; }
* ```
*/
class
LocalTypedefType
extends
TypedefType
{
LocalTypedefType
(
)
{
this
.
isLocal
(
)
}
override
string
getAPrimaryQlClass
(
)
{
result
=
"LocalTypedefType"
}
}
/**
* A C++ `typedef` type that is directly enclosed by a `class`, `struct` or `union`. For example the type declared inside
* the class `C` in the following code:
* ```
* class C { typedef int nested; };
* ```
*/
class
NestedTypedefType
extends
TypedefType
{
NestedTypedefType
(
)
{
this
.
isMember
(
)
}
override
string
getAPrimaryQlClass
(
)
{
result
=
"NestedTypedefType"
}
}
Back
|
FazBrowse Home
|
New Git URL