SYS-OSS/FRET-LibAFL
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

more stable raw mem access in signal handlers

Browse Source
This commit is contained in:
Dominik Maier 2021-03-05 21:38:48 +01:00
parent 5392d534a9
commit edd239ce95
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
libafl/src/executors/inprocess.rs
View File

@ -51,8 +51,12 @@ where
) -> Result<(), Error> {
#[cfg(unix)]
unsafe {
unix_signal_handler::GLOBAL_STATE.current_input_ptr =
_input as *const _ as *const c_void;
let data = &mut unix_signal_handler::GLOBAL_STATE;
data.current_input_ptr = _input as *const _ as *const c_void;
// Direct raw pointers access /aliasing is pretty undefined behavior.
// Since the state and event may have moved in memory, refresh them right before the signal may happen
data.state_ptr = _state as *mut _ as *mut c_void;
data.event_mgr_ptr = _event_mgr as *mut _ as *mut c_void;
}
Ok(())
}
@ -123,8 +127,6 @@ where
#[cfg(unix)]
unsafe {
let mut data = &mut unix_signal_handler::GLOBAL_STATE;
data.state_ptr = _state as *mut _ as *mut c_void;
data.event_mgr_ptr = _event_mgr as *mut _ as *mut c_void;
data.observers_ptr = &observers as *const _ as *const c_void;
data.crash_handler = unix_signal_handler::inproc_crash_handler::<EM, I, OC, OFT, OT, S>;
data.timeout_handler =