diff options
Diffstat (limited to 'plugins/dwarf/checks.c')
-rw-r--r-- | plugins/dwarf/checks.c | 224 |
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; + +} |