diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2013-03-19 21:13:51 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2013-03-19 21:13:51 (GMT) |
commit | cf97db0ea4d1ea983db38df85984034b49fa4f77 (patch) | |
tree | b6d69945b24ec8da93f0bef7ccf4dfdbe1d920a2 /src/analysis/blocks/flow.c | |
parent | e7a85861ba8bcd00ceb7bf9e47f4eadccd48ce3f (diff) |
Defined the first steps towards new graph renderings.
git-svn-id: svn://svn.gna.org/svn/chrysalide/trunk@345 abbe820e-26c8-41b2-8c08-b7b2b41f8b0a
Diffstat (limited to 'src/analysis/blocks/flow.c')
-rw-r--r-- | src/analysis/blocks/flow.c | 154 |
1 files changed, 140 insertions, 14 deletions
diff --git a/src/analysis/blocks/flow.c b/src/analysis/blocks/flow.c index 0b68a14..799931d 100644 --- a/src/analysis/blocks/flow.c +++ b/src/analysis/blocks/flow.c @@ -25,6 +25,7 @@ #include <malloc.h> +#include <sys/param.h> #include "../block-int.h" @@ -36,6 +37,9 @@ struct _GFlowBlock { GInstrBlock parent; /* A laisser en premier */ + unsigned int rank; /* Rang dans l'exécution */ + unsigned int next_rank; /* Rang suivant de l'exécution */ + GArchInstruction *instrs; /* Liste complète d'instruct° */ GArchInstruction *first; /* Première instruction */ GArchInstruction *last; /* Dernière instruction */ @@ -140,6 +144,8 @@ static void g_flow_block_init(GFlowBlock *block) parent->list_leafs = (list_leafs_blocks_fc)g_flow_block_list_leafs_blocks; //parent->list_regs = (list_regs_accesses_fc)g_flow_block_list_regs_accesses; + g_flow_block_set_rank(block, 0); + block->regs = g_raccess_list_new(); block->awaited = g_raccess_list_new(); @@ -209,22 +215,8 @@ GInstrBlock *g_flow_block_new(GArchInstruction *instrs, GArchInstruction *first, { GFlowBlock *result; /* Structure à retourner */ - //vmpa_t addr; /* Adresse de la destination */ - - result = g_object_new(G_TYPE_FLOW_BLOCK, NULL); - - /* - g_arch_instruction_get_location(first, NULL, NULL, &addr); - printf(" ! new block @ 0x%llx - ", addr); - - g_arch_instruction_get_location(last, NULL, NULL, &addr); - printf("0x%llx\n", addr); - */ - - - result->instrs = instrs; result->first = first; result->last = last; @@ -242,6 +234,85 @@ GInstrBlock *g_flow_block_new(GArchInstruction *instrs, GArchInstruction *first, /****************************************************************************** * * +* Paramètres : block = bloc d'instruction à consulter. * +* * +* Description : Fournit le rang du bloc dans le flot d'exécution. * +* * +* Retour : Indice supérieur ou égal à zéro. * +* * +* Remarques : - * +* * +******************************************************************************/ + +unsigned int g_flow_block_get_rank(const GFlowBlock *block) +{ + return block->rank; + +} + + +/****************************************************************************** +* * +* Paramètres : block = bloc d'instruction à consulter. * +* rank = Indice supérieur à zéro à prendre en compte. * +* * +* Description : Définit le rang du bloc dans le flot d'exécution. * +* * +* Retour : - * +* * +* Remarques : - * +* * +******************************************************************************/ + +void g_flow_block_set_rank(GFlowBlock *block, unsigned int rank) +{ + block->rank = MAX(block->rank, rank); + g_flow_block_set_next_rank(block, block->rank + 1); + +} + + +/****************************************************************************** +* * +* Paramètres : block = bloc d'instruction à consulter. * +* * +* Description : Fournit le rang minimal du bloc suivant pour l'exécution. * +* * +* Retour : Indice supérieur à zéro. * +* * +* Remarques : - * +* * +******************************************************************************/ + +unsigned int g_flow_block_get_next_rank(const GFlowBlock *block) +{ + return block->next_rank; + +} + + +/****************************************************************************** +* * +* Paramètres : block = bloc d'instruction à consulter. * +* rank = Indice supérieur à zéro à prendre en compte. * +* * +* Description : Définit le rang minimal du bloc suivant pour l'exécution. * +* * +* Retour : - * +* * +* Remarques : - * +* * +******************************************************************************/ + +void g_flow_block_set_next_rank(GFlowBlock *block, unsigned int rank) +{ + block->next_rank = MAX(block->next_rank, rank); + +} + + +/****************************************************************************** +* * * Paramètres : block = bloc de départ des recherches. * * addr = ensemble de blocs à parcourir. * * final = indique si la cible ou le conteneur est renvoyée. * @@ -508,6 +579,61 @@ void g_flow_block_get_boundary_addresses(const GFlowBlock *block, vmpa_t *start, /****************************************************************************** * * +* Paramètres : block = bloc d'instructions démarrant la visite. * +* list = ensemble des blocs basiques à parcourir. * +* target = bloc de fin de parcours. * +* * +* Description : Détermine si un bloc peut conduire à un autre. * +* * +* Retour : true si un lien existe entre les deux blocs fournis. * +* * +* Remarques : - * +* * +******************************************************************************/ + +bool g_flow_block_is_looping_to(GFlowBlock *block, const GInstrBlock *list, GFlowBlock *target) +{ + bool result; /* Bilan à retourner */ + GArchInstruction **dests; /* Instr. visée par une autre */ + InstructionLinkType *types; /* Type de lien entre lignes */ + size_t dcount; /* Nombre de liens de dest. */ + size_t i; /* Boucle de parcours */ + vmpa_t addr; /* Adresse de la destination */ + GInstrBlock *next; /* Bloc suivant à visiter */ + + result = (block == target); + + dcount = g_arch_instruction_get_destinations(block->last, &dests, &types, NULL); + + for (i = 0; i < dcount && !result; i++) + switch (types[i]) + { + case ILT_EXEC_FLOW: + case ILT_JUMP: + case ILT_CASE_JUMP: + case ILT_JUMP_IF_TRUE: + case ILT_JUMP_IF_FALSE: + g_arch_instruction_get_location(dests[i], NULL, NULL, &addr); + next = g_instr_block_find_by_addr(list, addr, true); + result = g_flow_block_is_looping_to(G_FLOW_BLOCK(next), list, target); + break; + + case ILT_LOOP: + g_arch_instruction_get_location(dests[i], NULL, NULL, &addr); + next = g_instr_block_find_by_addr(list, addr, true); + result = (G_FLOW_BLOCK(next) == target); + default: + break; + + } + + return result; + +} + + +/****************************************************************************** +* * * Paramètres : block = bloc d'instructions démarrant la visite. * * list = ensemble des blocs basiques à parcourir. * * mask = points de passage à marquer. * |