summaryrefslogtreecommitdiff
path: root/src/analysis/disass
diff options
context:
space:
mode:
authorCyrille Bagard <nocbos@gmail.com>2017-08-05 21:24:52 (GMT)
committerCyrille Bagard <nocbos@gmail.com>2017-08-05 21:24:52 (GMT)
commit121d24042c60fe9f3587c626f0b092c399cdc2a9 (patch)
tree92b8cf209b7d2bbb944b26494bbf87d1c891c52d /src/analysis/disass
parent9aee9648f671ac46dfa4fe3cc71887d1d633b7e4 (diff)
Protected a bit stronger the access to the bitfield of the instructions coverage.
Diffstat (limited to 'src/analysis/disass')
-rw-r--r--src/analysis/disass/area.c24
1 files changed, 24 insertions, 0 deletions
diff --git a/src/analysis/disass/area.c b/src/analysis/disass/area.c
index 9a5387c..b76b5ec 100644
--- a/src/analysis/disass/area.c
+++ b/src/analysis/disass/area.c
@@ -315,8 +315,20 @@ static bool is_range_empty_in_mem_area(mem_area *area, phys_t start, phys_t len)
assert((start + len) <= get_mrange_length(&area->range));
+ /**
+ * Les accès au champ de bits sont atomiques, mais la fonction
+ * mark_range_in_mem_area_as_processed() peut y accéder en deux temps
+ * (réinitialisation, puis définition).
+ *
+ * On protège donc les accès de façon constante.
+ */
+
+ g_mutex_lock(&area->mutex);
+
result = test_none_in_bit_field(area->processed, start, len);
+ g_mutex_unlock(&area->mutex);
+
return result;
}
@@ -342,8 +354,20 @@ static bool is_range_busy_in_mem_area(mem_area *area, phys_t start, phys_t len)
assert((start + len) <= get_mrange_length(&area->range));
+ /**
+ * Les accès au champ de bits sont atomiques, mais la fonction
+ * mark_range_in_mem_area_as_processed() peut y accéder en deux temps
+ * (réinitialisation, puis définition).
+ *
+ * On protège donc les accès de façon constante.
+ */
+
+ g_mutex_lock(&area->mutex);
+
result = test_all_in_bit_field(area->processed, start, len);
+ g_mutex_unlock(&area->mutex);
+
return result;
}