/* Chrysalide - Outil d'analyse de fichiers binaires
* block.c - encadrement des instructions par blocs
*
* Copyright (C) 2016-2019 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 Chrysalide. If not, see .
*/
#include "block.h"
#include
#include
#include
#include "../block-int.h"
#include "../../arch/raw.h"
#include "../../common/extstr.h"
#include "../../core/params.h"
#include "../../glibext/gbinarycursor.h"
/* ------------------------ MISE EN PLACE DES BLOCS BASIQUES ------------------------ */
/* Description d'un bloc basique d'instructions (instance) */
struct _GBasicBlock
{
GCodeBlock parent; /* A laisser en premier */
/* Référence circulaire */
GLoadedBinary *binary; /* Binaire chargé et associé */
GArchInstruction *first; /* Première instruction */
GArchInstruction *last; /* Dernière instruction */
};
/* Description d'un bloc basique d'instructions (classe) */
struct _GBasicBlockClass
{
GCodeBlockClass parent; /* A laisser en premier */
};
/* Initialise la classe des blocs d'instructions basique. */
static void g_basic_block_class_init(GBasicBlockClass *);
/* Initialise un bloc d'instructions basique. */
static void g_basic_block_init(GBasicBlock *);
/* Supprime toutes les références externes. */
static void g_basic_block_dispose(GBasicBlock *);
/* Procède à la libération totale de la mémoire. */
static void g_basic_block_finalize(GBasicBlock *);
/* Détermine si un bloc de code contient une adresse donnée. */
static bool g_basic_block_contains_addr(const GBasicBlock *, const vmpa2t *);
/* Compare deux liens entre blocs de code. */
static int g_basic_block_compare_links(const block_link_t *, const block_link_t *);
/* Fournit les détails des origines d'un bloc de code donné. */
static block_link_t *g_basic_block_get_sources(const GBasicBlock *, const GBlockList *, size_t *);
/* Fournit les détails des destinations de bloc de code. */
static block_link_t *g_basic_block_get_destinations(const GBasicBlock *, const GBlockList *, size_t *);
/* Fournit la représentation graphique d'un bloc de code. */
static GBufferView *g_basic_block_build_view(const GBasicBlock *, segcnt_list *);
/* Construit un ensemble d'indications pour bloc. */
static char *g_basic_block_build_tooltip(const GBasicBlock *);
/* ---------------------------------------------------------------------------------- */
/* MISE EN PLACE DES BLOCS BASIQUES */
/* ---------------------------------------------------------------------------------- */
/* Indique le type défini pour un bloc d'instructions basique. */
G_DEFINE_TYPE(GBasicBlock, g_basic_block, G_TYPE_CODE_BLOCK);
/******************************************************************************
* *
* Paramètres : class = classe à initialiser. *
* *
* Description : Initialise la classe des blocs d'instructions basique. *
* *
* Retour : - *
* *
* Remarques : - *
* *
******************************************************************************/
static void g_basic_block_class_init(GBasicBlockClass *class)
{
GObjectClass *object; /* Autre version de la classe */
GCodeBlockClass *block; /* Version parente de la classe*/
object = G_OBJECT_CLASS(class);
object->dispose = (GObjectFinalizeFunc/* ! */)g_basic_block_dispose;
object->finalize = (GObjectFinalizeFunc)g_basic_block_finalize;
block = G_CODE_BLOCK_CLASS(class);
block->contains = (block_contains_fc)g_basic_block_contains_addr;
block->cmp_links = (block_compare_links_fc)g_basic_block_compare_links;
block->get_src = (block_get_links_fc)g_basic_block_get_sources;
block->get_dest = (block_get_links_fc)g_basic_block_get_destinations;
block->build = (block_build_view_fc)g_basic_block_build_view;
block->build_tooltip = (block_build_tooltip_fc)g_basic_block_build_tooltip;
}
/******************************************************************************
* *
* Paramètres : block = instance à initialiser. *
* *
* Description : Initialise un bloc d'instructions basique. *
* *
* Retour : - *
* *
* Remarques : - *
* *
******************************************************************************/
static void g_basic_block_init(GBasicBlock *block)
{
}
/******************************************************************************
* *
* Paramètres : block = instance d'objet GLib à traiter. *
* *
* Description : Supprime toutes les références externes. *
* *
* Retour : - *
* *
* Remarques : - *
* *
******************************************************************************/
static void g_basic_block_dispose(GBasicBlock *block)
{
//g_clear_object(&block->first);
//g_clear_object(&block->last);
G_OBJECT_CLASS(g_basic_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_basic_block_finalize(GBasicBlock *block)
{
G_OBJECT_CLASS(g_basic_block_parent_class)->finalize(G_OBJECT(block));
}
/******************************************************************************
* *
* Paramètres : binary = binaire chargé contenant les instructions. *
* first = première instruction du bloc. *
* last = dernière instruction du bloc. *
* bits = liste des blocs dominés. *
* *
* Description : Crée un bloc basique d'exécution d'instructions. *
* *
* Retour : Adresse de la structure mise en place. *
* *
* Remarques : - *
* *
******************************************************************************/
GCodeBlock *g_basic_block_new(GLoadedBinary *binary, GArchInstruction *first, GArchInstruction *last, const bitfield_t *bits)
{
GBasicBlock *result; /* Structure à retourner */
GCodeBlock *parent; /* Version parente d'instance */
result = g_object_new(G_TYPE_BASIC_BLOCK, NULL);
result->binary = binary;
result->first = first;
result->last = last;
//g_object_ref(G_OBJECT(first));
//g_object_ref(G_OBJECT(last));
parent = G_CODE_BLOCK(result);
parent->domination = dup_bit_field(bits);
return parent;
}
/******************************************************************************
* *
* Paramètres : block = bloc de code à consulter. *
* addr = localisation à comparer. *
* *
* Description : Détermine si un bloc de code contient une adresse donnée. *
* *
* Retour : - *
* *
* Remarques : - *
* *
******************************************************************************/
static bool g_basic_block_contains_addr(const GBasicBlock *block, const vmpa2t *addr)
{
bool result; /* Bilan à retourner */
const mrange_t *frange; /* Couverture d'instruction #1 */
const mrange_t *lrange; /* Couverture d'instruction #2 */
phys_t diff; /* Ecart entre les positions */
mrange_t coverage; /* Couverture du bloc */
frange = g_arch_instruction_get_range(block->first);
result = (cmp_vmpa(addr, get_mrange_addr(frange)) == 0);
if (!result)
{
lrange = g_arch_instruction_get_range(block->last);
result = (cmp_vmpa(addr, get_mrange_addr(lrange)) == 0);
if (!result)
{
diff = compute_vmpa_diff(get_mrange_addr(frange), get_mrange_addr(lrange));
diff += get_mrange_length(lrange);
init_mrange(&coverage, get_mrange_addr(frange), diff);
result = mrange_contains_addr(&coverage, addr);
}
}
return result;
}
/******************************************************************************
* *
* Paramètres : link_a = premier lien à traiter. *
* link_b = second lien à traiter. *
* *
* Description : Compare deux liens entre blocs de code. *
* *
* Retour : Bilan de la comparaison. *
* *
* Remarques : - *
* *
******************************************************************************/
static int g_basic_block_compare_links(const block_link_t *link_a, const block_link_t *link_b)
{
int result; /* Bilan à retourner */
const mrange_t *range_a; /* Couverture d'instruction #1 */
const mrange_t *range_b; /* Couverture d'instruction #2 */
range_a = g_arch_instruction_get_range(G_BASIC_BLOCK(link_a->linked)->first);
range_b = g_arch_instruction_get_range(G_BASIC_BLOCK(link_b->linked)->first);
result = cmp_mrange(range_a, range_b);
return result;
}
/******************************************************************************
* *
* Paramètres : block = bloc dont les informations sont à consulter. *
* list = ensemble des blocs de code à disposition. *
* count = nombre de ces origines. [OUT] *
* *
* Description : Fournit les détails des origines d'un bloc de code donné. *
* *
* Retour : Liens déterminés vers des blocs de code d'origine. *
* *
* Remarques : - *
* *
******************************************************************************/
static block_link_t *g_basic_block_get_sources(const GBasicBlock *block, const GBlockList *list, size_t *count)
{
block_link_t *result; /* Détails présents à renvoyer */
size_t scount; /* Nombre de liens d'origine */
size_t i; /* Boucle de parcours */
const instr_link_t *src; /* Instr. visée par une autre */
const mrange_t *range; /* Couverture d'instruction */
GCodeBlock *target; /* Bloc ciblé par un lien */
block_link_t *new; /* Nouvelle entrée à définir */
result = NULL;
*count = 0;
g_arch_instruction_lock_src(block->first);
scount = g_arch_instruction_count_sources(block->first);
for (i = 0; i < scount; i++)
{
src = g_arch_instruction_get_source(block->first, i);
range = g_arch_instruction_get_range(src->linked);
target = g_block_list_find_by_addr(list, get_mrange_addr(range));
/**
* Les liens ne sont pas toujours internes !
*/
if (target != NULL)
{
result = realloc(result, ++(*count) * sizeof(block_link_t));
new = &result[*count - 1];
new->linked = target;
new->type = src->type;
/**
* On pourrait par optimisation retirer les deux lignes suivantes...
*/
ref_block_link(new);
g_object_unref(G_OBJECT(target));
}
unref_instr_link(src);
}
g_arch_instruction_unlock_src(block->first);
return result;
}
/******************************************************************************
* *
* Paramètres : block = bloc dont les informations sont à consulter. *
* list = ensemble des blocs de code à disposition. *
* count = nombre de ces destinations. [OUT] *
* *
* Description : Fournit les détails des destinations de bloc de code. *
* *
* Retour : Liens déterminés vers des blocs de code de destination. *
* *
* Remarques : - *
* *
******************************************************************************/
static block_link_t *g_basic_block_get_destinations(const GBasicBlock *block, const GBlockList *list, size_t *count)
{
block_link_t *result; /* Détails présents à renvoyer */
size_t dcount; /* Nombre de liens de dest. */
size_t i; /* Boucle de parcours */
const instr_link_t *dest; /* Instr. visée par une autre */
const mrange_t *range; /* Couverture d'instruction */
GCodeBlock *target; /* Bloc ciblé par un lien */
block_link_t *new; /* Nouvelle entrée à définir */
result = NULL;
*count = 0;
g_arch_instruction_lock_dest(block->last);
dcount = g_arch_instruction_count_destinations(block->last);
for (i = 0; i < dcount; i++)
{
dest = g_arch_instruction_get_destination(block->last, i);
range = g_arch_instruction_get_range(dest->linked);
target = g_block_list_find_by_addr(list, get_mrange_addr(range));
/**
* Les sauts ne se font pas toujours à l'intérieur d'une même fonction.
* Par exemple sous ARM :
*
* 00008358 :
* ....
* 8362: f7ff bfcf b.w 8304 <_init+0x38>
* ....
*
*/
if (target != NULL)
{
result = realloc(result, ++(*count) * sizeof(block_link_t));
new = &result[*count - 1];
new->linked = target;
new->type = dest->type;
/**
* On pourrait par optimisation retirer les deux lignes suivantes...
*/
ref_block_link(new);
g_object_unref(G_OBJECT(target));
}
unref_instr_link(dest);
}
g_arch_instruction_unlock_dest(block->last);
return result;
}
/******************************************************************************
* *
* Paramètres : block = bloc de code à manipuler. *
* highlighted = gestionnaire de surbrillance pour segments. *
* *
* Description : Fournit la représentation graphique d'un bloc de code. *
* *
* Retour : Vue d'un cache de lignes. *
* *
* Remarques : - *
* *
******************************************************************************/
static GBufferView *g_basic_block_build_view(const GBasicBlock *block, segcnt_list *highlighted)
{
GBufferView *result; /* Instance à retourner */
const mrange_t *first_range; /* Couverture d'instruction #1 */
const mrange_t *last_range; /* Couverture d'instruction #2 */
GLineCursor *start; /* Départ de zone couverture */
GLineCursor *end; /* Fin de zone couverture */
GBufferCache *cache; /* Tampon brut à découper */
first_range = g_arch_instruction_get_range(block->first);
last_range = g_arch_instruction_get_range(block->last);
start = g_binary_cursor_new();
g_binary_cursor_update(G_BINARY_CURSOR(start), get_mrange_addr(first_range));
end = g_binary_cursor_new();
g_binary_cursor_update(G_BINARY_CURSOR(end), get_mrange_addr(last_range));
cache = g_loaded_binary_get_disassembled_cache(block->binary);
result = g_buffer_view_new(cache, highlighted);
g_buffer_view_restrict(result, start, end);
return result;
}
/******************************************************************************
* *
* Paramètres : block = bloc de code à consulter. *
* *
* Description : Construit un ensemble d'indications pour bloc. *
* *
* Retour : Informations à présenter sous forme de bulle d'aide. *
* *
* Remarques : - *
* *
******************************************************************************/
static char *g_basic_block_build_tooltip(const GBasicBlock *block)
{
char *result; /* Description à retourner */
const mrange_t *brange[2]; /* Emplacements d'instruction */
phys_t diff; /* Espacement entre adresses */
mrange_t range; /* Couverture du bloc */
char *name; /* Désignation de l'entête */
GBinFormat *format; /* Format associé au binaire */
GBinSymbol *symbol; /* Symbole lié au bloc */
char *label; /* Etiquette à insérer */
GBufferCache *cache; /* Tampon d'impression colorée */
GBufferLine *line; /* Ligne au contenu coloré */
VMPA_BUFFER(loc); /* Indication de position */
GGenConfig *config; /* Configuration à consulter */
unsigned int max_calls; /* Quantité d'appels à afficher*/
unsigned int max_strings; /* Nbre de chaînes à afficher */
unsigned int ins_count; /* Quantité d'instructions */
unsigned int call_count; /* Quantité d'appels */
char *call_info; /* Détails des appels */
unsigned int string_count; /* Quantité de chaînes */
char *string_info; /* Détails des chaînes */
GArchProcessor *proc; /* Architecture utilisée */
instr_iter_t *iter; /* Parcours local d'adresses */
GArchInstruction *instr; /* Instruction correspondante */
size_t dcount; /* Nombre de liens de dest. */
size_t i; /* Boucle de parcours */
const instr_link_t *dest; /* Instr. visée par une autre */
const mrange_t *irange; /* Emplacement d'instruction */
GLineCursor *cursor; /* Emplacement dans un tampon */
size_t index; /* Indice de ligne à traiter */
char *info; /* Ligne d'information créée */
/* Définition de la couverture du bloc */
brange[0] = g_arch_instruction_get_range(block->first);
brange[1] = g_arch_instruction_get_range(block->last);
diff = compute_vmpa_diff(get_mrange_addr(brange[0]), get_mrange_addr(brange[1]));
init_mrange(&range, get_mrange_addr(brange[0]), diff + get_mrange_length(brange[1]));
/* Recherche d'un symbole de départ */
name = NULL;
format = G_BIN_FORMAT(g_loaded_binary_get_format(block->binary));
if (g_binary_format_find_symbol_at(format, get_mrange_addr(brange[0]), &symbol))
{
label = g_binary_symbol_get_label(symbol);
if (label != NULL)
{
cache = g_buffer_cache_new(NULL);
g_buffer_cache_append(cache, G_LINE_GENERATOR(symbol), BLF_NONE);
line = g_buffer_cache_find_line_by_index(cache, 0);
name = g_buffer_line_get_text(line, BLC_ASSEMBLY_LABEL, BLC_COUNT, true);
g_object_unref(G_OBJECT(line));
g_object_unref(G_OBJECT(cache));
/* Suppression de la fin de l'étiquette... */
name = strrpl(name, ":", "");
}
else
name = NULL;
free(label);
g_object_unref(G_OBJECT(symbol));
}
if (name == NULL)
{
proc = g_loaded_binary_get_processor(block->binary);
if (g_arch_processor_has_virtual_space(proc) && has_virt_addr(get_mrange_addr(&range)))
vmpa2_virt_to_string(get_mrange_addr(&range), MDS_UNDEFINED, loc, NULL);
else
vmpa2_phys_to_string(get_mrange_addr(&range), MDS_UNDEFINED, loc, NULL);
name = strdup(loc);
g_object_unref(G_OBJECT(proc));
}
result = name;
/* Lecture des paramètres de configuration */
config = get_main_configuration();
if (!g_generic_config_get_value(config, MPK_TOOLTIP_MAX_CALLS, &max_calls))
max_calls = 0;
max_calls++;
if (!g_generic_config_get_value(config, MPK_TOOLTIP_MAX_STRINGS, &max_strings))
max_strings = 0;
max_strings++;
/* Parcours des instructions */
ins_count = 0;
call_count = 0;
call_info = NULL;
string_count = 0;
string_info = NULL;
proc = g_loaded_binary_get_processor(block->binary);
cache = g_loaded_binary_get_disassembled_cache(block->binary);
iter = g_arch_processor_get_iter_from_address(proc, get_mrange_addr(&range));
if (iter == NULL) goto no_iter;
restrict_instruction_iterator(iter, &range);
for (instr = get_instruction_iterator_current(iter);
instr != NULL;
instr = get_instruction_iterator_next(iter))
{
ins_count ++;
/* Appels ou références ? */
g_arch_instruction_lock_dest(instr);
dcount = g_arch_instruction_count_destinations(instr);
for (i = 0; i < dcount; i++)
{
dest = g_arch_instruction_get_destination(instr, i);
switch (dest->type)
{
case ILT_CALL:
call_count++;
if (call_count > max_calls)
goto next_dest;
if (call_count == max_calls)
{
call_info = stradd(call_info, "\n ...");
goto next_dest;
}
irange = g_arch_instruction_get_range(instr);
cursor = g_binary_cursor_new();
g_binary_cursor_update(G_BINARY_CURSOR(cursor), get_mrange_addr(irange));
index = g_buffer_cache_find_index_by_cursor(cache, cursor, true);
g_object_unref(G_OBJECT(cursor));
index = g_buffer_cache_look_for_flag(cache, index, BLF_HAS_CODE);
line = g_buffer_cache_find_line_by_index(cache, index);
if (line != NULL)
{
info = g_buffer_line_get_text(line, BLC_ASSEMBLY_HEAD, BLC_COUNT, true);
g_object_unref(G_OBJECT(line));
}
else
info = NULL;
if (call_info != NULL)
call_info = stradd(call_info, "\n");
if (info != NULL)
{
call_info = stradd(call_info, " - ");
call_info = stradd(call_info, info);
free(info);
}
else
call_info = stradd(call_info, " - ???");
break;
case ILT_REF:
if (!G_IS_RAW_INSTRUCTION(dest->linked))
goto next_dest;
if (!g_raw_instruction_is_string(G_RAW_INSTRUCTION(dest->linked)))
goto next_dest;
string_count++;
if (string_count > max_strings)
goto next_dest;
if (string_count == max_strings)
{
string_info = stradd(string_info, "\n ...");
goto next_dest;
}
irange = g_arch_instruction_get_range(dest->linked);
cursor = g_binary_cursor_new();
g_binary_cursor_update(G_BINARY_CURSOR(cursor), get_mrange_addr(irange));
index = g_buffer_cache_find_index_by_cursor(cache, cursor, true);
g_object_unref(G_OBJECT(cursor));
index = g_buffer_cache_look_for_flag(cache, index, BLF_HAS_CODE);
line = g_buffer_cache_find_line_by_index(cache, index);
if (line != NULL)
{
info = g_buffer_line_get_text(line, BLC_ASSEMBLY, BLC_COUNT, true);
g_object_unref(G_OBJECT(line));
}
else
info = NULL;
if (string_info != NULL)
string_info = stradd(string_info, "\n");
if (info != NULL)
{
string_info = stradd(string_info, " - ");
string_info = stradd(string_info, info);
free(info);
}
else
string_info = stradd(string_info, " - ???");
break;
default:
break;
}
next_dest:
unref_instr_link(dest);
}
g_arch_instruction_unlock_dest(instr);
g_object_unref(G_OBJECT(instr));
}
delete_instruction_iterator(iter);
no_iter:
g_object_unref(G_OBJECT(cache));
g_object_unref(G_OBJECT(proc));
/* Construction du résumé */
result = stradd(result, "\n");
if (ins_count > 1)
asprintf(&info, " - %u %s", ins_count, _("instructions"));
else
asprintf(&info, " - %u %s", ins_count, _("instruction"));
result = stradd(result, info);
free(info);
result = stradd(result, "\n");
if (call_count > 1)
asprintf(&info, " - %u %s", call_count, _("calls:"));
else if (call_count == 1)
asprintf(&info, " - 1 %s", _("call:"));
else
asprintf(&info, " - 0 %s", _("call"));
if (call_count > 0)
{
info = stradd(info, "\n");
info = stradd(info, call_info);
free(call_info);
}
info = stradd(info, "\n");
result = stradd(result, info);
free(info);
if (string_count > 1)
asprintf(&info, " - %u %s", string_count, _("strings:"));
else if (string_count == 1)
asprintf(&info, " - 1 %s", _("string:"));
else
asprintf(&info, " - 0 %s", _("string"));
if (string_count > 0)
{
info = stradd(info, "\n");
info = stradd(info, string_info);
free(string_info);
}
result = stradd(result, info);
free(info);
return result;
}
/******************************************************************************
* *
* Paramètres : block = bloc d'instructions à consulter. *
* first = instruction de départ du bloc. [OUT] *
* last = dernière instruction du bloc. [OUT] *
* *
* Description : Fournit les instructions limites d'un bloc basique. *
* *
* Retour : - *
* *
* Remarques : - *
* *
******************************************************************************/
void g_basic_block_get_boundaries(const GBasicBlock *block, GArchInstruction **first, GArchInstruction **last)
{
if (first != NULL)
{
*first = block->first;
g_object_ref(G_OBJECT(*first));
}
if (last != NULL)
{
*last = block->last;
g_object_ref(G_OBJECT(*last));
}
}
/******************************************************************************
* *
* Paramètres : block = bloc d'instructions à consulter. *
* proc = processeur contenant l'ensemble des instructions. *
* *
* Description : Fournit un itérateur d'instructions limité au bloc basique. *
* *
* Retour : Itérateur mis en place ou NULL en cas d'échec. *
* *
* Remarques : - *
* *
******************************************************************************/
instr_iter_t *g_basic_block_get_iterator(const GBasicBlock *block, GArchProcessor *proc)
{
instr_iter_t *result; /* Itérateur à renvoyer */
const mrange_t *first_range; /* Emplacement d'instruction #1*/
const vmpa2t *first_addr; /* Point de départ associé */
const mrange_t *last_range; /* Emplacement d'instruction #2*/
phys_t length; /* Taille de la couverture */
mrange_t range; /* Couverture du bloc */
first_range = g_arch_instruction_get_range(block->first);
first_addr = get_mrange_addr(first_range);
result = g_arch_processor_get_iter_from_address(proc, first_addr);
if (result != NULL)
{
last_range = g_arch_instruction_get_range(block->last);
length = compute_vmpa_diff(first_addr, get_mrange_addr(last_range));
length += get_mrange_length(last_range);
init_mrange(&range, first_addr, length);
restrict_instruction_iterator(result, &range);
}
return result;
}