- } else {
- if (!memcmp(basename(maps->regions[i].pathname), basename(xbt_binary_name), strlen(basename(xbt_binary_name)))){
- MC_snapshot_add_region(snapshot, 2, reg.start_addr, (char*)reg.end_addr - (char*)reg.start_addr);
- nb_reg++;
- i++;
+ MC_snapshot_add_region(snapshot, 1, start, size);
+ }else if(!memcmp(maps->regions[i].pathname, "[heap]", 6)){
+ end_raw_heap = reg.end_addr;
+ i++;
+ } else if (!memcmp(basename(maps->regions[i].pathname), basename(xbt_binary_name), strlen(basename(xbt_binary_name)))){
+ size = (char*)reg.end_addr - (char*)reg.start_addr;
+ start = reg.start_addr;
+ nb_reg++;
+ i++;
+ reg = maps->regions[i];
+ if(reg.pathname == NULL && (reg.prot & PROT_WRITE) && reg.start_addr != std_heap && reg.start_addr != raw_heap && i < maps->mapsize){
+ size += (char*)reg.end_addr - (char*)reg.start_addr;