110 bool result = true;
111 if (match) {
112 // Has direct control flow from last instruction, need to match the two
113 // frames.
114 result = frame->is_assignable_to(stackmap_frame,
115 ctx, CHECK_VERIFY_(frame->verifier(), result));
116 }
117 if (update) {
118 // Use the frame in stackmap table as current frame
119 int lsize = stackmap_frame->locals_size();
120 int ssize = stackmap_frame->stack_size();
121 if (frame->locals_size() > lsize || frame->stack_size() > ssize) {
122 // Make sure unused type array items are all _bogus_type.
123 frame->reset();
124 }
125 frame->set_locals_size(lsize);
126 frame->copy_locals(stackmap_frame);
127 frame->set_stack_size(ssize);
128 frame->copy_stack(stackmap_frame);
129 frame->set_flags(stackmap_frame->flags());
130 }
131 return result;
132 }
133
134 void StackMapTable::check_jump_target(
135 StackMapFrame* frame, int32_t target, TRAPS) const {
136 ErrorContext ctx;
137 bool match = match_stackmap(
138 frame, target, true, false, &ctx, CHECK_VERIFY(frame->verifier()));
139 if (!match || (target < 0 || target >= _code_length)) {
140 frame->verifier()->verify_error(ctx,
141 "Inconsistent stackmap frames at branch target %d", target);
142 }
143 }
144
145 void StackMapTable::print_on(outputStream* str) const {
146 str->print_cr("StackMapTable: frame_count = %d", _frame_count);
147 str->print_cr("table = {");
148 {
149 StreamIndentor si(str, 2);
150 for (int32_t i = 0; i < _frame_count; ++i) {
151 _frame_array->at(i)->print_on(str);
152 }
153 }
154 str->print_cr(" }");
155 }
156
157 StackMapReader::StackMapReader(ClassVerifier* v, StackMapStream* stream,
158 char* code_data, int32_t code_len,
159 StackMapFrame* init_frame,
160 u2 max_locals, u2 max_stack, TRAPS) :
161 _verifier(v), _stream(stream), _code_data(code_data),
162 _code_length(code_len), _parsed_frame_count(0),
163 _prev_frame(init_frame), _max_locals(max_locals),
164 _max_stack(max_stack), _first(true) {
165 methodHandle m = v->method();
166 if (m->has_stackmap_table()) {
167 _cp = constantPoolHandle(THREAD, m->constants());
168 _frame_count = _stream->get_u2(CHECK);
169 } else {
170 // There's no stackmap table present. Frame count and size are 0.
171 _frame_count = 0;
172 }
173 }
174
175 int32_t StackMapReader::chop(
176 VerificationType* locals, int32_t length, int32_t chops) {
177 if (locals == nullptr) return -1;
178 int32_t pos = length - 1;
179 for (int32_t i=0; i<chops; i++) {
180 if (locals[pos].is_category2_2nd()) {
181 pos -= 2;
182 } else {
183 pos --;
184 }
186 }
187 return pos+1;
188 }
189
190 #define CHECK_NT CHECK_(VerificationType::bogus_type())
191
192 VerificationType StackMapReader::parse_verification_type(u1* flags, TRAPS) {
193 u1 tag = _stream->get_u1(CHECK_NT);
194 if (tag < (u1)ITEM_UninitializedThis) {
195 return VerificationType::from_tag(tag);
196 }
197 if (tag == ITEM_Object) {
198 u2 class_index = _stream->get_u2(CHECK_NT);
199 int nconstants = _cp->length();
200 if ((class_index <= 0 || class_index >= nconstants) ||
201 (!_cp->tag_at(class_index).is_klass() &&
202 !_cp->tag_at(class_index).is_unresolved_klass())) {
203 _stream->stackmap_format_error("bad class index", THREAD);
204 return VerificationType::bogus_type();
205 }
206 return VerificationType::reference_type(_cp->klass_name_at(class_index));
207 }
208 if (tag == ITEM_UninitializedThis) {
209 if (flags != nullptr) {
210 *flags |= FLAG_THIS_UNINIT;
211 }
212 return VerificationType::uninitialized_this_type();
213 }
214 if (tag == ITEM_Uninitialized) {
215 u2 offset = _stream->get_u2(CHECK_NT);
216 if (offset >= _code_length ||
217 _code_data[offset] != ClassVerifier::NEW_OFFSET) {
218 _verifier->class_format_error(
219 "StackMapTable format error: bad offset for Uninitialized");
220 return VerificationType::bogus_type();
221 }
222 return VerificationType::uninitialized_type(offset);
223 }
224 _stream->stackmap_format_error("bad verification type", THREAD);
225 return VerificationType::bogus_type();
226 }
227
228 StackMapFrame* StackMapReader::next(TRAPS) {
229 _parsed_frame_count++;
230 check_size(CHECK_NULL);
231 StackMapFrame* frame = next_helper(CHECK_VERIFY_(_verifier, nullptr));
232 if (frame != nullptr) {
233 check_offset(frame);
234 if (frame->verifier()->has_error()) {
235 return nullptr;
236 }
237 _prev_frame = frame;
238 }
239 return frame;
240 }
241
242 StackMapFrame* StackMapReader::next_helper(TRAPS) {
243 StackMapFrame* frame;
244 int offset;
245 VerificationType* locals = nullptr;
246 u1 frame_type = _stream->get_u1(CHECK_NULL);
247 if (frame_type <= SAME_FRAME_END) {
248 // same_frame
249 if (_first) {
250 offset = frame_type;
251 // Can't share the locals array since that is updated by the verifier.
252 if (_prev_frame->locals_size() > 0) {
253 locals = NEW_RESOURCE_ARRAY_IN_THREAD(
254 THREAD, VerificationType, _prev_frame->locals_size());
255 }
256 } else {
257 offset = _prev_frame->offset() + frame_type + 1;
258 locals = _prev_frame->locals();
259 }
260 frame = new StackMapFrame(
261 offset, _prev_frame->flags(), _prev_frame->locals_size(), 0,
262 _max_locals, _max_stack, locals, nullptr, _verifier);
263 if (_first && locals != nullptr) {
264 frame->copy_locals(_prev_frame);
265 }
266 _first = false;
267 return frame;
268 }
269 if (frame_type <= SAME_LOCALS_1_STACK_ITEM_FRAME_END) {
270 // same_locals_1_stack_item_frame
271 if (_first) {
272 offset = frame_type - SAME_LOCALS_1_STACK_ITEM_FRAME_START;
273 // Can't share the locals array since that is updated by the verifier.
274 if (_prev_frame->locals_size() > 0) {
275 locals = NEW_RESOURCE_ARRAY_IN_THREAD(
276 THREAD, VerificationType, _prev_frame->locals_size());
277 }
278 } else {
279 offset = _prev_frame->offset() + frame_type - (SAME_LOCALS_1_STACK_ITEM_FRAME_START - 1);
280 locals = _prev_frame->locals();
281 }
282 VerificationType* stack = NEW_RESOURCE_ARRAY_IN_THREAD(
283 THREAD, VerificationType, 2);
284 u2 stack_size = 1;
285 stack[0] = parse_verification_type(nullptr, CHECK_VERIFY_(_verifier, nullptr));
286 if (stack[0].is_category2()) {
287 stack[1] = stack[0].to_category2_2nd();
288 stack_size = 2;
289 }
290 check_verification_type_array_size(
291 stack_size, _max_stack, CHECK_VERIFY_(_verifier, nullptr));
292 frame = new StackMapFrame(
293 offset, _prev_frame->flags(), _prev_frame->locals_size(), stack_size,
294 _max_locals, _max_stack, locals, stack, _verifier);
295 if (_first && locals != nullptr) {
296 frame->copy_locals(_prev_frame);
297 }
298 _first = false;
299 return frame;
300 }
301
302 u2 offset_delta = _stream->get_u2(CHECK_NULL);
303
304 if (frame_type < SAME_LOCALS_1_STACK_ITEM_EXTENDED) {
305 // reserved frame types
306 _stream->stackmap_format_error(
307 "reserved frame type", CHECK_VERIFY_(_verifier, nullptr));
308 }
309
310 if (frame_type == SAME_LOCALS_1_STACK_ITEM_EXTENDED) {
311 // same_locals_1_stack_item_frame_extended
312 if (_first) {
313 offset = offset_delta;
314 // Can't share the locals array since that is updated by the verifier.
315 if (_prev_frame->locals_size() > 0) {
316 locals = NEW_RESOURCE_ARRAY_IN_THREAD(
317 THREAD, VerificationType, _prev_frame->locals_size());
318 }
319 } else {
320 offset = _prev_frame->offset() + offset_delta + 1;
321 locals = _prev_frame->locals();
322 }
323 VerificationType* stack = NEW_RESOURCE_ARRAY_IN_THREAD(
324 THREAD, VerificationType, 2);
325 u2 stack_size = 1;
326 stack[0] = parse_verification_type(nullptr, CHECK_VERIFY_(_verifier, nullptr));
327 if (stack[0].is_category2()) {
328 stack[1] = stack[0].to_category2_2nd();
329 stack_size = 2;
330 }
331 check_verification_type_array_size(
332 stack_size, _max_stack, CHECK_VERIFY_(_verifier, nullptr));
333 frame = new StackMapFrame(
334 offset, _prev_frame->flags(), _prev_frame->locals_size(), stack_size,
335 _max_locals, _max_stack, locals, stack, _verifier);
336 if (_first && locals != nullptr) {
337 frame->copy_locals(_prev_frame);
338 }
339 _first = false;
340 return frame;
341 }
342
343 if (frame_type <= SAME_FRAME_EXTENDED) {
344 // chop_frame or same_frame_extended
345 locals = _prev_frame->locals();
346 int length = _prev_frame->locals_size();
347 int chops = SAME_FRAME_EXTENDED - frame_type;
348 int new_length = length;
349 u1 flags = _prev_frame->flags();
350 assert(chops == 0 || (frame_type >= CHOP_FRAME_START && frame_type <= CHOP_FRAME_END), "should be");
351 if (chops != 0) {
352 new_length = chop(locals, length, chops);
353 check_verification_type_array_size(
354 new_length, _max_locals, CHECK_VERIFY_(_verifier, nullptr));
355 // Recompute flags since uninitializedThis could have been chopped.
358 if (locals[i].is_uninitialized_this()) {
359 flags |= FLAG_THIS_UNINIT;
360 break;
361 }
362 }
363 }
364 if (_first) {
365 offset = offset_delta;
366 // Can't share the locals array since that is updated by the verifier.
367 if (new_length > 0) {
368 locals = NEW_RESOURCE_ARRAY_IN_THREAD(
369 THREAD, VerificationType, new_length);
370 } else {
371 locals = nullptr;
372 }
373 } else {
374 offset = _prev_frame->offset() + offset_delta + 1;
375 }
376 frame = new StackMapFrame(
377 offset, flags, new_length, 0, _max_locals, _max_stack,
378 locals, nullptr, _verifier);
379 if (_first && locals != nullptr) {
380 frame->copy_locals(_prev_frame);
381 }
382 _first = false;
383 return frame;
384 } else if (frame_type <= APPEND_FRAME_END) {
385 // append_frame
386 assert(frame_type >= APPEND_FRAME_START && frame_type <= APPEND_FRAME_END, "should be");
387 int appends = frame_type - APPEND_FRAME_START + 1;
388 int real_length = _prev_frame->locals_size();
389 int new_length = real_length + appends*2;
390 locals = NEW_RESOURCE_ARRAY_IN_THREAD(THREAD, VerificationType, new_length);
391 VerificationType* pre_locals = _prev_frame->locals();
392 for (int i = 0; i < _prev_frame->locals_size(); i++) {
393 locals[i] = pre_locals[i];
394 }
395 u1 flags = _prev_frame->flags();
396 for (int i = 0; i < appends; i++) {
397 locals[real_length] = parse_verification_type(&flags, CHECK_NULL);
398 if (locals[real_length].is_category2()) {
399 locals[real_length + 1] = locals[real_length].to_category2_2nd();
400 ++real_length;
401 }
402 ++real_length;
403 }
404 check_verification_type_array_size(
405 real_length, _max_locals, CHECK_VERIFY_(_verifier, nullptr));
406 if (_first) {
407 offset = offset_delta;
408 } else {
409 offset = _prev_frame->offset() + offset_delta + 1;
410 }
411 frame = new StackMapFrame(
412 offset, flags, real_length, 0, _max_locals,
413 _max_stack, locals, nullptr, _verifier);
414 _first = false;
415 return frame;
416 }
417 if (frame_type == FULL_FRAME) {
418 // full_frame
419 u1 flags = 0;
420 u2 locals_size = _stream->get_u2(CHECK_NULL);
421 int real_locals_size = 0;
422 if (locals_size > 0) {
423 locals = NEW_RESOURCE_ARRAY_IN_THREAD(
424 THREAD, VerificationType, locals_size*2);
425 }
426 for (int i = 0; i < locals_size; i++) {
427 locals[real_locals_size] = parse_verification_type(&flags, CHECK_NULL);
428 if (locals[real_locals_size].is_category2()) {
429 locals[real_locals_size + 1] =
430 locals[real_locals_size].to_category2_2nd();
431 ++real_locals_size;
432 }
433 ++real_locals_size;
441 stack = NEW_RESOURCE_ARRAY_IN_THREAD(
442 THREAD, VerificationType, stack_size*2);
443 }
444 for (int i = 0; i < stack_size; i++) {
445 stack[real_stack_size] = parse_verification_type(nullptr, CHECK_NULL);
446 if (stack[real_stack_size].is_category2()) {
447 stack[real_stack_size + 1] = stack[real_stack_size].to_category2_2nd();
448 ++real_stack_size;
449 }
450 ++real_stack_size;
451 }
452 check_verification_type_array_size(
453 real_stack_size, _max_stack, CHECK_VERIFY_(_verifier, nullptr));
454 if (_first) {
455 offset = offset_delta;
456 } else {
457 offset = _prev_frame->offset() + offset_delta + 1;
458 }
459 frame = new StackMapFrame(
460 offset, flags, real_locals_size, real_stack_size,
461 _max_locals, _max_stack, locals, stack, _verifier);
462 _first = false;
463 return frame;
464 }
465
466 _stream->stackmap_format_error(
467 "reserved frame type", CHECK_VERIFY_(_prev_frame->verifier(), nullptr));
468 return nullptr;
469 }
|
110 bool result = true;
111 if (match) {
112 // Has direct control flow from last instruction, need to match the two
113 // frames.
114 result = frame->is_assignable_to(stackmap_frame,
115 ctx, CHECK_VERIFY_(frame->verifier(), result));
116 }
117 if (update) {
118 // Use the frame in stackmap table as current frame
119 int lsize = stackmap_frame->locals_size();
120 int ssize = stackmap_frame->stack_size();
121 if (frame->locals_size() > lsize || frame->stack_size() > ssize) {
122 // Make sure unused type array items are all _bogus_type.
123 frame->reset();
124 }
125 frame->set_locals_size(lsize);
126 frame->copy_locals(stackmap_frame);
127 frame->set_stack_size(ssize);
128 frame->copy_stack(stackmap_frame);
129 frame->set_flags(stackmap_frame->flags());
130 frame->set_assert_unset_fields(stackmap_frame->assert_unset_fields());
131 }
132 return result;
133 }
134
135 void StackMapTable::check_jump_target(
136 StackMapFrame* frame, int32_t target, TRAPS) const {
137 ErrorContext ctx;
138 bool match = match_stackmap(
139 frame, target, true, false, &ctx, CHECK_VERIFY(frame->verifier()));
140 if (!match || (target < 0 || target >= _code_length)) {
141 frame->verifier()->verify_error(ctx,
142 "Inconsistent stackmap frames at branch target %d", target);
143 }
144 }
145
146 void StackMapTable::print_on(outputStream* str) const {
147 str->print_cr("StackMapTable: frame_count = %d", _frame_count);
148 str->print_cr("table = {");
149 {
150 StreamIndentor si(str, 2);
151 for (int32_t i = 0; i < _frame_count; ++i) {
152 _frame_array->at(i)->print_on(str);
153 }
154 }
155 str->print_cr(" }");
156 }
157
158 StackMapReader::StackMapReader(ClassVerifier* v, StackMapStream* stream,
159 char* code_data, int32_t code_len,
160 StackMapFrame* init_frame,
161 u2 max_locals, u2 max_stack,
162 StackMapFrame::AssertUnsetFieldTable* initial_strict_fields, TRAPS) :
163 _verifier(v), _stream(stream), _code_data(code_data),
164 _code_length(code_len), _parsed_frame_count(0),
165 _prev_frame(init_frame), _max_locals(max_locals),
166 _max_stack(max_stack), _assert_unset_fields_buffer(initial_strict_fields),
167 _first(true) {
168 methodHandle m = v->method();
169 if (m->has_stackmap_table()) {
170 _cp = constantPoolHandle(THREAD, m->constants());
171 _frame_count = _stream->get_u2(CHECK);
172 } else {
173 // There's no stackmap table present. Frame count and size are 0.
174 _frame_count = 0;
175 }
176 }
177
178 int32_t StackMapReader::chop(
179 VerificationType* locals, int32_t length, int32_t chops) {
180 if (locals == nullptr) return -1;
181 int32_t pos = length - 1;
182 for (int32_t i=0; i<chops; i++) {
183 if (locals[pos].is_category2_2nd()) {
184 pos -= 2;
185 } else {
186 pos --;
187 }
189 }
190 return pos+1;
191 }
192
193 #define CHECK_NT CHECK_(VerificationType::bogus_type())
194
195 VerificationType StackMapReader::parse_verification_type(u1* flags, TRAPS) {
196 u1 tag = _stream->get_u1(CHECK_NT);
197 if (tag < (u1)ITEM_UninitializedThis) {
198 return VerificationType::from_tag(tag);
199 }
200 if (tag == ITEM_Object) {
201 u2 class_index = _stream->get_u2(CHECK_NT);
202 int nconstants = _cp->length();
203 if ((class_index <= 0 || class_index >= nconstants) ||
204 (!_cp->tag_at(class_index).is_klass() &&
205 !_cp->tag_at(class_index).is_unresolved_klass())) {
206 _stream->stackmap_format_error("bad class index", THREAD);
207 return VerificationType::bogus_type();
208 }
209 Symbol* klass_name = _cp->klass_name_at(class_index);
210 return VerificationType::reference_type(klass_name);
211 }
212 if (tag == ITEM_UninitializedThis) {
213 if (flags != nullptr) {
214 *flags |= FLAG_THIS_UNINIT;
215 }
216 return VerificationType::uninitialized_this_type();
217 }
218 if (tag == ITEM_Uninitialized) {
219 u2 offset = _stream->get_u2(CHECK_NT);
220 if (offset >= _code_length ||
221 _code_data[offset] != ClassVerifier::NEW_OFFSET) {
222 _verifier->class_format_error(
223 "StackMapTable format error: bad offset for Uninitialized");
224 return VerificationType::bogus_type();
225 }
226 return VerificationType::uninitialized_type(offset);
227 }
228 _stream->stackmap_format_error("bad verification type", THREAD);
229 return VerificationType::bogus_type();
230 }
231
232 StackMapFrame* StackMapReader::next(TRAPS) {
233 _parsed_frame_count++;
234 check_size(CHECK_NULL);
235 StackMapFrame* frame = next_helper(CHECK_VERIFY_(_verifier, nullptr));
236 if (frame != nullptr) {
237 check_offset(frame);
238 if (frame->verifier()->has_error()) {
239 return nullptr;
240 }
241 _prev_frame = frame;
242 }
243 return frame;
244 }
245
246 StackMapFrame* StackMapReader::next_helper(TRAPS) {
247 StackMapFrame* frame;
248 int offset;
249 VerificationType* locals = nullptr;
250 u1 frame_type = _stream->get_u1(CHECK_NULL);
251 if (frame_type == EARLY_LARVAL) {
252 u2 num_unset_fields = _stream->get_u2(CHECK_NULL);
253 StackMapFrame::AssertUnsetFieldTable* new_fields = new StackMapFrame::AssertUnsetFieldTable();
254
255 for (u2 i = 0; i < num_unset_fields; i++) {
256 u2 index = _stream->get_u2(CHECK_NULL);
257
258 if (!_cp->is_within_bounds(index) || !_cp->tag_at(index).is_name_and_type()) {
259 _prev_frame->verifier()->verify_error(
260 ErrorContext::bad_strict_fields(_prev_frame->offset(), _prev_frame),
261 "Invalid constant pool index in early larval frame: %d", index);
262 return nullptr;
263 }
264
265 Symbol* name = _cp->symbol_at(_cp->name_ref_index_at(index));
266 Symbol* sig = _cp->symbol_at(_cp->signature_ref_index_at(index));
267 NameAndSig tmp(name, sig);
268
269 if (!_prev_frame->assert_unset_fields()->contains(tmp)) {
270 log_info(verification)("NameAndType %s%s(CP index: %d) is not found among initial strict instance fields", name->as_C_string(), sig->as_C_string(), index);
271 StackMapFrame::print_strict_fields(_prev_frame->assert_unset_fields());
272 _prev_frame->verifier()->verify_error(
273 ErrorContext::bad_strict_fields(_prev_frame->offset(), _prev_frame),
274 "Strict fields not a subset of initial strict instance fields: %s:%s", name->as_C_string(), sig->as_C_string());
275 return nullptr;
276 } else {
277 new_fields->put(tmp, false);
278 }
279 }
280
281 // Only modify strict instance fields the frame has uninitialized this
282 if (_prev_frame->flag_this_uninit()) {
283 _assert_unset_fields_buffer = _prev_frame->merge_unset_fields(new_fields);
284 } else if (new_fields->number_of_entries() > 0) {
285 _prev_frame->verifier()->verify_error(
286 ErrorContext::bad_strict_fields(_prev_frame->offset(), _prev_frame),
287 "Cannot have uninitialized strict fields after class initialization");
288 return nullptr;
289 }
290
291 // Continue reading frame data
292 if (at_end()) {
293 _prev_frame->verifier()->verify_error(
294 ErrorContext::bad_strict_fields(_prev_frame->offset(), _prev_frame),
295 "Early larval frame must be followed by a base frame");
296 return nullptr;
297 }
298
299 frame_type = _stream->get_u1(CHECK_NULL);
300 if (frame_type == EARLY_LARVAL) {
301 _prev_frame->verifier()->verify_error(
302 ErrorContext::bad_strict_fields(_prev_frame->offset(), _prev_frame),
303 "Early larval frame must be followed by a base frame");
304 return nullptr;
305 }
306 }
307
308 if (frame_type <= SAME_FRAME_END) {
309 // same_frame
310 if (_first) {
311 offset = frame_type;
312 // Can't share the locals array since that is updated by the verifier.
313 if (_prev_frame->locals_size() > 0) {
314 locals = NEW_RESOURCE_ARRAY_IN_THREAD(
315 THREAD, VerificationType, _prev_frame->locals_size());
316 }
317 } else {
318 offset = _prev_frame->offset() + frame_type + 1;
319 locals = _prev_frame->locals();
320 }
321 frame = new StackMapFrame(
322 offset, _prev_frame->flags(), _prev_frame->locals_size(), 0,
323 _max_locals, _max_stack, locals, nullptr,
324 _assert_unset_fields_buffer, _verifier);
325 if (_first && locals != nullptr) {
326 frame->copy_locals(_prev_frame);
327 }
328 _first = false;
329 return frame;
330 }
331 if (frame_type <= SAME_LOCALS_1_STACK_ITEM_FRAME_END) {
332 // same_locals_1_stack_item_frame
333 if (_first) {
334 offset = frame_type - SAME_LOCALS_1_STACK_ITEM_FRAME_START;
335 // Can't share the locals array since that is updated by the verifier.
336 if (_prev_frame->locals_size() > 0) {
337 locals = NEW_RESOURCE_ARRAY_IN_THREAD(
338 THREAD, VerificationType, _prev_frame->locals_size());
339 }
340 } else {
341 offset = _prev_frame->offset() + frame_type - (SAME_LOCALS_1_STACK_ITEM_FRAME_START - 1);
342 locals = _prev_frame->locals();
343 }
344 VerificationType* stack = NEW_RESOURCE_ARRAY_IN_THREAD(
345 THREAD, VerificationType, 2);
346 u2 stack_size = 1;
347 stack[0] = parse_verification_type(nullptr, CHECK_VERIFY_(_verifier, nullptr));
348 if (stack[0].is_category2()) {
349 stack[1] = stack[0].to_category2_2nd();
350 stack_size = 2;
351 }
352 check_verification_type_array_size(
353 stack_size, _max_stack, CHECK_VERIFY_(_verifier, nullptr));
354 frame = new StackMapFrame(
355 offset, _prev_frame->flags(), _prev_frame->locals_size(), stack_size,
356 _max_locals, _max_stack, locals, stack,
357 _assert_unset_fields_buffer, _verifier);
358 if (_first && locals != nullptr) {
359 frame->copy_locals(_prev_frame);
360 }
361 _first = false;
362 return frame;
363 }
364
365 u2 offset_delta = _stream->get_u2(CHECK_NULL);
366
367 if (frame_type < EARLY_LARVAL) {
368 // reserved frame types
369 _stream->stackmap_format_error(
370 "reserved frame type", CHECK_VERIFY_(_verifier, nullptr));
371 }
372
373 if (frame_type == SAME_LOCALS_1_STACK_ITEM_EXTENDED) {
374 // same_locals_1_stack_item_frame_extended
375 if (_first) {
376 offset = offset_delta;
377 // Can't share the locals array since that is updated by the verifier.
378 if (_prev_frame->locals_size() > 0) {
379 locals = NEW_RESOURCE_ARRAY_IN_THREAD(
380 THREAD, VerificationType, _prev_frame->locals_size());
381 }
382 } else {
383 offset = _prev_frame->offset() + offset_delta + 1;
384 locals = _prev_frame->locals();
385 }
386 VerificationType* stack = NEW_RESOURCE_ARRAY_IN_THREAD(
387 THREAD, VerificationType, 2);
388 u2 stack_size = 1;
389 stack[0] = parse_verification_type(nullptr, CHECK_VERIFY_(_verifier, nullptr));
390 if (stack[0].is_category2()) {
391 stack[1] = stack[0].to_category2_2nd();
392 stack_size = 2;
393 }
394 check_verification_type_array_size(
395 stack_size, _max_stack, CHECK_VERIFY_(_verifier, nullptr));
396 frame = new StackMapFrame(
397 offset, _prev_frame->flags(), _prev_frame->locals_size(), stack_size,
398 _max_locals, _max_stack, locals, stack,
399 _assert_unset_fields_buffer, _verifier);
400 if (_first && locals != nullptr) {
401 frame->copy_locals(_prev_frame);
402 }
403 _first = false;
404 return frame;
405 }
406
407 if (frame_type <= SAME_FRAME_EXTENDED) {
408 // chop_frame or same_frame_extended
409 locals = _prev_frame->locals();
410 int length = _prev_frame->locals_size();
411 int chops = SAME_FRAME_EXTENDED - frame_type;
412 int new_length = length;
413 u1 flags = _prev_frame->flags();
414 assert(chops == 0 || (frame_type >= CHOP_FRAME_START && frame_type <= CHOP_FRAME_END), "should be");
415 if (chops != 0) {
416 new_length = chop(locals, length, chops);
417 check_verification_type_array_size(
418 new_length, _max_locals, CHECK_VERIFY_(_verifier, nullptr));
419 // Recompute flags since uninitializedThis could have been chopped.
422 if (locals[i].is_uninitialized_this()) {
423 flags |= FLAG_THIS_UNINIT;
424 break;
425 }
426 }
427 }
428 if (_first) {
429 offset = offset_delta;
430 // Can't share the locals array since that is updated by the verifier.
431 if (new_length > 0) {
432 locals = NEW_RESOURCE_ARRAY_IN_THREAD(
433 THREAD, VerificationType, new_length);
434 } else {
435 locals = nullptr;
436 }
437 } else {
438 offset = _prev_frame->offset() + offset_delta + 1;
439 }
440 frame = new StackMapFrame(
441 offset, flags, new_length, 0, _max_locals, _max_stack,
442 locals, nullptr,
443 _assert_unset_fields_buffer, _verifier);
444 if (_first && locals != nullptr) {
445 frame->copy_locals(_prev_frame);
446 }
447 _first = false;
448 return frame;
449 } else if (frame_type <= APPEND_FRAME_END) {
450 // append_frame
451 assert(frame_type >= APPEND_FRAME_START && frame_type <= APPEND_FRAME_END, "should be");
452 int appends = frame_type - APPEND_FRAME_START + 1;
453 int real_length = _prev_frame->locals_size();
454 int new_length = real_length + appends*2;
455 locals = NEW_RESOURCE_ARRAY_IN_THREAD(THREAD, VerificationType, new_length);
456 VerificationType* pre_locals = _prev_frame->locals();
457 for (int i = 0; i < _prev_frame->locals_size(); i++) {
458 locals[i] = pre_locals[i];
459 }
460 u1 flags = _prev_frame->flags();
461 for (int i = 0; i < appends; i++) {
462 locals[real_length] = parse_verification_type(&flags, CHECK_NULL);
463 if (locals[real_length].is_category2()) {
464 locals[real_length + 1] = locals[real_length].to_category2_2nd();
465 ++real_length;
466 }
467 ++real_length;
468 }
469 check_verification_type_array_size(
470 real_length, _max_locals, CHECK_VERIFY_(_verifier, nullptr));
471 if (_first) {
472 offset = offset_delta;
473 } else {
474 offset = _prev_frame->offset() + offset_delta + 1;
475 }
476 frame = new StackMapFrame(
477 offset, flags, real_length, 0, _max_locals,
478 _max_stack, locals, nullptr,
479 _assert_unset_fields_buffer, _verifier);
480 _first = false;
481 return frame;
482 }
483 if (frame_type == FULL_FRAME) {
484 // full_frame
485 u1 flags = 0;
486 u2 locals_size = _stream->get_u2(CHECK_NULL);
487 int real_locals_size = 0;
488 if (locals_size > 0) {
489 locals = NEW_RESOURCE_ARRAY_IN_THREAD(
490 THREAD, VerificationType, locals_size*2);
491 }
492 for (int i = 0; i < locals_size; i++) {
493 locals[real_locals_size] = parse_verification_type(&flags, CHECK_NULL);
494 if (locals[real_locals_size].is_category2()) {
495 locals[real_locals_size + 1] =
496 locals[real_locals_size].to_category2_2nd();
497 ++real_locals_size;
498 }
499 ++real_locals_size;
507 stack = NEW_RESOURCE_ARRAY_IN_THREAD(
508 THREAD, VerificationType, stack_size*2);
509 }
510 for (int i = 0; i < stack_size; i++) {
511 stack[real_stack_size] = parse_verification_type(nullptr, CHECK_NULL);
512 if (stack[real_stack_size].is_category2()) {
513 stack[real_stack_size + 1] = stack[real_stack_size].to_category2_2nd();
514 ++real_stack_size;
515 }
516 ++real_stack_size;
517 }
518 check_verification_type_array_size(
519 real_stack_size, _max_stack, CHECK_VERIFY_(_verifier, nullptr));
520 if (_first) {
521 offset = offset_delta;
522 } else {
523 offset = _prev_frame->offset() + offset_delta + 1;
524 }
525 frame = new StackMapFrame(
526 offset, flags, real_locals_size, real_stack_size,
527 _max_locals, _max_stack, locals, stack,
528 _assert_unset_fields_buffer, _verifier);
529 _first = false;
530 return frame;
531 }
532
533 _stream->stackmap_format_error(
534 "reserved frame type", CHECK_VERIFY_(_prev_frame->verifier(), nullptr));
535 return nullptr;
536 }
|