WIP: start hooking in obtained info

Author: nia-e

src/alloc_addresses/mod.rs

@@ -476,6 +476,37 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
             this.machine.alloc_addresses.get_mut().exposed.iter().copied().collect();
         this.prepare_for_native_call(exposed)
     }
+
+    /// Similar to `prepare_exposed_for_native_call`, but makes use of information obtained about
+    /// memory accesses during FFI to determine which provenances should be exposed and which
+    /// new allocations were created and possibly exposed.
+    fn apply_events(&mut self, events: crate::shims::trace::MemEvents) -> InterpResult<'tcx> {
+        let this = self.eval_context_mut();
+        //let accesses = events.accesses;
+        let handle = this.machine.alloc_addresses.borrow();
+        for id in &handle.exposed {
+            let &base_addr = handle.base_addr.get(id).unwrap();
+            let info = this.get_alloc_info(*id);
+
+            //let found = vec![];
+            for (acc_base, acc_len, acc_kind) in &events.accesses {
+                // If ranges overlap
+                if *acc_base <= base_addr.strict_add(info.size.bytes())
+                    && base_addr <= acc_base.strict_add(*acc_len)
+                {
+                    if info.mutbl.is_not() && acc_kind.did_write() {
+                        throw_ub_format!(""); // TODO: fill this in lol
+                    }
+                    
+                    if acc_kind.did_write() {
+
+                    }
+                }
+            }
+        }
+
+        interp_ok(())
+    }
 }
 
 impl<'tcx> MiriMachine<'tcx> {