diff options
Diffstat (limited to 'src/analysis')
| -rw-r--r-- | src/analysis/disass/macro.c | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/src/analysis/disass/macro.c b/src/analysis/disass/macro.c index 96a3b25..9527457 100644 --- a/src/analysis/disass/macro.c +++ b/src/analysis/disass/macro.c @@ -40,6 +40,8 @@ /* Bornes d'une zone à couvrir */ typedef struct _code_coverage { + bool initial; /* Couverture racine ? */ + mrange_t range; /* Couverture totale */ vmpa2t start; /* Position butoir de début */ @@ -209,6 +211,8 @@ static code_coverage *create_code_coverage(const mrange_t *range) result = (code_coverage *)calloc(1, sizeof(code_coverage)); + result->initial = true; + copy_mrange(&result->range, range); copy_vmpa(&result->start, get_mrange_addr(range)); @@ -251,6 +255,8 @@ static code_coverage *dup_code_coverage(const code_coverage *src, const vmpa2t * result = (code_coverage *)calloc(1, sizeof(code_coverage)); + result->initial = false; + copy_mrange(&result->range, &src->range); copy_vmpa(&result->start, new); @@ -261,10 +267,15 @@ static code_coverage *dup_code_coverage(const code_coverage *src, const vmpa2t * for (i = 0; i < result->ends_count; i++) copy_vmpa(&result->ends[i], &src->ends[i]); - result->processed = (unsigned long *)calloc(src->allocated, sizeof(unsigned long)); - result->allocated = src->allocated; + /** + * Les blocs produits par le découpage sont à accès global, et ne sont donc pas + * la propriété d'une branche particulière. + * Il ne faut donc pas créer deux blocs identiques à partir de deux chemins + * différents ; aussi on partage la couverture de code plutôt que la copier. + * Et, par ailleurs, c'est plus simple & efficace. + */ - memcpy(result->processed, src->processed, src->allocated * sizeof(unsigned long)); + result->processed = src->processed; return result; @@ -287,7 +298,8 @@ static void delete_code_coverage(code_coverage *coverage) { free(coverage->ends); - free(coverage->processed); + if (coverage->initial) + free(coverage->processed); free(coverage); |