Stored all errors detected when loading and disassembling a binary file.

13 files changed, 923 insertions, 10 deletions

diff --git a/ChangeLog b/ChangeLog
index f33c247..4981236 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,27 @@
+17-08-07  Cyrille Bagard <nocbos@gmail.com>
+
+	* plugins/pychrysa/arch/processor.c:
+	* plugins/pychrysa/format/format.c:
+	Update the Python bindings.
+
+	* src/analysis/disass/output.c:
+	Update code.
+
+	* src/arch/processor-int.h:
+	* src/arch/processor.c:
+	* src/arch/processor.h:
+	* src/format/format-int.h:
+	* src/format/format.c:
+	* src/format/format.h:
+	Store all errors detected when loading and disassembling a binary file.
+
+	* src/format/preload.c:
+	Fix bugs when freeing the memory used by preloaded info.
+
+	* tests/arch/errors.py:
+	* tests/format/errors.py:
+	New entries: extend the test suite.
+
 17-08-06  Cyrille Bagard <nocbos@gmail.com>
 
 	* src/gui/panels/panel-int.h:
diff --git a/plugins/pychrysa/arch/processor.c b/plugins/pychrysa/arch/processor.c
index c3d744b..4470e78 100644
--- a/plugins/pychrysa/arch/processor.c
+++ b/plugins/pychrysa/arch/processor.c
@@ -55,12 +55,18 @@
 
 
 
+/* ------------------ CONSERVATION DES SOUCIS DURANT LE CHARGEMENT ------------------ */
 
 
+/* Etend la liste des soucis détectés avec de nouvelles infos. */
+static PyObject *py_arch_processor_add_error(PyObject *, PyObject *);
+
+/* Fournit les éléments concernant tous les soucis détectés. */
+static PyObject *py_arch_processor_get_errors(PyObject *, void *);
 
 
-/* ------------------ MANIPULATIONS DES INSTRUCTIONS DESASSEMBLEES ------------------ */
 
+/* ------------------ MANIPULATIONS DES INSTRUCTIONS DESASSEMBLEES ------------------ */
 
 
 /* Fournit les instructions désassemblées pour une architecture. */
@@ -74,6 +80,109 @@ static PyObject *py_arch_processor_find_instr_by_addr(PyObject *, PyObject *);
 
 
 
