1
0
Fork 0
mirror of https://github.com/denoland/deno.git synced 2024-11-24 15:19:26 -05:00

fix(napi): Read reference ownership before calling finalizer to avoid crash (#24203)

Fixes #23493.

What was happening here was that napi-rs was freeing the napi reference
([here](19e3488efc/crates/napi/src/bindgen_runtime/mod.rs (L62)))
during its finalize callback (which we call
[here](fb31eaa9ca/cli/napi/js_native_api.rs (L132))).
We then were [reading the `ownership`
field](fb31eaa9ca/cli/napi/js_native_api.rs (L136))
of that freed reference.

For some reason on arm macs the freed memory gets zeroed, so the value
of `ownership` was `0` when we read it (i.e. it was
`ReferenceOwnership::Runtime`). We then freed it again (since we thought
we owned it), causing the segfault.
This commit is contained in:
Nathan Whitaker 2024-06-13 15:31:42 -07:00 committed by GitHub
parent 4ec9250c40
commit 368eb9073b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 87 additions and 7 deletions

View file

@ -127,13 +127,16 @@ impl Reference {
let finalize_hint = reference.finalize_hint; let finalize_hint = reference.finalize_hint;
reference.reset(); reference.reset();
// copy this value before the finalize callback, since
// it might free the reference (which would be a UAF)
let ownership = reference.ownership;
if let Some(finalize_cb) = finalize_cb { if let Some(finalize_cb) = finalize_cb {
unsafe { unsafe {
finalize_cb(reference.env as _, finalize_data, finalize_hint); finalize_cb(reference.env as _, finalize_data, finalize_hint);
} }
} }
if reference.ownership == ReferenceOwnership::Runtime { if ownership == ReferenceOwnership::Runtime {
unsafe { drop(Reference::from_raw(reference)) } unsafe { drop(Reference::from_raw(reference)) }
} }
} }
@ -3440,7 +3443,6 @@ fn napi_add_finalizer(
} else { } else {
ReferenceOwnership::Userland ReferenceOwnership::Userland
}; };
let reference = Reference::new( let reference = Reference::new(
env, env,
value.into(), value.into(),

View file

@ -40,3 +40,11 @@ Deno.test("napi external arraybuffer", function () {
assertEquals(new Uint8Array(buf), new Uint8Array([1, 2, 3])); assertEquals(new Uint8Array(buf), new Uint8Array([1, 2, 3]));
buf = null; buf = null;
}); });
Deno.test("napi object wrap userland owned", function () {
let obj = new objectWrap.NapiObjectOwned(1);
assertEquals(obj.get_value(), 1);
obj = null;
// force finalize callback to get called
globalThis.gc();
});

View file

@ -5,6 +5,8 @@ use crate::napi_get_callback_info;
use crate::napi_new_property; use crate::napi_new_property;
use napi_sys::ValueType::napi_number; use napi_sys::ValueType::napi_number;
use napi_sys::*; use napi_sys::*;
use std::cell::RefCell;
use std::collections::HashMap;
use std::os::raw::c_char; use std::os::raw::c_char;
use std::os::raw::c_void; use std::os::raw::c_void;
use std::ptr; use std::ptr;
@ -13,9 +15,36 @@ pub struct NapiObject {
counter: i32, counter: i32,
} }
thread_local! {
// map from native object ptr to napi reference (this is similar to what napi-rs does)
static REFS: RefCell<HashMap<*mut c_void, napi_ref>> = RefCell::new(HashMap::new());
}
pub extern "C" fn finalize_napi_object(
env: napi_env,
finalize_data: *mut c_void,
_finalize_hint: *mut c_void,
) {
let obj = unsafe { Box::from_raw(finalize_data as *mut NapiObject) };
drop(obj);
if let Some(reference) =
REFS.with_borrow_mut(|map| map.remove(&finalize_data))
{
unsafe { napi_delete_reference(env, reference) };
}
}
impl NapiObject { impl NapiObject {
#[allow(clippy::new_ret_no_self)] fn new_inner(
pub extern "C" fn new(env: napi_env, info: napi_callback_info) -> napi_value { env: napi_env,
info: napi_callback_info,
finalizer: napi_finalize,
out_ptr: Option<*mut napi_ref>,
) -> napi_value {
assert!(matches!(
(finalizer, out_ptr),
(None, None) | (Some(_), Some(_))
));
let mut new_target: napi_value = ptr::null_mut(); let mut new_target: napi_value = ptr::null_mut();
assert_napi_ok!(napi_get_new_target(env, info, &mut new_target)); assert_napi_ok!(napi_get_new_target(env, info, &mut new_target));
let is_constructor = !new_target.is_null(); let is_constructor = !new_target.is_null();
@ -33,21 +62,42 @@ impl NapiObject {
assert_napi_ok!(napi_get_value_int32(env, args[0], &mut value)); assert_napi_ok!(napi_get_value_int32(env, args[0], &mut value));
let obj = Box::new(Self { counter: value }); let obj = Box::new(Self { counter: value });
let obj_raw = Box::into_raw(obj) as *mut c_void;
assert_napi_ok!(napi_wrap( assert_napi_ok!(napi_wrap(
env, env,
this, this,
Box::into_raw(obj) as *mut c_void, obj_raw,
None, finalizer,
ptr::null_mut(),
ptr::null_mut(), ptr::null_mut(),
out_ptr.unwrap_or(ptr::null_mut())
)); ));
if let Some(p) = out_ptr {
if finalizer.is_some() {
REFS.with_borrow_mut(|map| map.insert(obj_raw, unsafe { p.read() }));
}
}
return this; return this;
} }
unreachable!(); unreachable!();
} }
#[allow(clippy::new_ret_no_self)]
pub extern "C" fn new(env: napi_env, info: napi_callback_info) -> napi_value {
Self::new_inner(env, info, None, None)
}
#[allow(clippy::new_ret_no_self)]
pub extern "C" fn new_with_finalizer(
env: napi_env,
info: napi_callback_info,
) -> napi_value {
let mut out = ptr::null_mut();
Self::new_inner(env, info, Some(finalize_napi_object), Some(&mut out))
}
pub extern "C" fn set_value( pub extern "C" fn set_value(
env: napi_env, env: napi_env,
info: napi_callback_info, info: napi_callback_info,
@ -148,4 +198,23 @@ pub fn init(env: napi_env, exports: napi_value) {
"NapiObject\0".as_ptr() as *const c_char, "NapiObject\0".as_ptr() as *const c_char,
cons, cons,
)); ));
let mut cons: napi_value = ptr::null_mut();
assert_napi_ok!(napi_define_class(
env,
c"NapiObjectOwned".as_ptr(),
usize::MAX,
Some(NapiObject::new_with_finalizer),
ptr::null_mut(),
properties.len(),
properties.as_ptr(),
&mut cons,
));
assert_napi_ok!(napi_set_named_property(
env,
exports,
"NapiObjectOwned\0".as_ptr() as *const c_char,
cons,
));
} }

View file

@ -69,6 +69,7 @@ fn napi_tests() {
.arg("--allow-env") .arg("--allow-env")
.arg("--allow-ffi") .arg("--allow-ffi")
.arg("--allow-run") .arg("--allow-run")
.arg("--v8-flags=--expose-gc")
.arg("--config") .arg("--config")
.arg(deno_config_path()) .arg(deno_config_path())
.arg("--no-lock") .arg("--no-lock")