MC_UNSET_RAW_MEM;
- /* Get .plt section (start and end addresses) for data libsimgrid comparison */
- get_plt_section();
+ /* Get .plt section (start and end addresses) for data libsimgrid and data program comparison */
+ get_libsimgrid_plt_section();
+ get_binary_plt_section();
unsigned int cursor = 0;
xbt_state_t state;