+
+
+/* Définit les constantes pour les types d'erreurs. */
+static bool define_python_arch_processor_constants(PyTypeObject *);
+
+
+
+/* ---------------------------------------------------------------------------------- */
+/*                    CONSERVATION DES SOUCIS DURANT LE CHARGEMENT                    */
+/* ---------------------------------------------------------------------------------- */
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : self = architecture concernée par la procédure.              *
+*                args = instruction représentant le point de départ.          *
+*                                                                             *
+*  Description : Etend la liste des soucis détectés avec de nouvelles infos.  *
+*                                                                             *
+*  Retour      : None.                                                        *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static PyObject *py_arch_processor_add_error(PyObject *self, PyObject *args)
+{
+    ArchProcessingError type;               /* Type d'erreur détectée      */
+    vmpa2t addr;                            /* Position d'une erreur       */
+    char *desc;                             /* Description d'une erreur    */
+    int ret;                                /* Bilan de lecture des args.  */
+    GArchProcessor *proc;                   /* Processeur manipulé         */
+
+    ret = PyArg_ParseTuple(args, "IO&s", &type, convert_any_to_vmpa, &addr, &desc);
+    if (!ret) return NULL;
+
+    proc = G_ARCH_PROCESSOR(pygobject_get(self));
+
+    g_arch_processor_add_error(proc, type, &addr, desc);
+
+    Py_RETURN_NONE;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : self    = objet Python concerné par l'appel.                 *
+*                closure = non utilisé ici.                                   *
+*                                                                             *
+*  Description : Fournit les éléments concernant tous les soucis détectés.    *
+*                                                                             *
+*  Retour      : Liste des erreurs relevées au niveau de l'assembleur.        *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static PyObject *py_arch_processor_get_errors(PyObject *self, void *closure)
+{
+    PyObject *result;                       /* Instance Python à retourner */
+    GArchProcessor *proc;                   /* Architecture visée          */
+    size_t count;                           /* Nombre d'éléments à traiter */
+    size_t i;                               /* Boucle de parcours          */
+#ifndef NDEBUG
+    bool status;                            /* Bilan d'un appel            */
+#endif
+    ArchProcessingError type;               /* Type d'erreur détectée      */
+    vmpa2t addr;                            /* Position d'une erreur       */
+    char *desc;                             /* Description d'une erreur    */
+    PyObject *error;                        /* Nouvelle erreur à rajouter  */
+
+    proc = G_ARCH_PROCESSOR(pygobject_get(self));
+
+    g_arch_processor_lock_errors(proc);
+
+    count = g_arch_processor_count_errors(proc);
+
+    result = PyTuple_New(count);
+
+    for (i = 0; i < count; i++)
+    {
+#ifndef NDEBUG
+        status = g_arch_processor_get_error(proc, i, &type, &addr, &desc);
+        assert(status);
+#else
+        g_arch_processor_get_error(proc, i, &type, &addr, &desc);
+#endif
+
+        error = Py_BuildValue("IO&s", type, build_from_internal_vmpa, &addr, desc);
+
+        PyTuple_SetItem(result, i, error);
+
+    }
+
+    g_arch_processor_unlock_errors(proc);
+
+    return result;
+
+}
+
+
+
 /* ---------------------------------------------------------------------------------- */
 /*                    MANIPULATIONS DES INSTRUCTIONS DESASSEMBLEES                    */
 /* ---------------------------------------------------------------------------------- */
@@ -227,6 +336,36 @@ static PyObject *py_arch_processor_find_instr_by_addr(PyObject *self, PyObject *
 }
 
 
+
+
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : obj_type = type dont le dictionnaire est à compléter.        *
+*                                                                             *
+*  Description : Définit les constantes pour les types d'erreurs.             *
+*                                                                             *
+*  Retour      : true en cas de succès de l'opération, false sinon.           *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static bool define_python_arch_processor_constants(PyTypeObject *obj_type)
+{
+    bool result;                            /* Bilan à retourner           */
+
+    result = true;
+
+    result &= PyDict_AddIntMacro(obj_type, APE_DISASSEMBLY);
+    result &= PyDict_AddIntMacro(obj_type, APE_LABEL);
+
+    return result;
+
+}
+
+
 /******************************************************************************
 *                                                                             *
 *  Paramètres  : -                                                            *
@@ -243,6 +382,11 @@ PyTypeObject *get_python_arch_processor_type(void)
 {
     static PyMethodDef py_arch_processor_methods[] = {
         {
+            "add_error", py_arch_processor_add_error,
+            METH_VARARGS,
+            "add_error($self, type, addr, desc, /)\n--\n\nExtend the list of detected disassembling errors."
+        },
+        {
             "find_instr_by_addr", py_arch_processor_find_instr_by_addr,
             METH_VARARGS,
             "find_instr_by_addr($self, addr, /)\n--\n\nLook for an instruction located at a given address."
@@ -252,6 +396,10 @@ PyTypeObject *get_python_arch_processor_type(void)
 
     static PyGetSetDef py_arch_processor_getseters[] = {
         {
+            "errors", py_arch_processor_get_errors, NULL,
+            "List of all detected errors which occurred during the disassembling process.", NULL
+        },
+        {
             "instrs", py_arch_processor_get_instrs, py_arch_processor_set_instrs,
             "Give access to the disassembled instructions run by the current processor.", NULL
         },
@@ -303,6 +451,9 @@ bool register_python_arch_processor(PyObject *module)
     if (!register_class_for_pygobject(dict, G_TYPE_ARCH_PROCESSOR, py_arch_processor_type, &PyGObject_Type))
         return false;
 
+    if (!define_python_arch_processor_constants(py_arch_processor_type))
+        return false;
+
     return true;
 
 }
diff --git a/plugins/pychrysa/format/format.c b/plugins/pychrysa/format/format.c
index cc9e819..773b928 100644
--- a/plugins/pychrysa/format/format.c
+++ b/plugins/pychrysa/format/format.c
@@ -84,6 +84,25 @@ static PyObject *py_binary_format_get_symbols(PyObject *, void *);
 
 
 
+/* ------------------ CONSERVATION DES SOUCIS DURANT LE CHARGEMENT ------------------ */
+
+
+/* Etend la liste des soucis détectés avec de nouvelles infos. */
+static PyObject *py_binary_format_add_error(PyObject *, PyObject *);
+
+/* Fournit les éléments concernant tous les soucis détectés. */
+static PyObject *py_binary_format_get_errors(PyObject *, void *);
+
+
+
+
+
+
+/* Définit les constantes pour les types d'erreurs. */
+static bool define_python_binary_format_constants(PyTypeObject *);
+
+
+
 /* ---------------------------------------------------------------------------------- */
 /*                          PARCOURS DE SYMBOLES DE BINAIRES                          */
 /* ---------------------------------------------------------------------------------- */
@@ -538,6 +557,132 @@ static PyObject *py_binary_format_get_symbols(PyObject *self, void *closure)
 }
 
 
