+static void ignore_coverage_variables(char *executable, int region_type){
+
+ FILE *fp;
+
+ char *command = bprintf("objdump --syms %s", executable);
+
+ fp = popen(command, "r");
+
+ if(fp == NULL){
+ perror("popen failed");
+ xbt_abort();
+ }
+
+ char *line = NULL;
+ ssize_t read;
+ size_t n = 0;
+
+ xbt_dynar_t line_tokens = NULL;
+ unsigned long int size, offset;
+ void *address;
+
+ while ((read = getline(&line, &n, fp)) != -1){
+
+ if(n == 0)
+ continue;
+
+ /* Wipeout the new line character */
+ line[read - 1] = '\0';
+
+ xbt_str_strip_spaces(line);
+ xbt_str_ltrim(line, NULL);
+
+ line_tokens = xbt_str_split(line, NULL);
+
+ if(xbt_dynar_length(line_tokens) < 3 || strcmp(xbt_dynar_get_as(line_tokens, 0, char *), "SYMBOL") == 0)
+ continue;
+
+ if(((strncmp(xbt_dynar_get_as(line_tokens, xbt_dynar_length(line_tokens) - 1, char *), "gcov", 4) == 0)
+ || (strncmp(xbt_dynar_get_as(line_tokens, xbt_dynar_length(line_tokens) - 1, char *), "__gcov", 6) == 0))
+ && (((strcmp(xbt_dynar_get_as(line_tokens, xbt_dynar_length(line_tokens) - 3, char *), ".bss") == 0)
+ || (strcmp(xbt_dynar_get_as(line_tokens, xbt_dynar_length(line_tokens) - 3, char *), ".data") == 0)))){
+ if(region_type == 1){ /* libsimgrid */
+ offset = strtoul(xbt_dynar_get_as(line_tokens, 0, char*), NULL, 16);
+ size = strtoul(xbt_dynar_get_as(line_tokens, xbt_dynar_length(line_tokens) - 2, char *), NULL, 16);
+ //XBT_DEBUG("Add ignore at address %p (size %lu)", (char *)start_text_libsimgrid+offset, size);
+ MC_ignore_data_bss((char *)start_text_libsimgrid+offset, size);
+ }else{ /* binary */
+ address = (void *)strtoul(xbt_dynar_get_as(line_tokens, 0, char*), NULL, 16);
+ size = strtoul(xbt_dynar_get_as(line_tokens, xbt_dynar_length(line_tokens) - 2, char *), NULL, 16);
+ //XBT_DEBUG("Add ignore at address %p (size %lu)", address, size);
+ MC_ignore_data_bss(address, size);
+ }
+ }
+
+ xbt_dynar_free(&line_tokens);
+
+ }
+
+ free(command);
+ free(line);
+ pclose(fp);
+
+}
+