RFR: 8371918: aarch64: Incorrect pointer dereference in TemplateInterpreterGenerator::generate_native_entry
Kurt Miller
kurt at openjdk.org
Mon Nov 17 20:35:11 UTC 2025
On Sun, 16 Nov 2025 11:39:10 GMT, Andrew Haley <aph at openjdk.org> wrote:
>> …rGenerator::generate_native_entry
>>
>> I believe there's a incorrect pointer deference in `TemplateInterpreterGenerator::generate_native_entry()` in this part of the code:
>>
>>
>> // get native function entry point in r10
>> {
>> Label L;
>> __ ldr(r10, Address(rmethod, Method::native_function_offset()));
>> ExternalAddress unsatisfied(SharedRuntime::native_method_throw_unsatisfied_link_error_entry());
>> __ lea(rscratch2, unsatisfied);
>> __ ldr(rscratch2, rscratch2);
>> __ cmp(r10, rscratch2);
>> __ br(Assembler::NE, L);
>> __ call_VM(noreg,
>> CAST_FROM_FN_PTR(address,
>> InterpreterRuntime::prepare_native_call),
>> rmethod);
>> __ get_method(rmethod);
>> __ ldr(r10, Address(rmethod, Method::native_function_offset()));
>> __ bind(L);
>> }
>>
>>
>> If I understand this correctly, the entry point for unsatisfied link error is loaded into `rscratch2`. The next instruction, `ldr(rscratch2, rscratch2)`, dereferences that pointer and reads from the text segment the initial instructions at the entry point into `rscratch2`. It then compares the native method entry point in `r10` with the initial instructions loaded into `rscratch2` which will never match. I believe the intent here was to compare the native method entry point with the unsatisfied link error entry point and the `ldr(rscratch2, rscratch2)` instruction should be removed.
>>
>> This was found on OpenBSD/aarch64. OpenBSD has a security feature where the text segments are marked execute only and do not allow reads independent of execution. the` ldr(rscratch2, rscratch2)` instruction causes a segfault because it is reading the text segment. While this bug was found on OpenBSD I believe it applies to all OS on aaarch64.
>>
>> This change removes the errant aarch64 hotspot assembly instruction that was reading from libjvm.so .text segment.
>>
>> Updated comment with markdown for code.
>
> Ah yes, I see.
>
> The mistake was mine: I thought `__ cmpptr(rax, unsatisfied.addr(), rscratch1)` meant
> `__ cmpptr(rax, unsatisfied, rscratch1)`. In other words, I missed the significance of `.addr()`.
@theRealAph Thank you for the review.
-------------
PR Comment: https://git.openjdk.org/jdk/pull/28327#issuecomment-3543720726
More information about the hotspot-dev
mailing list