diff options
Diffstat (limited to 'src/decomp/instr/ite.c')
-rw-r--r-- | src/decomp/instr/ite.c | 339 |
1 files changed, 0 insertions, 339 deletions
diff --git a/src/decomp/instr/ite.c b/src/decomp/instr/ite.c deleted file mode 100644 index 6e98a77..0000000 --- a/src/decomp/instr/ite.c +++ /dev/null @@ -1,339 +0,0 @@ - -/* Chrysalide - Outil d'analyse de fichiers binaires - * ite.c - représentation des branchements conditionnels - * - * Copyright (C) 2010-2013 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 "ite.h" - - -#include "../instruction-int.h" - - - -/* Définition d'un aiguillage du flux d'exécution (instance) */ -struct _GITEInstruction -{ - GDecInstruction parent; /* A laisser en premier */ - - GCondExpression *cond; /* Condition prise en compte */ - - GDecInstruction *true_branch; /* Condition vérifiée */ - GDecInstruction *false_branch; /* Condition non vérifiée */ - - union - { - vmpa_t addr; /* Adresse de saut */ - GDecExpression *expr; /* Expressions équivalentes */ - - } if_true; - - union - { - vmpa_t addr; /* Adresse de saut */ - GDecExpression *expr; /* Expressions équivalentes */ - - } if_false; - -}; - - -/* Définition d'un aiguillage du flux d'exécution (classe) */ -struct _GITEInstructionClass -{ - GDecInstructionClass parent; /* A laisser en premier */ - -}; - - - -/* Initialise la classe des aiguillages de flux d'exécution. */ -static void g_ite_instruction_class_init(GITEInstructionClass *); - -/* Initialise une instance d'aiguillage du flux d'exécution. */ -static void g_ite_instruction_init(GITEInstruction *); - -/* Visite un ensemble hiérarchique d'instructions décompilées. */ -static bool g_ite_instruction_visit(GITEInstruction *, dec_instr_visitor_cb, DecInstrVisitFlags, void *); - -/* Remplace une instruction décompilée par une autre. */ -static bool g_ite_instruction_replace(GITEInstruction *, GDecInstruction *, GDecInstruction *); - -/* Imprime pour l'écran un version humaine d'une instruction. */ -static GBufferLine *g_ite_instruction_print(const GITEInstruction *, GCodeBuffer *, GBufferLine *, GLangOutput *); - - - -/* Indique le type défini pour un aiguillage du flux d'exécution. */ -G_DEFINE_TYPE(GITEInstruction, g_ite_instruction, G_TYPE_DEC_INSTRUCTION); - - -/****************************************************************************** -* * -* Paramètres : klass = classe à initialiser. * -* * -* Description : Initialise la classe des aiguillages de flux d'exécution. * -* * -* Retour : - * -* * -* Remarques : - * -* * -******************************************************************************/ - -static void g_ite_instruction_class_init(GITEInstructionClass *klass) -{ - -} - - -/****************************************************************************** -* * -* Paramètres : instr = instance à initialiser. * -* * -* Description : Initialise une instance d'aiguillage du flux d'exécution. * -* * -* Retour : - * -* * -* Remarques : - * -* * -******************************************************************************/ - -static void g_ite_instruction_init(GITEInstruction *instr) -{ - GDecInstruction *base; /* Autre version de l'objet */ - - base = G_DEC_INSTRUCTION(instr); - - base->visit = (dec_instr_visit_fc)g_ite_instruction_visit; - base->replace = (dec_instr_replace_fc)g_ite_instruction_replace; - base->print = (dec_instr_print_fc)g_ite_instruction_print; - -} - - -/****************************************************************************** -* * -* Paramètres : cond = expression fixant le choix de l'aiguillage. * -* if_true = adresse du saut si la condition est vérifiée. * -* if_true = adresse du saut si la condition n'est pas vérifiée.* -* * -* Description : Exprime un aiguillage du flux en fonction d'une condition. * -* * -* Retour : Expression mise en place. * -* * -* Remarques : - * -* * -******************************************************************************/ - -GDecInstruction *g_ite_instruction_new(GCondExpression *cond, vmpa_t if_true, vmpa_t if_false) -{ - GITEInstruction *result; /* Expression à retourner */ - - result = g_object_new(G_TYPE_ITE_INSTRUCTION, NULL); - - result->cond = cond; - result->if_true.addr = if_true; - result->if_false.addr = if_false; - - return G_DEC_INSTRUCTION(result); - -} - - -/****************************************************************************** -* * -* Paramètres : instr = première instruction à venir visiter. * -* callback = procédure à appeler à chaque instruction visitée. * -* flags = moments des appels à réaliser en retour. * -* data = données quelconques associées au visiteur. * -* * -* Description : Visite un ensemble hiérarchique d'instructions décompilées. * -* * -* Retour : true si le parcours a été jusqu'à son terme, false sinon. * -* * -* Remarques : - * -* * -******************************************************************************/ - -static bool g_ite_instruction_visit(GITEInstruction *instr, dec_instr_visitor_cb callback, DecInstrVisitFlags flags, void *data) -{ - bool result; /* Bilan à retourner */ - - result = _g_dec_instruction_visit(G_DEC_INSTRUCTION(instr->cond), G_DEC_INSTRUCTION(instr), - callback, flags, data); - - if (result) - result = _g_dec_instruction_visit(instr->true_branch, G_DEC_INSTRUCTION(instr), - callback, flags, data); - - if (result && instr->false_branch != NULL) - result = _g_dec_instruction_visit(instr->false_branch, G_DEC_INSTRUCTION(instr), - callback, flags, data); - - return result; - -} - - -/****************************************************************************** -* * -* Paramètres : instr = première instruction à venir ausculter. * -* old = instruction décompilée à venir remplacer. * -* new = instruction décompilée à utiliser dorénavant. * -* * -* Description : Remplace une instruction décompilée par une autre. * -* * -* Retour : true si un remplacement a été effectué, false sinon. * -* * -* Remarques : - * -* * -******************************************************************************/ - -static bool g_ite_instruction_replace(GITEInstruction *instr, GDecInstruction *old, GDecInstruction *new) -{ - bool result; /* Bilan à retourner */ - - result = g_dec_instruction_replace(G_DEC_INSTRUCTION(instr->cond), old, new); - - result |= g_dec_instruction_replace(instr->true_branch, old, new); - - if (instr->false_branch != NULL) - result |= g_dec_instruction_replace(instr->false_branch, old, new); - - return result; - -} - - -/****************************************************************************** -* * -* Paramètres : instr = instruction à transcrire en version humaine. * -* buffer = tampon où doit se réaliser l'insertion. * -* line = ligne d'impression prête à emploi ou NULL. * -* output = langage de programmation de sortie. * -* * -* Description : Imprime pour l'écran un version humaine d'une instruction. * -* * -* Retour : - * -* * -* Remarques : - * -* * -******************************************************************************/ - -static GBufferLine *g_ite_instruction_print(const GITEInstruction *instr, GCodeBuffer *buffer, GBufferLine *line, GLangOutput *output) -{ - GBufferLine *result; /* Ligne à retourner */ - - g_buffer_line_append_text(line, BLC_ASSEMBLY_HEAD, "if ", 3, RTT_KEY_WORD, NULL); - - result = g_dec_instruction_print(G_DEC_INSTRUCTION(instr->cond), - buffer, line, output); - - result = g_dec_instruction_print(instr->true_branch, buffer, result, output); - - if (instr->false_branch != NULL) - { - g_buffer_line_append_text(result, BLC_ASSEMBLY_HEAD, "else", 4, RTT_KEY_WORD, NULL); - result = g_dec_instruction_print(instr->false_branch, buffer, result, output); - } - - return result; - -} - - -/****************************************************************************** -* * -* Paramètres : instr = instruction fixant le choix de l'aiguillage. * -* * -* Description : Fournit la condition régissant la suite de l'exécution. * -* * -* Retour : Condition mise en place. * -* * -* Remarques : - * -* * -******************************************************************************/ - -GCondExpression *g_ite_instruction_get_condition(const GITEInstruction *instr) -{ - return instr->cond; - -} - - -/****************************************************************************** -* * -* Paramètres : instr = expression fixant le choix de l'aiguillage. * -* true_branch = instructions si la condition est vérifiée. * -* false_branch = instructions si la cond. n'est pas vérifiée. * -* * -* Description : Détermine le corps des différentes branches possibles. * -* * -* Retour : - * -* * -* Remarques : - * -* * -******************************************************************************/ - -void g_ite_instruction_set_branches(GITEInstruction *instr, GDecInstruction *true_branch, GDecInstruction *false_branch) -{ - if (instr->true_branch != NULL) g_object_unref(G_OBJECT(instr->true_branch)); - if (instr->false_branch != NULL) g_object_unref(G_OBJECT(instr->false_branch)); - - if (true_branch == NULL) - { - g_dec_expression_negate(G_DEC_EXPRESSION(instr->cond)); - - instr->true_branch = false_branch; - instr->false_branch = true_branch; - - } - else - { - instr->true_branch = true_branch; - instr->false_branch = false_branch; - } - -} - - -/****************************************************************************** -* * -* Paramètres : instr = instruction fixant le choix de l'aiguillage. * -* true_branch = instrs. si la condition est vérifiée. [OUT] * -* false_branch = instrs. si la cond. n'est pas vérifiée. [OUT] * -* * -* Description : Fournit le corps des différentes branches possibles. * -* * -* Retour : - * -* * -* Remarques : - * -* * -******************************************************************************/ - -void g_ite_instruction_get_branches(const GITEInstruction *instr, GDecInstruction **true_branch, GDecInstruction **false_branch) -{ - if (true_branch != NULL) - *true_branch = instr->true_branch; - - if (false_branch != NULL) - *false_branch = instr->false_branch; - -} |