summaryrefslogtreecommitdiff
path: root/src/analysis
diff options
context:
space:
mode:
Diffstat (limited to 'src/analysis')
-rw-r--r--src/analysis/disass/area.c25
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);