Updated the DWARF support.

1 files changed, 224 insertions, 0 deletions

diff --git a/plugins/dwarf/checks.c b/plugins/dwarf/checks.c
new file mode 100644
index 0000000..7dc8a7c
--- /dev/null
+++ b/plugins/dwarf/checks.c
@@ -0,0 +1,224 @@
+
+/* Chrysalide - Outil d'analyse de fichiers binaires
+ * checks.c - validations liées au format DWARF v2
+ *
+ * Copyright (C) 2018 Cyrille Bagard
+ *
+ *  This file is part of Chrysalide.
+ *
+ *  Chrysalide is free software; you can redistribute it and/or modify
+ *  it under the terms of the GNU General Public License as published by
+ *  the Free Software Foundation; either version 3 of the License, or
+ *  (at your option) any later version.
+ *
+ *  Chrysalide is distributed in the hope that it will be useful,
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *  GNU General Public License for more details.
+ *
+ *  You should have received a copy of the GNU General Public License
+ *  along with Chrysalide.  If not, see <http://www.gnu.org/licenses/>.
+ */
+
+
+#include "checks.h"
+
+
+#include <malloc.h>
+#include <stdio.h>
+
+
+#include <i18n.h>
+#include <common/cpp.h>
+#include <format/format.h>
+
+
+#include "core.h"
+#include "v2/checks.h"
+#include "v3/checks.h"
+#include "v4/checks.h"
+
+
+
+/**
+ * Opérations disponibles par version.
+ */
+
+/* Procède à la conversion de base d'une abréviation DWARF. */
+typedef bool (* check_dwarf_decl_fc) (const dw_abbrev_decl *);
+
+/* Procède à la conversion d'un attribut d'abréviation DWARF. */
+typedef bool (* check_dwarf_attrib_fc) (const dw_abbrev_raw_attr *);
+
+typedef struct _abbrev_check_op
+{
+    check_dwarf_decl_fc check_decl;       /* Validation des déclarations  */
+    check_dwarf_attrib_fc check_attrib;   /* Validation des attributs     */
+
+} abbrev_check_op;
+
+static const abbrev_check_op _check_ops[5] = {
+
+    [2] = {
+        .check_decl = (check_dwarf_decl_fc)check_dwarfv2_abbrev_decl,
+        .check_attrib = (check_dwarf_attrib_fc)check_dwarfv2_abbrev_attrib
+    },
+
+    [3] = {
+        .check_decl = (check_dwarf_decl_fc)check_dwarfv3_abbrev_decl,
+        .check_attrib = (check_dwarf_attrib_fc)check_dwarfv3_abbrev_attrib
+    },
+
+    [4] = {
+        .check_decl = (check_dwarf_decl_fc)check_dwarfv4_abbrev_decl,
+        .check_attrib = (check_dwarf_attrib_fc)check_dwarfv4_abbrev_attrib
+    }
+
+};
+
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : format = informations de débogage à consulter.               *
+*                decl   = structure brute dont le contenu est à valider.      *
+*                target = version ciblée par le format.                       *
+*                pos    = emplacement de l'élément à vérifier dans le binaire.*
+*                                                                             *
+*  Description : Procède à la conversion de base d'une abréviation DWARF.     *
+*                                                                             *
+*  Retour      : Validité confirmée ou non.                                   *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+bool check_dwarf_abbrev_decl(GDwarfFormat *format, const dw_abbrev_decl *decl, uint16_t target, const vmpa2t *pos)
+{
+    bool result;                            /* Validité à retourner        */
+    char *msg;                              /* Message à imprimer          */
+    uint16_t i;                             /* Boucle de parcours          */
+    VMPA_BUFFER(loc);                       /* Position humainement lisible*/
+
+    result = false;
+
+    if (target < 2)
+    {
+        asprintf(&msg, _("Too old DWARF compilation unit (%hu < 2) ; fixed!"), target);
+
+        g_binary_format_add_error(G_BIN_FORMAT(format), BFE_STRUCTURE, pos, msg);
+
+        free(msg);
+
+        target = 2;
+
+    }
+
+    for (i = target; i < ARRAY_SIZE(_check_ops); i++)
+    {
+        result = _check_ops[i].check_decl(decl);
+
+        if (result)
+            break;
+
+    }
+
+    if (result)
+    {
+        if (i > target)
+        {
+            asprintf(&msg, _("The DWARF abbreviation declaration belongs to another version (%hu vs %hu)"),
+                     i, target);
+
+            g_binary_format_add_error(G_BIN_FORMAT(format), BFE_STRUCTURE, pos, msg);
+
+            free(msg);
+
+        }
+
+    }
+
+    else
+    {
+        vmpa2_phys_to_string(pos, MDS_UNDEFINED, loc, NULL);
+
+        log_dwarf_variadic_message(LMT_BAD_BINARY, _("Invalid abbreviation declaration at %s"), loc);
+
+    }
+
+    return result;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : format = informations de débogage à consulter.               *
+*                decl   = structure brute dont le contenu est à valider.      *
+*                target = version ciblée par le format.                       *
+*                pos    = emplacement de l'élément à vérifier dans le binaire.*
+*                                                                             *
+*  Description : Procède à la conversion d'un attribut d'abréviation DWARF.   *
+*                                                                             *
+*  Retour      : Validité confirmée ou non.                                   *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+bool check_dwarf_abbrev_attrib(GDwarfFormat *format, const dw_abbrev_raw_attr *attr, uint16_t target, const vmpa2t *pos)
+{
+    bool result;                            /* Validité à retourner        */
+    char *msg;                              /* Message à imprimer          */
+    uint16_t i;                             /* Boucle de parcours          */
+    VMPA_BUFFER(loc);                       /* Position humainement lisible*/
+
+    result = false;
+
+    if (target < 2)
+    {
+        asprintf(&msg, _("Too old DWARF compilation unit (%hu < 2) ; fixed!"), target);
+
+        g_binary_format_add_error(G_BIN_FORMAT(format), BFE_STRUCTURE, pos, msg);
+
+        free(msg);
+
+        target = 2;
+
+    }
+
+    for (i = target; i < ARRAY_SIZE(_check_ops); i++)
+    {
+        result = _check_ops[i].check_attrib(attr);
+
+        if (result)
+            break;
+
+    }
+
+    if (result)
+    {
+        if (i > target)
+        {
+            asprintf(&msg, _("The DWARF abbreviation attribute belongs to another version (%hu vs %hu)"),
+                     i, target);
+
+            g_binary_format_add_error(G_BIN_FORMAT(format), BFE_STRUCTURE, pos, msg);
+
+            free(msg);
+
+        }
+
+    }
+
+    else
+    {
+        vmpa2_phys_to_string(pos, MDS_UNDEFINED, loc, NULL);
+
+        log_dwarf_variadic_message(LMT_BAD_BINARY, _("Invalid abbreviation attribute at %s"), loc);
+
+    }
+
+    return result;
+
+}