Fix: bytecode validator: oops during validation of immediate string
[lttng-modules.git] / include / lttng / bytecode.h
CommitLineData
80c2a69a
FD
1/* SPDX-License-Identifier: MIT
2 *
3 * lttng/filter-bytecode.h
4 *
5 * LTTng filter bytecode
6 *
7 * Copyright 2012-2016 - Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
8 */
9
10#ifndef _FILTER_BYTECODE_H
11#define _FILTER_BYTECODE_H
12
13/*
14 * offsets are absolute from start of bytecode.
15 */
16
17struct field_ref {
18 /* Initially, symbol offset. After link, field offset. */
19 uint16_t offset;
20} __attribute__((packed));
21
22struct get_symbol {
23 /* Symbol offset. */
24 uint16_t offset;
25} __attribute__((packed));
26
27struct get_index_u16 {
28 uint16_t index;
29} __attribute__((packed));
30
31struct get_index_u64 {
32 uint64_t index;
33} __attribute__((packed));
34
35struct literal_numeric {
36 int64_t v;
37} __attribute__((packed));
38
39struct literal_double {
40 double v;
41} __attribute__((packed));
42
80c2a69a
FD
43enum bytecode_op {
44 BYTECODE_OP_UNKNOWN = 0,
45
46 BYTECODE_OP_RETURN = 1,
47
48 /* binary */
49 BYTECODE_OP_MUL = 2,
50 BYTECODE_OP_DIV = 3,
51 BYTECODE_OP_MOD = 4,
52 BYTECODE_OP_PLUS = 5,
53 BYTECODE_OP_MINUS = 6,
54 BYTECODE_OP_BIT_RSHIFT = 7,
55 BYTECODE_OP_BIT_LSHIFT = 8,
56 BYTECODE_OP_BIT_AND = 9,
57 BYTECODE_OP_BIT_OR = 10,
58 BYTECODE_OP_BIT_XOR = 11,
59
60 /* binary comparators */
61 BYTECODE_OP_EQ = 12,
62 BYTECODE_OP_NE = 13,
63 BYTECODE_OP_GT = 14,
64 BYTECODE_OP_LT = 15,
65 BYTECODE_OP_GE = 16,
66 BYTECODE_OP_LE = 17,
67
68 /* string binary comparator: apply to */
69 BYTECODE_OP_EQ_STRING = 18,
70 BYTECODE_OP_NE_STRING = 19,
71 BYTECODE_OP_GT_STRING = 20,
72 BYTECODE_OP_LT_STRING = 21,
73 BYTECODE_OP_GE_STRING = 22,
74 BYTECODE_OP_LE_STRING = 23,
75
76 /* s64 binary comparator */
77 BYTECODE_OP_EQ_S64 = 24,
78 BYTECODE_OP_NE_S64 = 25,
79 BYTECODE_OP_GT_S64 = 26,
80 BYTECODE_OP_LT_S64 = 27,
81 BYTECODE_OP_GE_S64 = 28,
82 BYTECODE_OP_LE_S64 = 29,
83
84 /* double binary comparator */
85 BYTECODE_OP_EQ_DOUBLE = 30,
86 BYTECODE_OP_NE_DOUBLE = 31,
87 BYTECODE_OP_GT_DOUBLE = 32,
88 BYTECODE_OP_LT_DOUBLE = 33,
89 BYTECODE_OP_GE_DOUBLE = 34,
90 BYTECODE_OP_LE_DOUBLE = 35,
91
92 /* Mixed S64-double binary comparators */
93 BYTECODE_OP_EQ_DOUBLE_S64 = 36,
94 BYTECODE_OP_NE_DOUBLE_S64 = 37,
95 BYTECODE_OP_GT_DOUBLE_S64 = 38,
96 BYTECODE_OP_LT_DOUBLE_S64 = 39,
97 BYTECODE_OP_GE_DOUBLE_S64 = 40,
98 BYTECODE_OP_LE_DOUBLE_S64 = 41,
99
100 BYTECODE_OP_EQ_S64_DOUBLE = 42,
101 BYTECODE_OP_NE_S64_DOUBLE = 43,
102 BYTECODE_OP_GT_S64_DOUBLE = 44,
103 BYTECODE_OP_LT_S64_DOUBLE = 45,
104 BYTECODE_OP_GE_S64_DOUBLE = 46,
105 BYTECODE_OP_LE_S64_DOUBLE = 47,
106
107 /* unary */
108 BYTECODE_OP_UNARY_PLUS = 48,
109 BYTECODE_OP_UNARY_MINUS = 49,
110 BYTECODE_OP_UNARY_NOT = 50,
111 BYTECODE_OP_UNARY_PLUS_S64 = 51,
112 BYTECODE_OP_UNARY_MINUS_S64 = 52,
113 BYTECODE_OP_UNARY_NOT_S64 = 53,
114 BYTECODE_OP_UNARY_PLUS_DOUBLE = 54,
115 BYTECODE_OP_UNARY_MINUS_DOUBLE = 55,
116 BYTECODE_OP_UNARY_NOT_DOUBLE = 56,
117
118 /* logical */
119 BYTECODE_OP_AND = 57,
120 BYTECODE_OP_OR = 58,
121
122 /* load field ref */
123 BYTECODE_OP_LOAD_FIELD_REF = 59,
124 BYTECODE_OP_LOAD_FIELD_REF_STRING = 60,
125 BYTECODE_OP_LOAD_FIELD_REF_SEQUENCE = 61,
126 BYTECODE_OP_LOAD_FIELD_REF_S64 = 62,
127 BYTECODE_OP_LOAD_FIELD_REF_DOUBLE = 63,
128
129 /* load immediate from operand */
130 BYTECODE_OP_LOAD_STRING = 64,
131 BYTECODE_OP_LOAD_S64 = 65,
132 BYTECODE_OP_LOAD_DOUBLE = 66,
133
134 /* cast */
135 BYTECODE_OP_CAST_TO_S64 = 67,
136 BYTECODE_OP_CAST_DOUBLE_TO_S64 = 68,
137 BYTECODE_OP_CAST_NOP = 69,
138
139 /* get context ref */
140 BYTECODE_OP_GET_CONTEXT_REF = 70,
141 BYTECODE_OP_GET_CONTEXT_REF_STRING = 71,
142 BYTECODE_OP_GET_CONTEXT_REF_S64 = 72,
143 BYTECODE_OP_GET_CONTEXT_REF_DOUBLE = 73,
144
145 /* load userspace field ref */
146 BYTECODE_OP_LOAD_FIELD_REF_USER_STRING = 74,
147 BYTECODE_OP_LOAD_FIELD_REF_USER_SEQUENCE = 75,
148
149 /*
150 * load immediate star globbing pattern (literal string)
151 * from immediate
152 */
153 BYTECODE_OP_LOAD_STAR_GLOB_STRING = 76,
154
155 /* globbing pattern binary operator: apply to */
156 BYTECODE_OP_EQ_STAR_GLOB_STRING = 77,
157 BYTECODE_OP_NE_STAR_GLOB_STRING = 78,
158
159 /*
160 * Instructions for recursive traversal through composed types.
161 */
162 BYTECODE_OP_GET_CONTEXT_ROOT = 79,
163 BYTECODE_OP_GET_APP_CONTEXT_ROOT = 80,
164 BYTECODE_OP_GET_PAYLOAD_ROOT = 81,
165
166 BYTECODE_OP_GET_SYMBOL = 82,
167 BYTECODE_OP_GET_SYMBOL_FIELD = 83,
168 BYTECODE_OP_GET_INDEX_U16 = 84,
169 BYTECODE_OP_GET_INDEX_U64 = 85,
170
171 BYTECODE_OP_LOAD_FIELD = 86,
172 BYTECODE_OP_LOAD_FIELD_S8 = 87,
173 BYTECODE_OP_LOAD_FIELD_S16 = 88,
174 BYTECODE_OP_LOAD_FIELD_S32 = 89,
175 BYTECODE_OP_LOAD_FIELD_S64 = 90,
176 BYTECODE_OP_LOAD_FIELD_U8 = 91,
177 BYTECODE_OP_LOAD_FIELD_U16 = 92,
178 BYTECODE_OP_LOAD_FIELD_U32 = 93,
179 BYTECODE_OP_LOAD_FIELD_U64 = 94,
180 BYTECODE_OP_LOAD_FIELD_STRING = 95,
181 BYTECODE_OP_LOAD_FIELD_SEQUENCE = 96,
182 BYTECODE_OP_LOAD_FIELD_DOUBLE = 97,
183
184 BYTECODE_OP_UNARY_BIT_NOT = 98,
185
186 BYTECODE_OP_RETURN_S64 = 99,
187
188 NR_BYTECODE_OPS,
189};
190
191typedef uint8_t bytecode_opcode_t;
192
193struct load_op {
194 bytecode_opcode_t op;
a62977ca 195 char data[];
80c2a69a
FD
196 /* data to load. Size known by enum filter_opcode and null-term char. */
197} __attribute__((packed));
198
199struct binary_op {
200 bytecode_opcode_t op;
201} __attribute__((packed));
202
203struct unary_op {
204 bytecode_opcode_t op;
205} __attribute__((packed));
206
207/* skip_offset is absolute from start of bytecode */
208struct logical_op {
209 bytecode_opcode_t op;
210 uint16_t skip_offset; /* bytecode insn, if skip second test */
211} __attribute__((packed));
212
213struct cast_op {
214 bytecode_opcode_t op;
215} __attribute__((packed));
216
217struct return_op {
218 bytecode_opcode_t op;
219} __attribute__((packed));
220
221#endif /* _FILTER_BYTECODE_H */
This page took 0.043639 seconds and 4 git commands to generate.