-
-// Simplified versions/wrappers (whould be moved in mc_address_space):
-XBT_INTERNAL const void* MC_process_read_simple(mc_process_t process,
- void* local, const void* remote, size_t len);
-XBT_INTERNAL const void* MC_process_read_dynar_element(mc_process_t process,
- void* local, const void* remote_dynar, size_t i, size_t len);
-XBT_INTERNAL unsigned long MC_process_read_dynar_length(mc_process_t process,
- const void* remote_dynar);
-
-/** Write data to a process memory
- *
- * @param process the process
- * @param local local memory address (source)
- * @param remote target process memory address (target)
- * @param len data size
- */
-XBT_INTERNAL void MC_process_write(mc_process_t process,
- const void* local, void* remote, size_t len);
-
-XBT_INTERNAL void MC_process_clear_memory(mc_process_t process,
- void* remote, size_t len);
-
-/* Functions, variables of the process: */
-
-XBT_INTERNAL mc_object_info_t MC_process_find_object_info(mc_process_t process, const void* addr);
-XBT_INTERNAL mc_object_info_t MC_process_find_object_info_exec(mc_process_t process, const void* addr);
-XBT_INTERNAL mc_object_info_t MC_process_find_object_info_rw(mc_process_t process, const void* addr);
-
-XBT_INTERNAL dw_frame_t MC_process_find_function(mc_process_t process, const void* ip);
-
-XBT_INTERNAL void MC_process_read_variable(mc_process_t process, const char* name, void* target, size_t size);
-XBT_INTERNAL char* MC_process_read_string(mc_process_t, void* address);
-
-static inline xbt_mheap_t MC_process_get_heap(mc_process_t process)
-{
- if (!(process->cache_flags & MC_PROCESS_CACHE_FLAG_HEAP))
- MC_process_refresh_heap(process);
- return process->heap;
-}
-
-static inline malloc_info* MC_process_get_malloc_info(mc_process_t process)
-{
- if (!(process->cache_flags & MC_PROCESS_CACHE_FLAG_MALLOC_INFO))
- MC_process_refresh_malloc_info(process);
- return process->heap_info;