diff options
Diffstat (limited to 'tools/d2c/syntax.c')
-rw-r--r-- | tools/d2c/syntax.c | 313 |
1 files changed, 313 insertions, 0 deletions
diff --git a/tools/d2c/syntax.c b/tools/d2c/syntax.c new file mode 100644 index 0000000..c0842a7 --- /dev/null +++ b/tools/d2c/syntax.c @@ -0,0 +1,313 @@ + +/* Chrysalide - Outil d'analyse de fichiers binaires + * syntax.c - représentation complète d'une syntaxe + * + * Copyright (C) 2017 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 Foobar. If not, see <http://www.gnu.org/licenses/>. + */ + + +#include "syntax.h" + + +#include <assert.h> +#include <malloc.h> + + + +/* Mémorisation d'une définition de syntaxe */ +struct _encoding_syntax +{ + disass_assert *assertions; /* Conditions de désassemblage */ + conv_list *conversions; /* Conversions des données */ + asm_pattern *pattern; /* Calligraphe d'assemblage */ + decoding_rules *rules; /* Règles supplémentaires */ + +}; + + + +/****************************************************************************** +* * +* Paramètres : - * +* * +* Description : Crée un nouveau suivi d'une définition de syntaxe. * +* * +* Retour : Nouvelle structure prête à emploi. * +* * +* Remarques : - * +* * +******************************************************************************/ + +encoding_syntax *create_encoding_syntax(void) +{ + encoding_syntax *result; /* Définition vierge à renvoyer*/ + + result = (encoding_syntax *)calloc(1, sizeof(encoding_syntax)); + + result->assertions = create_disass_assert(); + result->conversions = create_conv_list(); + result->pattern = create_asm_pattern(); + result->rules = create_decoding_rules(); + + return result; + +} + + +/****************************************************************************** +* * +* Paramètres : syntax = définition de syntaxe à libérer de la mémoire. * +* * +* Description : Supprime de la mémoire le suivi d'une définition de syntaxe. * +* * +* Retour : - * +* * +* Remarques : - * +* * +******************************************************************************/ + +void delete_encoding_syntax(encoding_syntax *syntax) +{ + delete_disass_assert(syntax->assertions); + delete_conv_list(syntax->conversions); + delete_asm_pattern(syntax->pattern); + delete_decoding_rules(syntax->rules); + + free(syntax); + +} + + +/****************************************************************************** +* * +* Paramètres : syntax = définition de syntaxe à consulter. * +* * +* Description : Fournit la liste de conditions préalables. * +* * +* Retour : Structure assurant la gestion de conditions de désassemblage.* +* * +* Remarques : - * +* * +******************************************************************************/ + +disass_assert *get_assertions_for_encoding_syntax(const encoding_syntax *syntax) +{ + return syntax->assertions; + +} + + +/****************************************************************************** +* * +* Paramètres : syntax = définition de syntaxe à consulter. * +* * +* Description : Fournit la liste des fonctions de conversion. * +* * +* Retour : Structure assurant la gestion des fonctions de conversion. * +* * +* Remarques : - * +* * +******************************************************************************/ + +conv_list *get_conversions_in_encoding_syntax(const encoding_syntax *syntax) +{ + return syntax->conversions; + +} + + +/****************************************************************************** +* * +* Paramètres : syntax = définition de syntaxe à consulter. * +* * +* Description : Fournit l'indicateur des écritures correctes d'assembleur. * +* * +* Retour : Structure assurant la gestion des éléments de syntaxe. * +* * +* Remarques : - * +* * +******************************************************************************/ + +asm_pattern *get_asm_pattern_in_encoding_syntax(const encoding_syntax *syntax) +{ + return syntax->pattern; + +} + + +/****************************************************************************** +* * +* Paramètres : syntax = définition de syntaxe à consulter. * +* * +* Description : Fournit un ensemble de règles supplémentaires éventuel. * +* * +* Retour : Structure assurant la gestion de ces règles. * +* * +* Remarques : - * +* * +******************************************************************************/ + +decoding_rules *get_rules_in_encoding_syntax(const encoding_syntax *syntax) +{ + return syntax->rules; + +} + + +/****************************************************************************** +* * +* Paramètres : syntax = gestionnaire d'un ensemble d'éléments de syntaxe. * +* bits = gestionnaire des bits d'encodage. * +* * +* Description : Marque les éléments de syntaxe effectivement utilisés. * +* * +* Retour : Bilan de l'opération. * +* * +* Remarques : - * +* * +******************************************************************************/ + +bool mark_syntax_items(const encoding_syntax *syntax, const coding_bits *bits) +{ + bool result; /* Bilan à retourner */ + + result = mark_disass_assert(syntax->assertions, bits); + + if (result) + result = mark_asm_pattern_items(syntax->pattern, bits, syntax->conversions); + + if (result) + result = mark_decoding_rules(syntax->rules, bits, syntax->conversions); + + return result; + +} + + +/****************************************************************************** +* * +* Paramètres : syntax = gestionnaire d'un ensemble d'éléments de syntaxe. * +* fd = descripteur d'un flux ouvert en écriture. * +* bits = gestionnaire des bits d'encodage. * +* * +* Description : Déclare les éléments d'une syntaxe isolée. * +* * +* Retour : Bilan de l'opération. * +* * +* Remarques : - * +* * +******************************************************************************/ + +bool declare_encoding_syntax(const encoding_syntax *syntax, int fd, const coding_bits *bits) +{ + bool result; /* Bilan à retourner */ + bool imm_decl; /* Suivi des déclaration */ + + imm_decl = false; + + result = declare_asm_pattern(syntax->pattern, fd, bits, syntax->conversions, "", &imm_decl); + + return result; + +} + + +/****************************************************************************** +* * +* Paramètres : syntax = gestionnaire d'un ensemble d'éléments de syntaxe. * +* fd = descripteur d'un flux ouvert en écriture. * +* arch = architecture visée par l'opération globale. * +* bits = gestionnaire des bits d'encodage. * +* alone = peut-on se placer en zone principale ? * +* pp = pré-processeur pour les échanges de chaînes. * +* exit = exprime le besoin d'une voie de sortie. [OUT] * +* * +* Description : Amorce la construction des éléments d'une syntaxe. * +* * +* Retour : Bilan de l'opération. * +* * +* Remarques : - * +* * +******************************************************************************/ + +bool write_encoding_syntax(const encoding_syntax *syntax, int fd, const char *arch, const coding_bits *bits, bool alone, bool *exit) +{ + bool result; /* Bilan à retourner */ + bool conditional; /* Définition sous condition ? */ + const char *tab; /* Décallage supplémentaire ? */ + bool imm_decl; /* Suivi des déclaration */ + + conditional = !is_disass_assert_empty(syntax->assertions); + + assert((conditional && !alone) || (!conditional && alone)); + + if (conditional) + { + dprintf(fd, "\tif ("); + + result = define_disass_assert(syntax->assertions, fd, bits); + if (!result) goto wes_exit; + + dprintf(fd, ")\n"); + dprintf(fd, "\t{\n"); + + tab = "\t"; + + } + + else + tab = (alone ? "" : "\t"); + + if (!alone) + { + imm_decl = false; + + result = declare_asm_pattern(syntax->pattern, fd, bits, syntax->conversions, "\t", &imm_decl); + if (!result) goto wes_exit; + + dprintf(fd, "\n"); + + } + + dprintf(fd, "\t%sresult = g_%s_instruction_new(\"%s\");\n", + tab, arch, get_keyword_from_asm_pattern(syntax->pattern)); + + dprintf(fd, "\n"); + + result = define_asm_pattern(syntax->pattern, fd, arch, bits, syntax->conversions, tab, exit); + if (!result) goto wes_exit; + + result = write_decoding_rules(syntax->rules, CAT_CHECKED_CALL, fd, arch, bits, syntax->conversions, tab, exit); + if (!result) goto wes_exit; + + result = write_decoding_rules(syntax->rules, CAT_CALL, fd, arch, bits, syntax->conversions, tab, exit); + if (!result) goto wes_exit; + + if (conditional) + { + dprintf(fd, "\t}\n"); + + dprintf(fd, "\n"); + + } + + wes_exit: + + return result; + +} |