+
+/* ---------------------------------------------------------------------------------- */
+/*                    CONSERVATION DES SOUCIS DURANT LE CHARGEMENT                    */
+/* ---------------------------------------------------------------------------------- */
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : self = architecture concernée par la procédure.              *
+*                args = instruction représentant le point de départ.          *
+*                                                                             *
+*  Description : Etend la liste des soucis détectés avec de nouvelles infos.  *
+*                                                                             *
+*  Retour      : None.                                                        *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static PyObject *py_binary_format_add_error(PyObject *self, PyObject *args)
+{
+    BinaryFormatError type;                 /* Type d'erreur détectée      */
+    vmpa2t addr;                            /* Position d'une erreur       */
+    char *desc;                             /* Description d'une erreur    */
+    int ret;                                /* Bilan de lecture des args.  */
+    GBinFormat *format;                     /* Format binaire manipulé     */
+
+    ret = PyArg_ParseTuple(args, "IO&s", &type, convert_any_to_vmpa, &addr, &desc);
+    if (!ret) return NULL;
+
+    format = G_BIN_FORMAT(pygobject_get(self));
+
+    g_binary_format_add_error(format, type, &addr, desc);
+
+    Py_RETURN_NONE;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : self    = objet Python concerné par l'appel.                 *
+*                closure = non utilisé ici.                                   *
+*                                                                             *
+*  Description : Fournit les éléments concernant tous les soucis détectés.    *
+*                                                                             *
+*  Retour      : Liste des erreurs relevées au niveau de l'assembleur.        *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static PyObject *py_binary_format_get_errors(PyObject *self, void *closure)
+{
+    PyObject *result;                       /* Instance Python à retourner */
+    GBinFormat *format;                     /* Format binaire manipulé     */
+    size_t count;                           /* Nombre d'éléments à traiter */
+    size_t i;                               /* Boucle de parcours          */
+#ifndef NDEBUG
+    bool status;                            /* Bilan d'un appel            */
+#endif
+    BinaryFormatError type;                 /* Type d'erreur détectée      */
+    vmpa2t addr;                            /* Position d'une erreur       */
+    char *desc;                             /* Description d'une erreur    */
+    PyObject *error;                        /* Nouvelle erreur à rajouter  */
+
+    format = G_BIN_FORMAT(pygobject_get(self));
+
+    g_binary_format_lock_errors(format);
+
+    count = g_binary_format_count_errors(format);
+
+    result = PyTuple_New(count);
+
+    for (i = 0; i < count; i++)
+    {
+#ifndef NDEBUG
+        status = g_binary_format_get_error(format, i, &type, &addr, &desc);
+        assert(status);
+#else
+        g_binary_format_get_error(format, i, &type, &addr, &desc);
+#endif
+
+        error = Py_BuildValue("IO&s", type, build_from_internal_vmpa, &addr, desc);
+
+        PyTuple_SetItem(result, i, error);
+
+    }
+
+    g_binary_format_unlock_errors(format);
+
+    return result;
+
+}
+
+
+
+
+
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : obj_type = type dont le dictionnaire est à compléter.        *
+*                                                                             *
+*  Description : Définit les constantes pour les types d'erreurs.             *
+*                                                                             *
+*  Retour      : true en cas de succès de l'opération, false sinon.           *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static bool define_python_binary_format_constants(PyTypeObject *obj_type)
+{
+    bool result;                            /* Bilan à retourner           */
+
+    result = true;
+
+    result &= PyDict_AddIntMacro(obj_type, BFE_STRUCTURE);
+
+    return result;
+
+}
+
+
 /******************************************************************************
 *                                                                             *
 *  Paramètres  : -                                                            *
@@ -573,6 +718,11 @@ PyTypeObject *get_python_binary_format_type(void)
             METH_VARARGS,
             "resolve_symbol($self, addr, strict, /)\n--\n\nSearch a position inside a routine by a given address."
         },
+        {
+            "add_error", py_binary_format_add_error,
+            METH_VARARGS,
+            "add_error($self, type, addr, desc, /)\n--\n\nExtend the list of detected disassembling errors."
+        },
         { NULL }
     };
 
@@ -585,6 +735,10 @@ PyTypeObject *get_python_binary_format_type(void)
             "symbols", py_binary_format_get_symbols, NULL,
             "Iterable list of all symbols found in the binary format.", NULL
         },
+        {
+            "errors", py_binary_format_get_errors, NULL,
+            "List of all detected errors which occurred while loading the binary.", NULL
+        },
         { NULL }
     };
 
@@ -635,6 +789,9 @@ bool register_python_binary_format(PyObject *module)
     if (!register_class_for_pygobject(dict, G_TYPE_BIN_FORMAT, py_bin_format_type, &PyGObject_Type))
         return false;
 
+    if (!define_python_binary_format_constants(py_bin_format_type))
+        return false;
+
     return true;
 
 }
diff --git a/src/analysis/disass/output.c b/src/analysis/disass/output.c
index 063280c..8e74d1c 100644
--- a/src/analysis/disass/output.c
+++ b/src/analysis/disass/output.c
@@ -83,6 +83,7 @@ void print_disassembled_instructions(GBufferCache *cache, GCodingLanguage *lang,
     GLineGenerator *generator;              /* Générateur de contenu ajouté*/
     const vmpa2t *saddr;                    /* Adresse de symbole          */
     int compared;                           /* Bilan d'une comparaison     */
+    char *errmsg;                           /* Description d'une erreur    */
     SymbolType stype;                       /* Type de symbole trouvé      */
     vmpa2t intro_addr;                      /* Adresse de début de code    */
     vmpa2t outro_addr;                      /* Adresse de fin de code      */
@@ -220,6 +221,13 @@ void print_disassembled_instructions(GBufferCache *cache, GCodingLanguage *lang,
                                      _("Unable to find a proper location for symbol '%s' @ 0x%08x"),
                                      g_binary_symbol_get_label(symbols[sym_index]), get_phy_addr(saddr));
 
+                asprintf(&errmsg, _("Unable to find a proper location for symbol '%s'"),
+                         g_binary_symbol_get_label(symbols[sym_index]));
+
+                g_arch_processor_add_error(proc, APE_LABEL, saddr, errmsg);
+
+                free(errmsg);
+
                 _missing++;
 
                 if (++sym_index == sym_count)
diff --git a/src/arch/processor-int.h b/src/arch/processor-int.h
index 0a95fde..a308bb8 100644
--- a/src/arch/processor-int.h
+++ b/src/arch/processor-int.h
@@ -59,6 +59,16 @@ typedef GArchInstruction * (* disass_instr_fc) (const GArchProcessor *, GProcCon
 
 
 
+/* Description d'une erreur */
+typedef struct _proc_error
+{
+    ArchProcessingError type;               /* Type d'erreur               */
+
+    vmpa2t addr;                            /* Localisation du problème    */
+    char *desc;                             /* Description du soucis       */
+
+} proc_error;
+
 /* Couverture d'un groupe d'instructions */
 struct _instr_coverage
 {
@@ -70,8 +80,6 @@ struct _instr_coverage
 };
 
 
-
-
 /* Définition générique d'un processeur d'architecture (instance) */
 struct _GArchProcessor
 {
@@ -92,6 +100,13 @@ struct _GArchProcessor
     gint locked;                            /* Statut d'accès à la liste   */
 #endif
 
+    proc_error *errors;                     /* Liste d'erreurs rencontrées */
+    size_t error_count;                     /* Taille de cette liste       */
+    GMutex error_mutex;                     /* Verrou pour l'accès         */
+#ifndef NDEBUG
+    gint error_locked;                      /* Statut d'accès à la liste   */
+#endif
+
     instr_coverage *coverages;              /* Liste de couvertures        */
     size_t cov_allocated;                   /* Taille de la liste allouée  */
     size_t cov_count;                       /* Taille de la liste utilisée */
diff --git a/src/arch/processor.c b/src/arch/processor.c
index 38c39e6..21b6c49 100644
--- a/src/arch/processor.c
+++ b/src/arch/processor.c
@@ -27,6 +27,7 @@
 #include <assert.h>
 #include <malloc.h>
 #include <stdlib.h>
+#include <string.h>
 
 
 
@@ -129,10 +130,17 @@ static void g_arch_processor_class_init(GArchProcessorClass *klass)
 
 static void g_arch_processor_init(GArchProcessor *proc)
 {
+    g_mutex_init(&proc->mutex);
 #ifndef DEBUG
     g_atomic_int_set(&proc->locked, 0);
 #endif
-    g_mutex_init(&proc->mutex);
+
+    proc->errors = NULL;
+    proc->error_count = 0;
+    g_mutex_init(&proc->error_mutex);
+#ifndef DEBUG
+    g_atomic_int_set(&proc->error_locked, 0);
+#endif
 
     proc->coverages = NULL;
     proc->cov_allocated = 0;
@@ -157,6 +165,8 @@ static void g_arch_processor_dispose(GArchProcessor *proc)
 {
     g_mutex_clear(&proc->mutex);
 
+    g_mutex_clear(&proc->error_mutex);
+
     G_OBJECT_CLASS(g_arch_processor_parent_class)->dispose(G_OBJECT(proc));
 
 }
@@ -176,6 +186,18 @@ static void g_arch_processor_dispose(GArchProcessor *proc)
 
 static void g_arch_processor_finalize(GArchProcessor *proc)
 {
+    size_t i;                               /* Boucle de parcours          */
+
+    if (proc->errors != NULL)
+    {
+        for (i = 0; i < proc->error_count; i++)
+            if (proc->errors[i].desc != NULL)
+                free(proc->errors[i].desc);
+
+        free(proc->errors);
+
+    }
+
     G_OBJECT_CLASS(g_arch_processor_parent_class)->finalize(G_OBJECT(proc));
 
 }
@@ -498,6 +520,153 @@ GArchInstruction *g_arch_processor_get_instruction(const GArchProcessor *proc, s
 
 
 /* ---------------------------------------------------------------------------------- */
+/*                    CONSERVATION DES SOUCIS DURANT LE CHARGEMENT                    */
+/* ---------------------------------------------------------------------------------- */
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : proc  = architecture à manipuler.                            *
+*                state = nouvel état de l'accès aux erreurs relevées.         *
+*                                                                             *
+*  Description : Protège ou lève la protection de l'accès aux erreurs.        *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+void g_arch_processor_lock_unlock_errors(GArchProcessor *proc, bool state)
+{
+    if (state)
+    {
+        g_mutex_lock(&proc->error_mutex);
+        g_atomic_int_set(&proc->error_locked, 1);
+    }
+    else
+    {
+        g_atomic_int_set(&proc->error_locked, 0);
+        g_mutex_unlock(&proc->error_mutex);
+    }
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : proc  = architecture concernée par la procédure.             *
+*                index = indice du problème visé.                             *
+*                type  = type d'erreur retrouvée.                             *
+*                addr  = localisation associée.                               *
+*                desc  = éventuelle description humaine de description.       *
+*                                                                             *
+*  Description : Etend la liste des soucis détectés avec de nouvelles infos.  *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+void g_arch_processor_add_error(GArchProcessor *proc, ArchProcessingError type, const vmpa2t *addr, const char *desc)
+{
+    proc_error *error;                      /* Raccourci de confort        */
+
+    g_arch_processor_lock_errors(proc);
+
+    proc->errors = realloc(proc->errors, ++proc->error_count * sizeof(proc_error));
+
+    error = &proc->errors[proc->error_count - 1];
+
+    error->type = type;
+
+    copy_vmpa(&error->addr, addr);
+
+    if (desc != NULL)
+        error->desc = strdup(desc);
+    else
+        error->desc = NULL;
+
+    g_arch_processor_unlock_errors(proc);
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : proc = architecture à consulter durant la procédure.         *
+*                                                                             *
+*  Description : Indique le nombre d'erreurs relevées au niveau assembleur.   *
+*                                                                             *
+*  Retour      : Nombre d'erreurs en stock.                                   *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+size_t g_arch_processor_count_errors(GArchProcessor *proc)
+{
+    size_t result;                          /* Quantité à retourner        */
+
+    assert(g_atomic_int_get(&proc->error_locked) == 1);
+
+    result = proc->error_count;
+
+    return result;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : proc  = architecture concernée par la procédure.             *
+*                index = indice du problème visé.                             *
+*                type  = type d'erreur retrouvée. [OUT]                       *
+*                addr  = localisation associée. [OUT]                         *
+*                desc  = éventuelle description humaine de description. [OUT] *
+*                                                                             *
+*  Description : Fournit les éléments concernant un soucis détecté.           *
+*                                                                             *
+*  Retour      : Validité des informations renseignées.                       *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+bool g_arch_processor_get_error(GArchProcessor *proc, size_t index, ArchProcessingError *type, vmpa2t *addr, char **desc)
+{
+    bool result;                            /* Bilan à retourner           */
+    proc_error *error;                      /* Raccourci de confort        */
+
+    assert(g_atomic_int_get(&proc->error_locked) == 1);
+
+    result = (index < proc->error_count);
+
+    assert(result);
+
+    if (result)
+    {
+        error = &proc->errors[index];
+
+        *type = error->type;
+
+        copy_vmpa(addr, &error->addr);
+
+        if (error->desc != NULL)
+            *desc = strdup(error->desc);
+        else
+            *desc = NULL;
+
+    }
+
+    return result;
+
+}
+
+
+
+/* ---------------------------------------------------------------------------------- */
 /*                    MANIPULATIONS DES INSTRUCTIONS DESASSEMBLEES                    */
 /* ---------------------------------------------------------------------------------- */
 
diff --git a/src/arch/processor.h b/src/arch/processor.h
index 2a8a8c1..87c0738 100644
--- a/src/arch/processor.h
+++ b/src/arch/processor.h
@@ -98,6 +98,35 @@ GArchInstruction *g_arch_processor_get_instruction(const GArchProcessor *, size_
 
 
 
+/* ------------------ CONSERVATION DES SOUCIS DURANT LE CHARGEMENT ------------------ */
+
+
+/* Types d'erreurs détectées */
+typedef enum _ArchProcessingError
+{
+    APE_DISASSEMBLY = ((0 << 2) | (1 << 0)),/* Code non reconnu            */
+    APE_LABEL       = ((1 << 2) | (1 << 0)) /* Etiquette non référencée    */
+
+} ArchProcessingError;
+
+
+/* Protège ou lève la protection de l'accès aux erreurs. */
+void g_arch_processor_lock_unlock_errors(GArchProcessor *, bool);
+
+#define g_arch_processor_lock_errors(p) g_arch_processor_lock_unlock_errors(p, true)
+#define g_arch_processor_unlock_errors(p) g_arch_processor_lock_unlock_errors(p, false)
+
+/* Etend la liste des soucis détectés avec de nouvelles infos. */
+void g_arch_processor_add_error(GArchProcessor *, ArchProcessingError, const vmpa2t *, const char *);
+
+/* Indique le nombre d'erreurs relevées au niveau assembleur. */
+size_t g_arch_processor_count_errors(GArchProcessor *);
+
+/* Fournit les éléments concernant un soucis détecté. */
+bool g_arch_processor_get_error(GArchProcessor *, size_t, ArchProcessingError *, vmpa2t *, char **);
+
+
+
 /* ------------------ MANIPULATIONS DES INSTRUCTIONS DESASSEMBLEES ------------------ */
 
 
diff --git a/src/format/format-int.h b/src/format/format-int.h
index d50b053..0ab0e85 100644
--- a/src/format/format-int.h
+++ b/src/format/format-int.h
@@ -47,6 +47,17 @@ typedef void (* format_decompile_fc) (const GBinFormat *, void/*GCodeBuffer*/ *,
 #define EXTRA_POINT_BLOCK 100
 
 
+/* Description d'une erreur */
+typedef struct _fmt_error
+{
+    BinaryFormatError type;                 /* Type d'erreur               */
+
+    vmpa2t addr;                            /* Localisation du problème    */
+    char *desc;                             /* Description du soucis       */
+
+} fmt_error;
+
+
 /* Format binaire générique (instance) */
 struct _GBinFormat
 {
@@ -74,6 +85,13 @@ struct _GBinFormat
     size_t def_source;                      /* Fichier source principal    */
     format_decompile_fc decompile;          /* Décompilation d'un fichier  */
 
+    fmt_error *errors;                      /* Liste d'erreurs rencontrées */
+    size_t error_count;                     /* Taille de cette liste       */
+    GMutex error_mutex;                     /* Verrou pour l'accès         */
+#ifndef NDEBUG
+    gint error_locked;                      /* Statut d'accès à la liste   */
+#endif
+
 };
 
 /* Format binaire générique (classe) */
diff --git a/src/format/format.c b/src/format/format.c
index 5d845e4..293e5da 100644
--- a/src/format/format.c
+++ b/src/format/format.c
@@ -50,6 +50,12 @@ static void g_binary_format_class_init(GBinFormatClass *);
 /* Initialise une instance de format binaire générique. */
 static void g_binary_format_init(GBinFormat *);
 
+/* Supprime toutes les références externes. */
+static void g_binary_format_dispose(GBinFormat *);
+
+/* Procède à la libération totale de la mémoire. */
+static void g_binary_format_finalize(GBinFormat *);
+
 /* Retire un symbole de la collection du format binaire. */
 static void _g_binary_format_remove_symbol(GBinFormat *, size_t);
 
@@ -79,6 +85,12 @@ G_DEFINE_TYPE(GBinFormat, g_binary_format, G_TYPE_OBJECT);
 
 static void g_binary_format_class_init(GBinFormatClass *klass)
 {
+    GObjectClass *object;                   /* Autre version de la classe  */
+
+    object = G_OBJECT_CLASS(klass);
+
+    object->dispose = (GObjectFinalizeFunc/* ! */)g_binary_format_dispose;
+    object->finalize = (GObjectFinalizeFunc)g_binary_format_finalize;
 
 }
 
@@ -103,14 +115,70 @@ static void g_binary_format_init(GBinFormat *format)
 
     g_rw_lock_init(&format->syms_lock);
 
+    format->errors = NULL;
+    format->error_count = 0;
+    g_mutex_init(&format->error_mutex);
+#ifndef DEBUG
+    g_atomic_int_set(&format->error_locked, 0);
+#endif
+
 }
 
 
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : format = instance d'objet GLib à traiter.                    *
+*                                                                             *
+*  Description : Supprime toutes les références externes.                     *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_binary_format_dispose(GBinFormat *format)
+{
+    g_object_unref(format->info);
+
+    g_rw_lock_clear(&format->syms_lock);
 
-/* FIXME : g_object_unref(format->info); */
+    g_mutex_clear(&format->error_mutex);
 
-/* FIXME : g_rw_lock_clear(&format->syms_lock);*/
+    G_OBJECT_CLASS(g_binary_format_parent_class)->dispose(G_OBJECT(format));
 
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : format = instance d'objet GLib à traiter.                    *
+*                                                                             *
+*  Description : Procède à la libération totale de la mémoire.                *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_binary_format_finalize(GBinFormat *format)
+{
+    size_t i;                               /* Boucle de parcours          */
+
+    if (format->errors != NULL)
+    {
+        for (i = 0; i < format->error_count; i++)
+            if (format->errors[i].desc != NULL)
+                free(format->errors[i].desc);
+
+        free(format->errors);
+
+    }
+
+    G_OBJECT_CLASS(g_binary_format_parent_class)->finalize(G_OBJECT(format));
+
+}
 
 
 /******************************************************************************
@@ -964,3 +1032,150 @@ void g_binary_format_decompile(const GBinFormat *format, GCodeBuffer *buffer, co
 
 }
 #endif
+
+
+
+/* ---------------------------------------------------------------------------------- */
+/*                    CONSERVATION DES SOUCIS DURANT LE CHARGEMENT                    */
+/* ---------------------------------------------------------------------------------- */
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : format = architecture à manipuler.                           *
+*                state  = nouvel état de l'accès aux erreurs relevées.        *
+*                                                                             *
+*  Description : Protège ou lève la protection de l'accès aux erreurs.        *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+void g_binary_format_lock_unlock_errors(GBinFormat *format, bool state)
+{
+    if (state)
+    {
+        g_mutex_lock(&format->error_mutex);
+        g_atomic_int_set(&format->error_locked, 1);
+    }
+    else
+    {
+        g_atomic_int_set(&format->error_locked, 0);
+        g_mutex_unlock(&format->error_mutex);
+    }
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : format = architecture concernée par la procédure.            *
+*                index  = indice du problème visé.                            *
+*                type   = type d'erreur retrouvée.                            *
+*                addr   = localisation associée.                              *
+*                desc   = éventuelle description humaine de description.      *
+*                                                                             *
+*  Description : Etend la liste des soucis détectés avec de nouvelles infos.  *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+void g_binary_format_add_error(GBinFormat *format, BinaryFormatError type, const vmpa2t *addr, const char *desc)
+{
+    fmt_error *error;                       /* Raccourci de confort        */
+
+    g_binary_format_lock_errors(format);
+
+    format->errors = realloc(format->errors, ++format->error_count * sizeof(fmt_error));
+
+    error = &format->errors[format->error_count - 1];
+
+    error->type = type;
+
+    copy_vmpa(&error->addr, addr);
+
+    if (desc != NULL)
+        error->desc = strdup(desc);
+    else
+        error->desc = NULL;
+
+    g_binary_format_unlock_errors(format);
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : format = architecture à consulter durant la procédure.       *
+*                                                                             *
+*  Description : Indique le nombre d'erreurs relevées au niveau assembleur.   *
+*                                                                             *
+*  Retour      : Nombre d'erreurs en stock.                                   *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+size_t g_binary_format_count_errors(GBinFormat *format)
+{
+    size_t result;                          /* Quantité à retourner        */
+
+    assert(g_atomic_int_get(&format->error_locked) == 1);
+
+    result = format->error_count;
+
+    return result;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : format = architecture concernée par la procédure.            *
+*                index  = indice du problème visé.                            *
+*                type   = type d'erreur retrouvée. [OUT]                      *
+*                addr   = localisation associée. [OUT]                        *
+*                desc   = éventuelle description humaine de description. [OUT]*
+*                                                                             *
+*  Description : Fournit les éléments concernant un soucis détecté.           *
+*                                                                             *
+*  Retour      : Validité des informations renseignées.                       *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+bool g_binary_format_get_error(GBinFormat *format, size_t index, BinaryFormatError *type, vmpa2t *addr, char **desc)
+{
+    bool result;                            /* Bilan à retourner           */
+    fmt_error *error;                       /* Raccourci de confort        */
+
+    assert(g_atomic_int_get(&format->error_locked) == 1);
+
+    result = (index < format->error_count);
+
+    assert(result);
+
+    if (result)
+    {
+        error = &format->errors[index];
+
+        *type = error->type;
+
+        copy_vmpa(addr, &error->addr);
+
+        if (error->desc != NULL)
+            *desc = strdup(error->desc);
+        else
+            *desc = NULL;
+
+    }
+
+    return result;
+
+}
diff --git a/src/format/format.h b/src/format/format.h
index ec78236..3c1bbea 100644
--- a/src/format/format.h
+++ b/src/format/format.h
@@ -105,4 +105,32 @@ const char * const *g_binary_format_get_source_files(const GBinFormat *, size_t
 
 
 
+/* ------------------ CONSERVATION DES SOUCIS DURANT LE CHARGEMENT ------------------ */
+
+
+/* Types d'erreurs détectées */
+typedef enum _BinaryFormatError
+{
+    BFE_STRUCTURE = ((0 << 2) | (0 << 0))   /* Code non reconnu            */
+
+} BinaryFormatError;
+
+
+/* Protège ou lève la protection de l'accès aux erreurs. */
+void g_binary_format_lock_unlock_errors(GBinFormat *, bool);
+
+#define g_binary_format_lock_errors(p) g_binary_format_lock_unlock_errors(p, true)
+#define g_binary_format_unlock_errors(p) g_binary_format_lock_unlock_errors(p, false)
+
+/* Etend la liste des soucis détectés avec de nouvelles infos. */
+void g_binary_format_add_error(GBinFormat *, BinaryFormatError, const vmpa2t *, const char *);
+
+/* Indique le nombre d'erreurs relevées au niveau assembleur. */
+size_t g_binary_format_count_errors(GBinFormat *);
+
+/* Fournit les éléments concernant un soucis détecté. */
+bool g_binary_format_get_error(GBinFormat *, size_t, BinaryFormatError *, vmpa2t *, char **);
+
+
+
 #endif  /* _FORMAT_FORMAT_H */
diff --git a/src/format/preload.c b/src/format/preload.c
index 7f7a435..cddc60e 100644
--- a/src/format/preload.c
+++ b/src/format/preload.c
@@ -105,14 +105,18 @@ static void g_preload_info_init(GPreloadInfo *info)
 
 static void g_preload_info_dispose(GPreloadInfo *info)
 {
+    size_t count;                           /* Borne de parcours           */
+    size_t i;                               /* Boucle de parcours          */
     GArchInstruction *instr;                /* Instruction à libérer       */
     GDbComment *comment;                    /* Commentaire à libérer       */
 
     g_preload_info_lock_instructions(info);
 
-    while (_g_preload_info_count_instructions(info) > 0)
+    count = _g_preload_info_count_instructions(info);
+
+    for (i = 0; i < count; i++)
     {
-        instr = _g_preload_info_grab_instruction(info, 0);
+        instr = _g_preload_info_grab_instruction(info, i);
         g_object_unref(G_OBJECT(instr));
     }
 
@@ -122,9 +126,11 @@ static void g_preload_info_dispose(GPreloadInfo *info)
 
     g_preload_info_lock_comments(info);
 
-    while (_g_preload_info_count_comments(info) > 0)
+    count = _g_preload_info_count_comments(info);
+
+    for (i = 0; i < count; i++)
     {
-        comment = _g_preload_info_grab_comment(info, 0);
+        comment = _g_preload_info_grab_comment(info, i);
         g_object_unref(G_OBJECT(comment));
     }
 
diff --git a/tests/arch/errors.py b/tests/arch/errors.py
new file mode 100644
index 0000000..9d5e273
--- /dev/null
+++ b/tests/arch/errors.py
@@ -0,0 +1,35 @@
+#!/usr/bin/python3-dbg
+# -*- coding: utf-8 -*-
+
+
+# Tests minimalistes pour valider la gestion des erreurs relevées.
+
+
+from chrysacase import ChrysalideTestCase
+from pychrysalide.arch import vmpa
+from pychrysalide.arch import ArchProcessor
+
+
+class TestArchErrors(ChrysalideTestCase):
+    """TestCase for arch.ArchProcessor errors."""
+
+    def testBasic(self):
+        """Perform some sanity tests on architecture error handling."""
+
+        errlen = 3
+
+        pattern = []
+
+        for i in range(errlen):
+
+            addr = vmpa(vmpa.VMPA_NO_PHYSICAL, 0x100 + i * 0x10)
+
+            pattern.append([ArchProcessor.APE_LABEL, addr, 'random desc #%d' % i])
+
+        proc = ArchProcessor()
+
+        for i in range(errlen):
+
+            proc.add_error(pattern[i][0], pattern[i][1], pattern[i][2])
+
+        self.assertEqual(len(proc.errors), errlen)
diff --git a/tests/format/errors.py b/tests/format/errors.py
new file mode 100644
index 0000000..36b7129
--- /dev/null
+++ b/tests/format/errors.py
@@ -0,0 +1,58 @@
+#!/usr/bin/python3-dbg
+# -*- coding: utf-8 -*-
+
+
+# Tests minimalistes pour valider la gestion des erreurs relevées.
+
+
+from chrysacase import ChrysalideTestCase
+from pychrysalide.analysis.contents import FileContent
+from pychrysalide.arch import vmpa
+from pychrysalide.format import BinFormat
+from pychrysalide.format.elf import ElfFormat
+import os
+import sys
+
+
+class TestFormatErrors(ChrysalideTestCase):
+    """TestCase for format.BinFormat errors."""
+
+    @classmethod
+    def setUpClass(cls):
+
+        super(TestFormatErrors, cls).setUpClass()
+
+        cls.log('Compile binary "strings" if needed...')
+
+        fullname = sys.modules[cls.__module__].__file__
+        dirpath = os.path.dirname(fullname)
+
+        os.system('make -C %s%self strings 2>&1 > /dev/null' % (dirpath, os.sep))
+
+
+    def testBasic(self):
+        """Perform some sanity tests on format error handling."""
+
+        errlen = 3
+
+        pattern = []
+
+        for i in range(errlen):
+
+            addr = vmpa(vmpa.VMPA_NO_PHYSICAL, 0x100 + i * 0x10)
+
+            pattern.append([BinFormat.BFE_STRUCTURE, addr, 'random desc #%d' % i])
+
+        fullname = sys.modules[self.__class__.__module__].__file__
+        filename = os.path.basename(fullname)
+
+        baselen = len(fullname) - len(filename)
+
+        cnt = FileContent(fullname[:baselen] + 'elf' + os.sep + 'strings')
+        fmt = ElfFormat(cnt, None, None)
+
+        for i in range(errlen):
+
+            fmt.add_error(pattern[i][0], pattern[i][1], pattern[i][2])
+
+        self.assertEqual(len(fmt.errors), errlen)