Cut instructions flow into blocks (to be continued).

git-svn-id: svn://svn.gna.org/svn/chrysalide/trunk@297 abbe820e-26c8-41b2-8c08-b7b2b41f8b0a

5 files changed, 750 insertions, 0 deletions

diff --git a/src/analysis/blocks/Makefile.am b/src/analysis/blocks/Makefile.am
new file mode 100755
index 0000000..7a9e371
--- /dev/null
+++ b/src/analysis/blocks/Makefile.am
@@ -0,0 +1,19 @@
+
+noinst_LTLIBRARIES  = libanalysisblocks.la
+
+libanalysisblocks_la_SOURCES =			\
+	flow.h flow.c						\
+	virtual.h virtual.c
+
+libanalysisblocks_la_LIBADD =	
+
+libanalysisblocks_la_LDFLAGS = 
+
+
+INCLUDES = $(LIBGTK_CFLAGS) $(LIBXML_CFLAGS)
+
+AM_CPPFLAGS = 
+
+AM_CFLAGS = $(DEBUG_CFLAGS) $(WARNING_FLAGS) $(COMPLIANCE_FLAGS)
+
+SUBDIRS = 
diff --git a/src/analysis/blocks/flow.c b/src/analysis/blocks/flow.c
new file mode 100644
index 0000000..62856dd
--- /dev/null
+++ b/src/analysis/blocks/flow.c
@@ -0,0 +1,364 @@
+
+/* OpenIDA - Outil d'analyse de fichiers binaires
+ * flow.c - encadrement des instructions par blocs d'exécution
+ *
+ * Copyright (C) 2012 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 "flow.h"
+
+
+#include <malloc.h>
+
+
+#include "../block-int.h"
+
+
+
+/* Description d'un bloc d'exécution d'instructions (instance) */
+struct _GFlowBlock
+{
+    GInstrBlock parent;                     /* A laisser en premier        */
+
+    GArchInstruction *instrs;               /* Liste complète d'instruct°  */
+    GArchInstruction *first;                /* Première instruction        */
+    GArchInstruction *last;                 /* Dernière instruction        */
+
+    reg_access *accesses;                   /* Commodités d'accès #1       */
+    size_t count;                           /* Commodités d'accès #2       */
+
+};
+
+/* Description d'un bloc d'exécution d'instructions (classe) */
+struct _GFlowBlockClass
+{
+    GInstrBlockClass parent;                /* A laisser en premier        */
+
+};
+
+
+/* Initialise la classe des blocs d'instructions. */
+static void g_flow_block_class_init(GFlowBlockClass *);
+
+/* Initialise un bloc d'instructions. */
+static void g_flow_block_init(GFlowBlock *);
+
+/* Supprime toutes les références externes. */
+static void g_flow_block_dispose(GFlowBlock *);
+
+/* Procède à la libération totale de la mémoire. */
+static void g_flow_block_finalize(GFlowBlock *);
+
+/* Prend note de l'usage d'un registre, au besoin. */
+static void g_flow_block_memorize_access(GFlowBlock *, GArchRegister *, RegAccessType, vmpa_t);
+
+/* Note les différents accès aux registres. */
+static void g_flow_block_compute_regs_access(GFlowBlock *);
+
+/* Fournit les différents accès aux registres. */
+static const reg_access *g_flow_block_list_regs_accesses(const GFlowBlock *, size_t *);
+
+
+
+/* Indique le type défini pour un bloc d'exécution d'instructions. */
+G_DEFINE_TYPE(GFlowBlock, g_flow_block, G_TYPE_INSTR_BLOCK);
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : class = classe à initialiser.                                *
+*                                                                             *
+*  Description : Initialise la classe des blocs d'instructions.               *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_flow_block_class_init(GFlowBlockClass *class)
+{
+    GObjectClass *object;                   /* Autre version de la classe  */
+
+    object = G_OBJECT_CLASS(class);
+
+    object->dispose = (GObjectFinalizeFunc/* ! */)g_flow_block_dispose;
+    object->finalize = (GObjectFinalizeFunc)g_flow_block_finalize;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : block = instance à initialiser.                              *
+*                                                                             *
+*  Description : Initialise un bloc d'instructions.                           *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_flow_block_init(GFlowBlock *block)
+{
+    GInstrBlock *parent;                    /* Instance parente            */
+
+    parent = G_INSTR_BLOCK(block);
+
+    parent->list_regs = (list_regs_accesses_fc)g_flow_block_list_regs_accesses;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : block = instance d'objet GLib à traiter.                     *
+*                                                                             *
+*  Description : Supprime toutes les références externes.                     *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_flow_block_dispose(GFlowBlock *block)
+{
+    size_t i;                               /* Boucle de parcours          */
+
+    g_object_unref(G_OBJECT(block->instrs));
+    g_object_unref(G_OBJECT(block->first));
+    g_object_unref(G_OBJECT(block->last));
+
+    for (i = 0; i < block->count; i++)
+        g_object_unref(G_OBJECT(block->accesses[i].reg));
+
+    G_OBJECT_CLASS(g_flow_block_parent_class)->dispose(G_OBJECT(block));
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : block = instance d'objet GLib à traiter.                     *
+*                                                                             *
+*  Description : Procède à la libération totale de la mémoire.                *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_flow_block_finalize(GFlowBlock *block)
+{
+    if (block->accesses != NULL)
+        free(block->accesses);
+
+    G_OBJECT_CLASS(g_flow_block_parent_class)->finalize(G_OBJECT(block));
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : instrs = liste de toutes les instructions.                   *
+*                first  = première instruction du bloc.                       *
+*                last   = dernière instruction du bloc.                       *
+*                                                                             *
+*  Description : Crée un bloc d'exécution d'instructions.                     *
+*                                                                             *
+*  Retour      : Adresse de la structure mise en place.                       *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+GInstrBlock *g_flow_block_new(GArchInstruction *instrs, GArchInstruction *first, GArchInstruction *last)
+{
+    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;
+
+    g_object_ref(G_OBJECT(result->instrs));
+    g_object_ref(G_OBJECT(result->first));
+    g_object_ref(G_OBJECT(result->last));
+
+    g_flow_block_compute_regs_access(result);
+
+    return G_INSTR_BLOCK(result);
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : block = bloc d'instructions à mettre à jour.                 *
+*                reg   = registre visé par l'opération.                       *
+*                type  = type d'accès à l'opérande.                           *
+*                addr  = adresse de l'instruction associée.                   *
+*                                                                             *
+*  Description : Prend note de l'usage d'un registre, au besoin.              *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_flow_block_memorize_access(GFlowBlock *block, GArchRegister *reg, RegAccessType type, vmpa_t addr)
+{
+    reg_access **accesses;                  /* Commodités d'accès #1       */
+    size_t *count;                          /* Commodités d'accès #2       */
+    reg_access *access;                     /* Accès à manipuler           */
+    bool need_sort;                         /* Insertion donc tri à faire  */
+
+    accesses = &block->accesses;
+    count = &block->count;
+
+    /* Recherche de l'élément à mettre à jour */
+
+    access = bsearch((reg_access []) { { .reg = reg } }, *accesses, *count, sizeof(reg_access),
+                     (__compar_fn_t)compare_reg_accesses);
+
+    if (access == NULL)
+    {
+        *accesses = (reg_access *)realloc(*accesses, ++(*count) * sizeof(reg_access));
+        access = &(*accesses)[*count - 1];
+
+        g_object_ref(G_OBJECT(reg));
+
+        access->reg = reg;
+        access->first_access = RAT_NONE;
+        access->last_write = VMPA_MAX;
+
+        need_sort = true;
+
+    }
+    else need_sort = false;
+
+    /* Mise à jour */
+
+    if (access->first_access == RAT_NONE)
+        access->first_access = type;
+
+    if (type == RAT_WRITE)
+        access->last_write = addr;
+
+    /* Remise en conditions éventuelle */
+
+    if (need_sort)
+        qsort(*accesses, *count, sizeof(reg_access), (__compar_fn_t)compare_reg_accesses);
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : block = bloc d'instructions à parcourir.                     *
+*                                                                             *
+*  Description : Note les différents accès aux registres.                     *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_flow_block_compute_regs_access(GFlowBlock *block)
+{
+    GArchInstruction *iter;                 /* Boucle de parcours #1       */
+    vmpa_t max;                             /* Adresse de fin              */
+    vmpa_t addr;                            /* Adresse d'instruction       */
+    GArchRegister **rregs;                  /* Liste des registres lus     */
+    size_t rcount;                          /* Nombre de registres lus     */
+    GArchRegister **wregs;                  /* Liste des registres écrits  */
+    size_t wcount;                          /* Nombre de registres écrits  */
+    size_t i;                               /* Boucle de parcours #2       */
+
+    g_arch_instruction_get_location(block->last, NULL, NULL, &max);
+    max++;
+
+    for (iter = block->first;
+         iter != NULL;
+         iter = g_arch_instruction_get_next_iter(block->instrs, iter, max))
+    {
+        g_arch_instruction_get_location(iter, NULL, NULL, &addr);
+
+        g_arch_instruction_get_rw_registers(iter, &rregs, &rcount, &wregs, &wcount);
+
+        for (i = 0; i < rcount; i++)
+        {
+            g_flow_block_memorize_access(block, rregs[i], RAT_READ, addr);
+            g_object_unref(G_OBJECT(rregs[i]));
+        }
+
+        for (i = 0; i < wcount; i++)
+        {
+            g_flow_block_memorize_access(block, wregs[i], RAT_WRITE, addr);
+            g_object_unref(G_OBJECT(wregs[i]));
+        }
+
+        if (rregs != NULL) free(rregs);
+        if (wregs != NULL) free(wregs);
+
+    }
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : block = bloc d'instructions à consulter.                     *
+*                count = nombre de registres consignés. [OUT]                 *
+*                                                                             *
+*  Description : Fournit les différents accès aux registres.                  *
+*                                                                             *
+*  Retour      : Liste des accès aux registres.                               *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static const reg_access *g_flow_block_list_regs_accesses(const GFlowBlock *block, size_t *count)
+{
+    *count = block->count;
+
+    return block->accesses;
+
+}
diff --git a/src/analysis/blocks/flow.h b/src/analysis/blocks/flow.h
new file mode 100644
index 0000000..cc2eb66
--- /dev/null
+++ b/src/analysis/blocks/flow.h
@@ -0,0 +1,60 @@
+
+/* OpenIDA - Outil d'analyse de fichiers binaires
+ * flow.h - prototypes pour l'encadrement des instructions par blocs d'exécution
+ *
+ * Copyright (C) 2012 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/>.
+ */
+
+
+#ifndef _ANALYSIS_BLOCKS_FLOW_H
+#define _ANALYSIS_BLOCKS_FLOW_H
+
+
+#include <glib.h>
+#include <glib-object.h>
+
+
+#include "../block.h"
+#include "../../arch/instruction.h"
+
+
+
+#define G_TYPE_FLOW_BLOCK               g_flow_block_get_type()
+#define G_FLOW_BLOCK(obj)               (G_TYPE_CHECK_INSTANCE_CAST((obj), g_flow_block_get_type(), GFlowBlock))
+#define G_IS_FLOW_BLOCK(obj)            (G_TYPE_CHECK_INSTANCE_TYPE((obj), g_flow_block_get_type()))
+#define G_FLOW_BLOCK_CLASS(klass)       (G_TYPE_CHECK_CLASS_CAST((klass), G_TYPE_FLOW_BLOCK, GFlowBlockClass))
+#define G_IS_FLOW_BLOCK_CLASS(klass)    (G_TYPE_CHECK_CLASS_TYPE((klass), G_TYPE_FLOW_BLOCK))
+#define G_FLOW_BLOCK_GET_CLASS(obj)     (G_TYPE_INSTANCE_GET_CLASS((obj), G_TYPE_FLOW_BLOCK, GFlowBlockClass))
+
+
+/* Description d'un bloc d'exécution d'instructions (instance) */
+typedef struct _GFlowBlock GFlowBlock;
+
+/* Description d'un bloc d'exécution d'instructions (classe) */
+typedef struct _GFlowBlockClass GFlowBlockClass;
+
+
+/* Indique le type défini pour un bloc d'exécution d'instructions. */
+GType g_flow_block_get_type(void);
+
+/* Crée un bloc d'exécution d'instructions. */
+GInstrBlock *g_flow_block_new(GArchInstruction *, GArchInstruction *, GArchInstruction *);
+
+
+
+#endif  /* _ANALYSIS_BLOCKS_FLOW_H */
diff --git a/src/analysis/blocks/virtual.c b/src/analysis/blocks/virtual.c
new file mode 100644
index 0000000..113e333
--- /dev/null
+++ b/src/analysis/blocks/virtual.c
@@ -0,0 +1,244 @@
+
+/* OpenIDA - Outil d'analyse de fichiers binaires
+ * virtual.c - encadrement des instructions par blocs virtuels
+ *
+ * Copyright (C) 2012 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 "virtual.h"
+
+
+#include <malloc.h>
+
+
+#include "../block-int.h"
+
+
+
+/* Description d'un bloc d'exécution d'instructions (instance) */
+struct _GVirtualBlock
+{
+    GInstrBlock parent;                     /* A laisser en premier        */
+
+    GArchInstruction *instrs;               /* Liste complète d'instruct°  */
+    GArchInstruction *first;                /* Première instruction        */
+    GArchInstruction *last;                 /* Dernière instruction        */
+
+    reg_access *accesses;                   /* Commodités d'accès #1       */
+    size_t count;                           /* Commodités d'accès #2       */
+
+
+    GInstrBlock **children;                 /* Sous-blocs intégrés         */
+    size_t children_count;                  /* Nombre de ces sous-blocs    */
+
+};
+
+/* Description d'un bloc d'exécution d'instructions (classe) */
+struct _GVirtualBlockClass
+{
+    GInstrBlockClass parent;                /* A laisser en premier        */
+
+};
+
+
+/* Initialise la classe des blocs d'instructions. */
+static void g_virtual_block_class_init(GVirtualBlockClass *);
+
+/* Initialise un bloc d'instructions. */
+static void g_virtual_block_init(GVirtualBlock *);
+
+/* Supprime toutes les références externes. */
+static void g_virtual_block_dispose(GVirtualBlock *);
+
+/* Procède à la libération totale de la mémoire. */
+static void g_virtual_block_finalize(GVirtualBlock *);
+
+/* Fournit les différents accès aux registres. */
+static const reg_access *g_virtual_block_list_regs_accesses(const GVirtualBlock *, size_t *);
+
+
+
+/* Indique le type défini pour un bloc virtuel d'instructions. */
+G_DEFINE_TYPE(GVirtualBlock, g_virtual_block, G_TYPE_INSTR_BLOCK);
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : class = classe à initialiser.                                *
+*                                                                             *
+*  Description : Initialise la classe des blocs d'instructions.               *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_virtual_block_class_init(GVirtualBlockClass *class)
+{
+    GObjectClass *object;                   /* Autre version de la classe  */
+
+    object = G_OBJECT_CLASS(class);
+
+    object->dispose = (GObjectFinalizeFunc/* ! */)g_virtual_block_dispose;
+    object->finalize = (GObjectFinalizeFunc)g_virtual_block_finalize;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : block = instance à initialiser.                              *
+*                                                                             *
+*  Description : Initialise un bloc d'instructions.                           *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_virtual_block_init(GVirtualBlock *block)
+{
+    GInstrBlock *parent;                    /* Instance parente            */
+
+    parent = G_INSTR_BLOCK(block);
+
+    parent->list_regs = (list_regs_accesses_fc)g_virtual_block_list_regs_accesses;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : block = instance d'objet GLib à traiter.                     *
+*                                                                             *
+*  Description : Supprime toutes les références externes.                     *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_virtual_block_dispose(GVirtualBlock *block)
+{
+    size_t i;                               /* Boucle de parcours          */
+
+    for (i = 0; i < block->children_count; i++)
+        g_object_unref(G_OBJECT(block->children[i]));
+
+    G_OBJECT_CLASS(g_virtual_block_parent_class)->dispose(G_OBJECT(block));
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : block = instance d'objet GLib à traiter.                     *
+*                                                                             *
+*  Description : Procède à la libération totale de la mémoire.                *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static void g_virtual_block_finalize(GVirtualBlock *block)
+{
+    if (block->accesses != NULL)
+        free(block->accesses);
+
+    if (block->children != NULL)
+        free(block->children);
+
+    G_OBJECT_CLASS(g_virtual_block_parent_class)->finalize(G_OBJECT(block));
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : -                                                            *
+*                                                                             *
+*  Description : Crée un bloc virtuel d'instructions.                         *
+*                                                                             *
+*  Retour      : Adresse de la structure mise en place.                       *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+GInstrBlock *g_virtual_block_new(void)
+{
+    GVirtualBlock *result;                     /* Structure à retourner       */
+
+    result = g_object_new(G_TYPE_VIRTUAL_BLOCK, NULL);
+
+    return G_INSTR_BLOCK(result);
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : block = bloc d'instructions à consulter.                     *
+*                count = nombre de registres consignés. [OUT]                 *
+*                                                                             *
+*  Description : Fournit les différents accès aux registres.                  *
+*                                                                             *
+*  Retour      : Liste des accès aux registres.                               *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+static const reg_access *g_virtual_block_list_regs_accesses(const GVirtualBlock *block, size_t *count)
+{
+    *count = 0;
+
+    return NULL;
+
+}
+
+
+/******************************************************************************
+*                                                                             *
+*  Paramètres  : block = bloc d'instructions à compléter.                     *
+*                child = sous-bloc à insérer.                                 *
+*                                                                             *
+*  Description : Ajoute un bloc au groupe courant.                            *
+*                                                                             *
+*  Retour      : -                                                            *
+*                                                                             *
+*  Remarques   : -                                                            *
+*                                                                             *
+******************************************************************************/
+
+void g_virtual_block_add_child(GVirtualBlock *block, GInstrBlock *child)
+{
+    block->children = (GInstrBlock **)realloc(block->children,
+                                              ++block->children_count * sizeof(GInstrBlock *));
+
+    block->children[block->children_count - 1] = child;
+
+    g_object_ref(G_OBJECT(child));
+
+}
diff --git a/src/analysis/blocks/virtual.h b/src/analysis/blocks/virtual.h
new file mode 100644
index 0000000..f1f559f
--- /dev/null
+++ b/src/analysis/blocks/virtual.h
@@ -0,0 +1,63 @@
+
+/* OpenIDA - Outil d'analyse de fichiers binaires
+ * virtual.h - prototypes pour l'encadrement des instructions par blocs virtuels
+ *
+ * Copyright (C) 2012 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/>.
+ */
+
+
+#ifndef _ANALYSIS_BLOCKS_VIRTUAL_H
+#define _ANALYSIS_BLOCKS_VIRTUAL_H
+
+
+#include <glib.h>
+#include <glib-object.h>
+
+
+#include "../block.h"
+#include "../../arch/instruction.h"
+
+
+
+#define G_TYPE_VIRTUAL_BLOCK               g_virtual_block_get_type()
+#define G_VIRTUAL_BLOCK(obj)               (G_TYPE_CHECK_INSTANCE_CAST((obj), g_virtual_block_get_type(), GVirtualBlock))
+#define G_IS_VIRTUAL_BLOCK(obj)            (G_TYPE_CHECK_INSTANCE_TYPE((obj), g_virtual_block_get_type()))
+#define G_VIRTUAL_BLOCK_CLASS(klass)       (G_TYPE_CHECK_CLASS_CAST((klass), G_TYPE_VIRTUAL_BLOCK, GVirtualBlockClass))
+#define G_IS_VIRTUAL_BLOCK_CLASS(klass)    (G_TYPE_CHECK_CLASS_TYPE((klass), G_TYPE_VIRTUAL_BLOCK))
+#define G_VIRTUAL_BLOCK_GET_CLASS(obj)     (G_TYPE_INSTANCE_GET_CLASS((obj), G_TYPE_VIRTUAL_BLOCK, GVirtualBlockClass))
+
+
+/* Description d'un bloc virtuel d'instructions (instance) */
+typedef struct _GVirtualBlock GVirtualBlock;
+
+/* Description d'un bloc virtuel d'instructions (classe) */
+typedef struct _GVirtualBlockClass GVirtualBlockClass;
+
+
+/* Indique le type défini pour un bloc virtuel d'instructions. */
+GType g_virtual_block_get_type(void);
+
+/* Crée un bloc virtuel d'instructions. */
+GInstrBlock *g_virtual_block_new(void);
+
+/* Ajoute un bloc au groupe courant. */
+void g_virtual_block_add_child(GVirtualBlock *, GInstrBlock *);
+
+
+
+#endif  /* _ANALYSIS_BLOCKS_VIRTUAL_H */