diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2013-02-24 11:09:36 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2013-02-24 11:09:36 (GMT) |
commit | 02c2cf555953f335a825e34c869c9999668fd42c (patch) | |
tree | 59395c04d509f9fae8314d311f6ab90e163df45d /src/analysis/decomp/cmerge.c | |
parent | 34e1a14aced520ba06ee1b81cfd7710e97c1643f (diff) |
Refined comparisons decompilation and fixed some bugs.
git-svn-id: svn://svn.gna.org/svn/chrysalide/trunk@340 abbe820e-26c8-41b2-8c08-b7b2b41f8b0a
Diffstat (limited to 'src/analysis/decomp/cmerge.c')
-rw-r--r-- | src/analysis/decomp/cmerge.c | 135 |
1 files changed, 135 insertions, 0 deletions
diff --git a/src/analysis/decomp/cmerge.c b/src/analysis/decomp/cmerge.c new file mode 100644 index 0000000..9838531 --- /dev/null +++ b/src/analysis/decomp/cmerge.c @@ -0,0 +1,135 @@ + +/* OpenIDA - Outil d'analyse de fichiers binaires + * cmerge.c - fusion des conditions successives + * + * Copyright (C) 2013 Cyrille Bagard + * + * This file is part of OpenIDA. + * + * OpenIDA 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. + * + * OpenIDA 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 "cmerge.h" + + +#include "../../decomp/expr/block.h" +#include "../../decomp/expr/comp.h" +#include "../../decomp/expr/cond.h" +#include "../../decomp/instr/ite.h" + + + +/* Recherche des conditions successives pouvant être fusionnées. */ +static bool track_branch_conditions(GDecInstruction *, GDecInstruction *, DecInstrVisitFlags, void *); + + + +/****************************************************************************** +* * +* Paramètres : instr = instruction visitée. * +* parent = instruction parente. * +* flags = moments des appels réalisés en retour. * +* data = adresse non utilisée ici. * +* * +* Description : Recherche des conditions successives pouvant être fusionnées.* +* * +* Retour : true afin d'aller jusqu'au terme du parcours. * +* * +* Remarques : - * +* * +******************************************************************************/ + +static bool track_branch_conditions(GDecInstruction *instr, GDecInstruction *parent, DecInstrVisitFlags flags, void *data) +{ + GDecInstruction *true_branch; /* Branche 'vrai' */ + GDecInstruction *false_branch; /* Branche 'faux' */ + GDecInstruction *first; /* Première sous-instruction */ + GCondExpression *sub_cond; /* Expression conditionnelle */ + GCondExpression *top_cond; /* Expression conditionnelle */ + + if (!G_IS_ITE_INSTRUCTION(instr)) + goto tbc_done; + + g_ite_instruction_get_branches(G_ITE_INSTRUCTION(instr), &true_branch, &false_branch); + if (false_branch != NULL) goto tbc_done; + + /* count(block) == 1 */ + + first = g_expr_block_get_item(G_EXPR_BLOCK(true_branch), 0); + if (!G_IS_ITE_INSTRUCTION(first)) goto tbc_done; + + printf("got one!\n"); + + /* Récupération des informations inférieures */ + + sub_cond = g_ite_instruction_get_condition(G_ITE_INSTRUCTION(first)); + g_object_ref(G_OBJECT(sub_cond)); + + g_ite_instruction_get_branches(G_ITE_INSTRUCTION(first), &true_branch, &false_branch); + if (true_branch != NULL) g_object_ref(G_OBJECT(true_branch)); + if (false_branch != NULL) g_object_ref(G_OBJECT(false_branch)); + + /* Reconstitution d'une nouvelle instruction */ + + top_cond = g_ite_instruction_get_condition(G_ITE_INSTRUCTION(instr)); + + //g_cond_expression_add_condition(top_cond, sub_cond, COT_AND); + + //g_ite_instruction_set_branches(G_ITE_INSTRUCTION(instr), true_branch, false_branch); + + + + + printf("got one!\n"); + + /* +GDecExpression *g_ite_instruction_get_condition(const GITEInstruction *instr) + + + +GDecExpression *g_cond_expression_get_expression(const GCondExpression *cond) + + +void g_cond_expression_set_expression(GCondExpression *cond, GDecExpression *exp) + */ + + + tbc_done: + + return true; + +} + + +/****************************************************************************** +* * +* Paramètres : instr = instructions à traiter. * +* * +* Description : Fusionne les conditions qui s'enchaînent. * +* * +* Retour : - * +* * +* Remarques : - * +* * +******************************************************************************/ + +void merge_lonely_conditions(GDecInstruction *instr) +{ + return; + + g_dec_instruction_visit(instr, (dec_instr_visitor_cb)track_branch_conditions, + DVF_EXIT, NULL); + +} |