+static void MC_init_debug_info();
+static void MC_init_debug_info() {
+ XBT_INFO("Get debug information ...");
+
+ memory_map_t maps = MC_get_memory_map();
+
+ /* Get local variables for state equality detection */
+
+ mc_binary_info = MC_find_object_address(maps, xbt_binary_name);
+ MC_dwarf_get_variables(mc_binary_info);
+
+ mc_libsimgrid_info = MC_find_object_address(maps, libsimgrid_path);
+ MC_dwarf_get_variables(mc_libsimgrid_info);
+
+ MC_free_memory_map(maps);
+
+ /* Get .plt section (start and end addresses) for data libsimgrid and data program comparison */
+ start_plt_libsimgrid = mc_libsimgrid_info->start_plt;
+ end_plt_libsimgrid = mc_libsimgrid_info->end_plt;
+ start_plt_binary = mc_binary_info->start_plt;
+ end_plt_binary = mc_binary_info->end_plt;
+ start_got_plt_libsimgrid = mc_libsimgrid_info->start_got_plt;
+ end_got_plt_libsimgrid = mc_libsimgrid_info->end_got_plt;
+ start_got_plt_binary = mc_binary_info->start_got_plt;
+ end_got_plt_binary = mc_binary_info->end_got_plt;
+
+
+ XBT_INFO("Get debug information done !");
+}
+