Function track_raw_ptr_deref 

pub fn track_raw_ptr_deref(ptr_id: usize, location: &str, is_write: bool)

Track raw pointer dereference.

Records a RawPtrDeref event. Use this when dereferencing a raw pointer.

Arguments

• ptr_id - Identifier of the pointer being dereferenced
• location - Source location
• is_write - true if writing through the pointer, false if reading