diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/analysis/disass/area.c | 25 |
1 files changed, 24 insertions, 1 deletions
diff --git a/src/analysis/disass/area.c b/src/analysis/disass/area.c index a22f65a..84103e0 100644 --- a/src/analysis/disass/area.c +++ b/src/analysis/disass/area.c @@ -331,7 +331,30 @@ static bool mark_range_in_mem_area_as_processed(mem_area *area, GArchInstruction if (result) { - assert(area->instructions[offset] == NULL); + assert(area->instructions[offset] == NULL || force); + +#ifndef NDEBUG + + /** + * Un cas de remplacement forcé intervient en ARM, lorsque qu'une + * instruction utilise une valeur immédiate placée dans le code. + * + * Cette valeur est référencée en tant que symbole. + * + * Mais cette même valeur a pu être désassemblée en tant que code + * exécutable si le flot d'exécution s'est poursuivi jusqu'à elle. + * + * C'est par exemple le cas lors de l'utilisation d'appels système + * en assembleur, qui ne sont pas reconnus en tant qu'instructions + * cassant le flot d'exécution (typiquement : un exit()). + */ + + if (area->instructions[offset] != NULL) + { + range = g_arch_instruction_get_range(area->instructions[offset]); + assert(len == get_mrange_length(range)); + } +#endif area->instructions[offset] = instr; g_atomic_pointer_add(&area->count, 1); |