FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[View Raw Code]
[Original HTTPS Page]
codeql/python/ql/src/external/Thrift.qll at codeql-cli/v2.19.2 · github/codeql · GitHub
Uh oh!
There was an error while loading.
Please reload this page
.
github
/
codeql
Public
Notifications
You must be signed in to change notification settings
Fork
2.1k
Star
10k
Code
Issues
997
Pull requests
467
Discussions
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Projects
Security and quality
Insights
Expand file tree
Breadcrumbs
codeql
/
python
/
ql
/
src
/
external
/
Thrift.qll
Copy path
More file actions
More file actions
Latest commit
History
History
History
207 lines (148 loc) · 6.33 KB
Breadcrumbs
codeql
/
python
/
ql
/
src
/
external
/
Thrift.qll
Copy path
File metadata and controls
207 lines (148 loc) · 6.33 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
207
/**
* Provides classes for working with Apache Thrift IDL files.
* This code is under development and may change without warning.
*/
import
external.ExternalArtifact
/** An item in the parse tree of the IDL file */
class
ThriftElement
extends
ExternalData
{
string
kind
;
ThriftElement
(
)
{
this
.
getDataPath
(
)
=
"thrift-"
+
kind
}
string
getKind
(
)
{
result
=
kind
}
string
getId
(
)
{
result
=
this
.
getField
(
0
)
}
int
getIndex
(
)
{
result
=
this
.
getFieldAsInt
(
1
)
}
ThriftElement
getParent
(
)
{
result
.
getId
(
)
=
this
.
getField
(
2
)
}
string
getValue
(
)
{
result
=
this
.
getField
(
3
)
}
ThriftElement
getChild
(
int
n
)
{
result
.
getIndex
(
)
=
n
and
result
.
getParent
(
)
=
this
}
ThriftElement
getAChild
(
)
{
result
=
this
.
getChild
(
_
)
}
override
string
toString
(
)
{
result
=
this
.
getKind
(
)
}
string
getPath
(
)
{
result
=
this
.
getField
(
4
)
}
private
int
line
(
)
{
result
=
this
.
getFieldAsInt
(
5
)
}
private
int
column
(
)
{
result
=
this
.
getFieldAsInt
(
6
)
}
/**
* Holds if this element is at the specified location.
* The location spans column `startcolumn` of line `startline` to
* column `endcolumn` of line `endline` in file `filepath`.
* For more information, see
* [Locations](https://codeql.github.com/docs/writing-codeql-queries/providing-locations-in-codeql-queries/).
*/
predicate
hasLocationInfo
(
string
filepath
,
int
startline
,
int
startcolumn
,
int
endline
,
int
endcolumn
)
{
filepath
=
this
.
getPath
(
)
and
startline
=
this
.
line
(
)
and
startcolumn
=
this
.
column
(
)
and
endline
=
this
.
line
(
)
and
endcolumn
=
this
.
column
(
)
+
this
.
getValue
(
)
.
length
(
)
-
1
or
exists
(
ThriftElement
first
,
ThriftElement
last
|
first
=
this
.
getChild
(
min
(
int
l
|
exists
(
this
.
getChild
(
l
)
)
)
)
and
last
=
this
.
getChild
(
max
(
int
l
|
exists
(
this
.
getChild
(
l
)
)
)
)
and
first
.
hasLocationInfo
(
filepath
,
startline
,
startcolumn
,
_
,
_
)
and
last
.
hasLocationInfo
(
filepath
,
_
,
_
,
endline
,
endcolumn
)
)
}
File
getFile
(
)
{
this
.
hasLocationInfo
(
result
.
getAbsolutePath
(
)
,
_
,
_
,
_
,
_
)
}
}
abstract
class
ThriftNamedElement
extends
ThriftElement
{
abstract
ThriftElement
getNameElement
(
)
;
final
string
getName
(
)
{
result
=
this
.
getNameElement
(
)
.
getValue
(
)
}
override
string
toString
(
)
{
result
=
this
.
getKind
(
)
+
" "
+
this
.
getName
(
)
or
not
exists
(
this
.
getName
(
)
)
and
result
=
this
.
getKind
(
)
+
" ???"
}
override
predicate
hasLocationInfo
(
string
filepath
,
int
startline
,
int
startcolumn
,
int
endline
,
int
endcolumn
)
{
exists
(
ThriftElement
first
|
first
=
this
.
getChild
(
min
(
int
l
|
exists
(
this
.
getChild
(
l
)
)
)
)
and
first
.
hasLocationInfo
(
filepath
,
startline
,
startcolumn
,
_
,
_
)
and
this
.
getNameElement
(
)
.
hasLocationInfo
(
filepath
,
_
,
_
,
endline
,
endcolumn
)
)
}
}
class
ThriftType
extends
ThriftNamedElement
{
ThriftType
(
)
{
kind
.
matches
(
"%type"
)
}
override
ThriftElement
getNameElement
(
)
{
result
=
this
.
getChild
(
0
)
or
result
=
this
.
getChild
(
0
)
.
(
ThriftType
)
.
getNameElement
(
)
}
override
string
toString
(
)
{
result
=
"type "
+
this
.
getName
(
)
}
predicate
references
(
ThriftStruct
struct
)
{
this
.
getName
(
)
=
struct
.
getName
(
)
and
exists
(
string
path
|
this
.
hasLocationInfo
(
path
,
_
,
_
,
_
,
_
)
and
struct
.
hasLocationInfo
(
path
,
_
,
_
,
_
,
_
)
)
}
}
/** A thrift typedef */
class
ThriftTypeDef
extends
ThriftNamedElement
{
ThriftTypeDef
(
)
{
kind
=
"typedef"
}
override
ThriftElement
getNameElement
(
)
{
result
=
this
.
getChild
(
2
)
.
getChild
(
0
)
}
}
/** A thrift enum declaration */
class
ThriftEnum
extends
ThriftNamedElement
{
ThriftEnum
(
)
{
kind
=
"enum"
}
override
ThriftElement
getNameElement
(
)
{
result
=
this
.
getChild
(
0
)
.
getChild
(
0
)
}
}
/** A thrift enum field */
class
ThriftEnumField
extends
ThriftNamedElement
{
ThriftEnumField
(
)
{
kind
=
"enumfield"
}
override
ThriftElement
getNameElement
(
)
{
result
=
this
.
getChild
(
0
)
.
getChild
(
0
)
}
}
/** A thrift service declaration */
class
ThriftService
extends
ThriftNamedElement
{
ThriftService
(
)
{
kind
=
"service"
}
override
ThriftElement
getNameElement
(
)
{
result
=
this
.
getChild
(
0
)
.
getChild
(
0
)
}
ThriftFunction
getAFunction
(
)
{
result
=
this
.
getChild
(
_
)
}
ThriftFunction
getFunction
(
string
name
)
{
result
.
getName
(
)
=
name
and
result
=
this
.
getAFunction
(
)
}
}
/** A thrift function declaration */
class
ThriftFunction
extends
ThriftNamedElement
{
ThriftFunction
(
)
{
kind
=
"function"
}
override
ThriftElement
getNameElement
(
)
{
result
=
this
.
getChild
(
2
)
.
getChild
(
0
)
}
ThriftField
getArgument
(
int
n
)
{
result
=
this
.
getChild
(
n
+
3
)
}
ThriftField
getAnArgument
(
)
{
result
=
this
.
getArgument
(
_
)
}
private
ThriftThrows
getAllThrows
(
)
{
result
=
this
.
getChild
(
_
)
}
ThriftField
getAThrows
(
)
{
result
=
this
.
getAllThrows
(
)
.
getAChild
(
)
}
ThriftType
getReturnType
(
)
{
result
=
this
.
getChild
(
1
)
.
getChild
(
0
)
}
override
predicate
hasLocationInfo
(
string
filepath
,
int
startline
,
int
startcolumn
,
int
endline
,
int
endcolumn
)
{
this
.
getChild
(
1
)
.
hasLocationInfo
(
filepath
,
startline
,
startcolumn
,
_
,
_
)
and
this
.
getChild
(
2
)
.
hasLocationInfo
(
filepath
,
_
,
_
,
endline
,
endcolumn
)
}
ThriftService
getService
(
)
{
result
.
getAFunction
(
)
=
this
}
string
getQualifiedName
(
)
{
result
=
this
.
getService
(
)
.
getName
(
)
+
"."
+
this
.
getName
(
)
}
}
class
ThriftField
extends
ThriftNamedElement
{
ThriftField
(
)
{
kind
=
"field"
}
override
ThriftElement
getNameElement
(
)
{
result
=
this
.
getChild
(
4
)
}
ThriftType
getType
(
)
{
result
=
this
.
getChild
(
2
)
}
}
class
ThriftStruct
extends
ThriftNamedElement
{
ThriftStruct
(
)
{
kind
=
"struct"
}
override
ThriftElement
getNameElement
(
)
{
result
=
this
.
getChild
(
0
)
.
getChild
(
0
)
}
ThriftField
getMember
(
int
n
)
{
result
=
this
.
getChild
(
n
+
1
)
}
ThriftField
getAMember
(
)
{
result
=
this
.
getMember
(
_
)
}
}
class
ThriftException
extends
ThriftNamedElement
{
ThriftException
(
)
{
kind
=
"exception"
}
override
ThriftElement
getNameElement
(
)
{
result
=
this
.
getChild
(
0
)
.
getChild
(
0
)
}
ThriftField
getMember
(
int
n
)
{
result
=
this
.
getChild
(
n
+
1
)
}
ThriftField
getAMember
(
)
{
result
=
this
.
getMember
(
_
)
}
}
class
ThriftThrows
extends
ThriftElement
{
ThriftThrows
(
)
{
kind
=
"throws"
}
ThriftField
getAThrows
(
)
{
result
=
this
.
getChild
(
_
)
}
}
/** A parse tree element that holds a primitive value */
class
ThriftValue
extends
ThriftElement
{
ThriftValue
(
)
{
exists
(
this
.
getValue
(
)
)
}
override
string
toString
(
)
{
result
=
this
.
getKind
(
)
+
" "
+
this
.
getValue
(
)
}
}
Back
|
FazBrowse Home
|
New Git URL