Commit | Line | Data |
---|---|---|
44c440bc PP |
1 | /* |
2 | * Copyright 2018 - Philippe Proulx <pproulx@efficios.com> | |
3 | * | |
4 | * Permission is hereby granted, free of charge, to any person obtaining a copy | |
5 | * of this software and associated documentation files (the "Software"), to deal | |
6 | * in the Software without restriction, including without limitation the rights | |
7 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
8 | * copies of the Software, and to permit persons to whom the Software is | |
9 | * furnished to do so, subject to the following conditions: | |
10 | * | |
11 | * The above copyright notice and this permission notice shall be included in | |
12 | * all copies or substantial portions of the Software. | |
13 | */ | |
14 | ||
f7b785ac PP |
15 | #define BT_COMP_LOG_SELF_COMP (log_cfg->self_comp) |
16 | #define BT_LOG_OUTPUT_LEVEL (log_cfg->log_level) | |
350ad6c1 | 17 | #define BT_LOG_TAG "PLUGIN/CTF/META/VALIDATE" |
f7b785ac | 18 | #include "plugins/comp-logging.h" |
44c440bc | 19 | |
3fadfbc0 | 20 | #include <babeltrace2/babeltrace.h> |
91d81473 | 21 | #include "common/macros.h" |
578e048b | 22 | #include "common/assert.h" |
44c440bc PP |
23 | #include <glib.h> |
24 | #include <stdint.h> | |
25 | #include <string.h> | |
26 | #include <inttypes.h> | |
27 | ||
28 | #include "ctf-meta-visitors.h" | |
f7b785ac | 29 | #include "logging.h" |
44c440bc PP |
30 | |
31 | static | |
0746848c | 32 | int validate_stream_class(struct ctf_stream_class *sc, |
f7b785ac | 33 | struct meta_log_config *log_cfg) |
44c440bc PP |
34 | { |
35 | int ret = 0; | |
5cd6d0e5 PP |
36 | struct ctf_field_class_int *int_fc; |
37 | struct ctf_field_class *fc; | |
44c440bc PP |
38 | |
39 | if (sc->is_translated) { | |
40 | goto end; | |
41 | } | |
42 | ||
5cd6d0e5 PP |
43 | fc = ctf_field_class_struct_borrow_member_field_class_by_name( |
44 | (void *) sc->packet_context_fc, "timestamp_begin"); | |
45 | if (fc) { | |
864cad70 PP |
46 | if (fc->type != CTF_FIELD_CLASS_TYPE_INT && |
47 | fc->type != CTF_FIELD_CLASS_TYPE_ENUM) { | |
f7b785ac | 48 | BT_COMP_LOGE_STR("Invalid packet context field class: " |
5cd6d0e5 | 49 | "`timestamp_begin` member is not an integer field class."); |
44c440bc PP |
50 | goto invalid; |
51 | } | |
52 | ||
5cd6d0e5 | 53 | int_fc = (void *) fc; |
44c440bc | 54 | |
5cd6d0e5 | 55 | if (int_fc->is_signed) { |
f7b785ac | 56 | BT_COMP_LOGE_STR("Invalid packet context field class: " |
44c440bc PP |
57 | "`timestamp_begin` member is signed."); |
58 | goto invalid; | |
59 | } | |
60 | } | |
61 | ||
5cd6d0e5 PP |
62 | fc = ctf_field_class_struct_borrow_member_field_class_by_name( |
63 | (void *) sc->packet_context_fc, "timestamp_end"); | |
64 | if (fc) { | |
864cad70 PP |
65 | if (fc->type != CTF_FIELD_CLASS_TYPE_INT && |
66 | fc->type != CTF_FIELD_CLASS_TYPE_ENUM) { | |
f7b785ac | 67 | BT_COMP_LOGE_STR("Invalid packet context field class: " |
5cd6d0e5 | 68 | "`timestamp_end` member is not an integer field class."); |
44c440bc PP |
69 | goto invalid; |
70 | } | |
71 | ||
5cd6d0e5 | 72 | int_fc = (void *) fc; |
44c440bc | 73 | |
5cd6d0e5 | 74 | if (int_fc->is_signed) { |
f7b785ac | 75 | BT_COMP_LOGE_STR("Invalid packet context field class: " |
44c440bc PP |
76 | "`timestamp_end` member is signed."); |
77 | goto invalid; | |
78 | } | |
79 | } | |
80 | ||
5cd6d0e5 PP |
81 | fc = ctf_field_class_struct_borrow_member_field_class_by_name( |
82 | (void *) sc->packet_context_fc, "events_discarded"); | |
83 | if (fc) { | |
864cad70 PP |
84 | if (fc->type != CTF_FIELD_CLASS_TYPE_INT && |
85 | fc->type != CTF_FIELD_CLASS_TYPE_ENUM) { | |
f7b785ac | 86 | BT_COMP_LOGE_STR("Invalid packet context field class: " |
5cd6d0e5 | 87 | "`events_discarded` member is not an integer field class."); |
44c440bc PP |
88 | goto invalid; |
89 | } | |
90 | ||
5cd6d0e5 | 91 | int_fc = (void *) fc; |
44c440bc | 92 | |
5cd6d0e5 | 93 | if (int_fc->is_signed) { |
f7b785ac | 94 | BT_COMP_LOGE_STR("Invalid packet context field class: " |
44c440bc PP |
95 | "`events_discarded` member is signed."); |
96 | goto invalid; | |
97 | } | |
98 | } | |
99 | ||
5cd6d0e5 PP |
100 | fc = ctf_field_class_struct_borrow_member_field_class_by_name( |
101 | (void *) sc->packet_context_fc, "packet_seq_num"); | |
102 | if (fc) { | |
864cad70 PP |
103 | if (fc->type != CTF_FIELD_CLASS_TYPE_INT && |
104 | fc->type != CTF_FIELD_CLASS_TYPE_ENUM) { | |
f7b785ac | 105 | BT_COMP_LOGE_STR("Invalid packet context field class: " |
5cd6d0e5 | 106 | "`packet_seq_num` member is not an integer field class."); |
44c440bc PP |
107 | goto invalid; |
108 | } | |
109 | ||
5cd6d0e5 | 110 | int_fc = (void *) fc; |
44c440bc | 111 | |
5cd6d0e5 | 112 | if (int_fc->is_signed) { |
f7b785ac | 113 | BT_COMP_LOGE_STR("Invalid packet context field class: " |
44c440bc PP |
114 | "`packet_seq_num` member is signed."); |
115 | goto invalid; | |
116 | } | |
117 | } | |
118 | ||
5cd6d0e5 PP |
119 | fc = ctf_field_class_struct_borrow_member_field_class_by_name( |
120 | (void *) sc->packet_context_fc, "packet_size"); | |
121 | if (fc) { | |
864cad70 PP |
122 | if (fc->type != CTF_FIELD_CLASS_TYPE_INT && |
123 | fc->type != CTF_FIELD_CLASS_TYPE_ENUM) { | |
f7b785ac | 124 | BT_COMP_LOGE_STR("Invalid packet context field class: " |
5cd6d0e5 | 125 | "`packet_size` member is not an integer field class."); |
44c440bc PP |
126 | goto invalid; |
127 | } | |
128 | ||
5cd6d0e5 | 129 | int_fc = (void *) fc; |
44c440bc | 130 | |
5cd6d0e5 | 131 | if (int_fc->is_signed) { |
f7b785ac | 132 | BT_COMP_LOGE_STR("Invalid packet context field class: " |
44c440bc PP |
133 | "`packet_size` member is signed."); |
134 | goto invalid; | |
135 | } | |
44c440bc PP |
136 | } |
137 | ||
5cd6d0e5 PP |
138 | fc = ctf_field_class_struct_borrow_member_field_class_by_name( |
139 | (void *) sc->packet_context_fc, "content_size"); | |
140 | if (fc) { | |
864cad70 PP |
141 | if (fc->type != CTF_FIELD_CLASS_TYPE_INT && |
142 | fc->type != CTF_FIELD_CLASS_TYPE_ENUM) { | |
f7b785ac | 143 | BT_COMP_LOGE_STR("Invalid packet context field class: " |
5cd6d0e5 | 144 | "`content_size` member is not an integer field class."); |
44c440bc PP |
145 | goto invalid; |
146 | } | |
147 | ||
5cd6d0e5 | 148 | int_fc = (void *) fc; |
44c440bc | 149 | |
5cd6d0e5 | 150 | if (int_fc->is_signed) { |
f7b785ac | 151 | BT_COMP_LOGE_STR("Invalid packet context field class: " |
44c440bc PP |
152 | "`content_size` member is signed."); |
153 | goto invalid; | |
154 | } | |
44c440bc PP |
155 | } |
156 | ||
5cd6d0e5 PP |
157 | fc = ctf_field_class_struct_borrow_member_field_class_by_name( |
158 | (void *) sc->event_header_fc, "id"); | |
159 | if (fc) { | |
864cad70 PP |
160 | if (fc->type != CTF_FIELD_CLASS_TYPE_INT && |
161 | fc->type != CTF_FIELD_CLASS_TYPE_ENUM) { | |
f7b785ac | 162 | BT_COMP_LOGE_STR("Invalid event header field class: " |
5cd6d0e5 | 163 | "`id` member is not an integer field class."); |
44c440bc PP |
164 | goto invalid; |
165 | } | |
166 | ||
5cd6d0e5 | 167 | int_fc = (void *) fc; |
44c440bc | 168 | |
5cd6d0e5 | 169 | if (int_fc->is_signed) { |
f7b785ac | 170 | BT_COMP_LOGE_STR("Invalid event header field class: " |
44c440bc PP |
171 | "`id` member is signed."); |
172 | goto invalid; | |
173 | } | |
174 | } else { | |
175 | if (sc->event_classes->len > 1) { | |
f7b785ac | 176 | BT_COMP_LOGE_STR("Invalid event header field class: " |
44c440bc PP |
177 | "missing `id` member as there's " |
178 | "more than one event class."); | |
179 | goto invalid; | |
180 | } | |
181 | } | |
182 | ||
183 | goto end; | |
184 | ||
185 | invalid: | |
186 | ret = -1; | |
187 | ||
188 | end: | |
189 | return ret; | |
190 | } | |
191 | ||
192 | BT_HIDDEN | |
0746848c | 193 | int ctf_trace_class_validate(struct ctf_trace_class *ctf_tc, |
f7b785ac | 194 | struct meta_log_config *log_cfg) |
44c440bc PP |
195 | { |
196 | int ret = 0; | |
5cd6d0e5 | 197 | struct ctf_field_class_int *int_fc; |
44c440bc PP |
198 | uint64_t i; |
199 | ||
200 | if (!ctf_tc->is_translated) { | |
5cd6d0e5 PP |
201 | struct ctf_field_class *fc; |
202 | ||
203 | fc = ctf_field_class_struct_borrow_member_field_class_by_name( | |
204 | (void *) ctf_tc->packet_header_fc, "magic"); | |
205 | if (fc) { | |
206 | struct ctf_named_field_class *named_fc = | |
207 | ctf_field_class_struct_borrow_member_by_index( | |
208 | (void *) ctf_tc->packet_header_fc, | |
44c440bc PP |
209 | 0); |
210 | ||
5cd6d0e5 | 211 | if (named_fc->fc != fc) { |
f7b785ac | 212 | BT_COMP_LOGE_STR("Invalid packet header field class: " |
44c440bc PP |
213 | "`magic` member is not the first member."); |
214 | goto invalid; | |
215 | } | |
216 | ||
864cad70 PP |
217 | if (fc->type != CTF_FIELD_CLASS_TYPE_INT && |
218 | fc->type != CTF_FIELD_CLASS_TYPE_ENUM) { | |
f7b785ac | 219 | BT_COMP_LOGE_STR("Invalid packet header field class: " |
5cd6d0e5 | 220 | "`magic` member is not an integer field class."); |
44c440bc PP |
221 | goto invalid; |
222 | } | |
223 | ||
5cd6d0e5 | 224 | int_fc = (void *) fc; |
44c440bc | 225 | |
5cd6d0e5 | 226 | if (int_fc->is_signed) { |
f7b785ac | 227 | BT_COMP_LOGE_STR("Invalid packet header field class: " |
44c440bc PP |
228 | "`magic` member is signed."); |
229 | goto invalid; | |
230 | } | |
231 | ||
5cd6d0e5 | 232 | if (int_fc->base.size != 32) { |
f7b785ac | 233 | BT_COMP_LOGE_STR("Invalid packet header field class: " |
44c440bc PP |
234 | "`magic` member is not 32-bit."); |
235 | goto invalid; | |
236 | } | |
237 | } | |
238 | ||
5cd6d0e5 PP |
239 | fc = ctf_field_class_struct_borrow_member_field_class_by_name( |
240 | (void *) ctf_tc->packet_header_fc, "stream_id"); | |
241 | if (fc) { | |
864cad70 PP |
242 | if (fc->type != CTF_FIELD_CLASS_TYPE_INT && |
243 | fc->type != CTF_FIELD_CLASS_TYPE_ENUM) { | |
f7b785ac | 244 | BT_COMP_LOGE_STR("Invalid packet header field class: " |
5cd6d0e5 | 245 | "`stream_id` member is not an integer field class."); |
44c440bc PP |
246 | goto invalid; |
247 | } | |
248 | ||
5cd6d0e5 | 249 | int_fc = (void *) fc; |
44c440bc | 250 | |
5cd6d0e5 | 251 | if (int_fc->is_signed) { |
f7b785ac | 252 | BT_COMP_LOGE_STR("Invalid packet header field class: " |
44c440bc PP |
253 | "`stream_id` member is signed."); |
254 | goto invalid; | |
255 | } | |
256 | } else { | |
257 | if (ctf_tc->stream_classes->len > 1) { | |
f7b785ac | 258 | BT_COMP_LOGE_STR("Invalid packet header field class: " |
44c440bc PP |
259 | "missing `stream_id` member as there's " |
260 | "more than one stream class."); | |
261 | goto invalid; | |
262 | } | |
263 | } | |
264 | ||
5cd6d0e5 PP |
265 | fc = ctf_field_class_struct_borrow_member_field_class_by_name( |
266 | (void *) ctf_tc->packet_header_fc, | |
44c440bc | 267 | "stream_instance_id"); |
5cd6d0e5 | 268 | if (fc) { |
864cad70 PP |
269 | if (fc->type != CTF_FIELD_CLASS_TYPE_INT && |
270 | fc->type != CTF_FIELD_CLASS_TYPE_ENUM) { | |
f7b785ac | 271 | BT_COMP_LOGE_STR("Invalid packet header field class: " |
5cd6d0e5 | 272 | "`stream_instance_id` member is not an integer field class."); |
44c440bc PP |
273 | goto invalid; |
274 | } | |
275 | ||
5cd6d0e5 | 276 | int_fc = (void *) fc; |
44c440bc | 277 | |
5cd6d0e5 | 278 | if (int_fc->is_signed) { |
f7b785ac | 279 | BT_COMP_LOGE_STR("Invalid packet header field class: " |
44c440bc PP |
280 | "`stream_instance_id` member is signed."); |
281 | goto invalid; | |
282 | } | |
283 | } | |
284 | ||
5cd6d0e5 PP |
285 | fc = ctf_field_class_struct_borrow_member_field_class_by_name( |
286 | (void *) ctf_tc->packet_header_fc, "uuid"); | |
287 | if (fc) { | |
288 | struct ctf_field_class_array *array_fc = (void *) fc; | |
44c440bc | 289 | |
864cad70 | 290 | if (fc->type != CTF_FIELD_CLASS_TYPE_ARRAY) { |
f7b785ac | 291 | BT_COMP_LOGE_STR("Invalid packet header field class: " |
5cd6d0e5 | 292 | "`uuid` member is not an array field class."); |
44c440bc PP |
293 | goto invalid; |
294 | } | |
295 | ||
5cd6d0e5 | 296 | array_fc = (void *) fc; |
44c440bc | 297 | |
5cd6d0e5 | 298 | if (array_fc->length != 16) { |
f7b785ac | 299 | BT_COMP_LOGE_STR("Invalid packet header field class: " |
5cd6d0e5 | 300 | "`uuid` member is not a 16-element array field class."); |
44c440bc PP |
301 | goto invalid; |
302 | } | |
303 | ||
864cad70 | 304 | if (array_fc->base.elem_fc->type != CTF_FIELD_CLASS_TYPE_INT) { |
f7b785ac | 305 | BT_COMP_LOGE_STR("Invalid packet header field class: " |
5cd6d0e5 PP |
306 | "`uuid` member's element field class is not " |
307 | "an integer field class."); | |
44c440bc PP |
308 | goto invalid; |
309 | } | |
310 | ||
5cd6d0e5 | 311 | int_fc = (void *) array_fc->base.elem_fc; |
44c440bc | 312 | |
5cd6d0e5 | 313 | if (int_fc->is_signed) { |
f7b785ac | 314 | BT_COMP_LOGE_STR("Invalid packet header field class: " |
5cd6d0e5 PP |
315 | "`uuid` member's element field class " |
316 | "is a signed integer field class."); | |
44c440bc PP |
317 | goto invalid; |
318 | } | |
319 | ||
5cd6d0e5 | 320 | if (int_fc->base.size != 8) { |
f7b785ac | 321 | BT_COMP_LOGE_STR("Invalid packet header field class: " |
5cd6d0e5 PP |
322 | "`uuid` member's element field class " |
323 | "is not an 8-bit integer field class."); | |
44c440bc PP |
324 | goto invalid; |
325 | } | |
326 | ||
5cd6d0e5 | 327 | if (int_fc->base.base.alignment != 8) { |
f7b785ac | 328 | BT_COMP_LOGE_STR("Invalid packet header field class: " |
5cd6d0e5 | 329 | "`uuid` member's element field class's " |
44c440bc PP |
330 | "alignment is not 8."); |
331 | goto invalid; | |
332 | } | |
333 | } | |
334 | } | |
335 | ||
336 | for (i = 0; i < ctf_tc->stream_classes->len; i++) { | |
337 | struct ctf_stream_class *sc = | |
338 | ctf_tc->stream_classes->pdata[i]; | |
339 | ||
f7b785ac | 340 | ret = validate_stream_class(sc, log_cfg); |
44c440bc | 341 | if (ret) { |
f7b785ac | 342 | BT_COMP_LOGE("Invalid stream class: sc-id=%" PRIu64, sc->id); |
44c440bc PP |
343 | goto invalid; |
344 | } | |
345 | } | |
346 | ||
347 | goto end; | |
348 | ||
349 | invalid: | |
350 | ret = -1; | |
351 | ||
352 | end: | |
353 | return ret; | |
354 | } |