/* Chrysalide - Outil d'analyse de fichiers binaires
* links.c - résolution des liens entre différentes instructions
*
* Copyright (C) 2010-2017 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 <http://www.gnu.org/licenses/>.
*/
#include "links.h"
#include <assert.h>
#include "../../arch/instruction.h"
#include "../../arch/raw.h"
#include "../../arch/target.h"
#include "../../arch/targetableop.h"
/* Complète un désassemblage accompli pour une instruction. */
static void convert_immediate_into_target(GArchInstruction *, size_t, GBinFormat *);
/******************************************************************************
* *
* Paramètres : instr = instruction désassemblée à traiter. *
* prev = instruction précédente. *
* *
* Description : Rétablit un lien naturel coupé par un autre lien. *
* *
* Retour : - *
* *
* Remarques : - *
* *
******************************************************************************/
void establish_natural_link(GArchInstruction *instr, GArchInstruction *prev)
{
size_t count; /* Nbre de sources affichées */
bool has_src; /* Présence de sources ? */
const instr_link_t *other; /* Instruction diverse liée */
size_t i; /* Boucle de parcours */
bool no_natural; /* Aucun lien naturel présent */
bool no_need; /* Pas de besoin pour ce lien */
/**
* Si rien ne vient séparer les deux instructions,
* on ne peut pas créer de lien plus naturel que l'existant.
*/
g_arch_instruction_lock_src(instr);
count = g_arch_instruction_count_sources(instr);
has_src = false;
for (i = 0; i < count && !has_src; i++)
{
other = g_arch_instruction_get_source(instr, i);
if (other->type != ILT_REF)
has_src = true;
unref_instr_link(other);
}
g_arch_instruction_unlock_src(instr);
if (!has_src)
return;
/**
* Si on se trouve à une extrémité, on ne se lie pas
* avec le voisin.
*/
if (g_arch_instruction_get_flags(prev) & AIF_RETURN_POINT)
return;
if (g_arch_instruction_get_flags(instr) & AIF_ROUTINE_START)
return;
/**
* On s'assure que le lien naturel est nécessaire et qu'il n'est pas
* déjà en place.
*/
g_arch_instruction_lock_dest(prev);
count = g_arch_instruction_count_destinations(prev);
no_natural = true;
no_need = (count > 0);
for (i = 0; i < count && no_natural; i++)
{
other = g_arch_instruction_get_destination(prev, i);
switch (other->type)
{
case ILT_EXEC_FLOW:
no_natural = false;
break;
case ILT_JUMP_IF_TRUE:
case ILT_JUMP_IF_FALSE:
if (other->linked != instr)
no_need = false;
else
{
no_need = true;
goto check_done;
}
break;
default:
break;
}
unref_instr_link(other);
}
check_done:
g_arch_instruction_unlock_dest(prev);
if (no_natural && !no_need)
{
/* Vérification de la cohérence de l'ensemble */
#ifndef NDEBUG
g_arch_instruction_lock_src(instr);
count = g_arch_instruction_count_sources(instr);
for (i = 0; i < count; i++)
{
other = g_arch_instruction_get_source(instr, i);
switch (other->type)
{
case ILT_EXEC_FLOW:
assert(false);
break;
case ILT_JUMP:
case ILT_CASE_JUMP:
case ILT_JUMP_IF_TRUE:
case ILT_JUMP_IF_FALSE:
case ILT_LOOP:
case ILT_CATCH_EXCEPTION:
assert(other->linked != prev);
break;
default:
break;
}
unref_instr_link(other);
}
g_arch_instruction_unlock_src(instr);
#endif
g_arch_instruction_link_with(prev, instr, ILT_EXEC_FLOW);
}
}
/******************************************************************************
* *
* Paramètres : instr = instruction désassemblée à traiter. *
* index = indice de l'opérande à traiter. *
* format = accès aux données du binaire d'origine. *
* *
* Description : Complète un désassemblage accompli pour une instruction. *
* *
* Retour : - *
* *
* Remarques : - *
* *
******************************************************************************/
static void convert_immediate_into_target(GArchInstruction *instr, size_t index, GBinFormat *format)
{
GArchOperand *op; /* Opérande numérique en place */
GImmOperand *imm; /* Version native de l'opérande*/
virt_t addr; /* Adresse visée par le saut */
MemoryDataSize msize; /* Taille de l'opérande */
vmpa2t target; /* Défination finale précise */
GTargetOperand *new; /* Instruction de ciblage */
op = _g_arch_instruction_get_operand(instr, index);
if (!G_IS_IMM_OPERAND(op))
goto ciit_done;
imm = G_IMM_OPERAND(op);
if (g_imm_operand_get_display(imm) != IOD_HEX)
goto ciit_done;
if (g_imm_operand_to_virt_t(imm, &addr))
{
msize = g_imm_operand_get_size(imm);
if (g_exe_format_translate_address_into_vmpa(G_EXE_FORMAT(format), addr, &target))
{
new = G_TARGET_OPERAND(g_target_operand_new(msize, &target));
if (!g_target_operand_resolve(new, format, false))
g_object_unref(G_OBJECT(new));
else
_g_arch_instruction_replace_operand(instr, op, G_ARCH_OPERAND(new));
}
}
ciit_done:
g_object_unref(G_OBJECT(op));
}
/******************************************************************************
* *
* Paramètres : instr = instruction désassemblée à traiter. *
* format = accès aux données du binaire d'origine. *
* proc = ensemble d'instructions à relier. *
* *
* Description : Complète un désassemblage accompli pour une instruction. *
* *
* Retour : - *
* *
* Remarques : - *
* *
******************************************************************************/
void establish_links_for_instruction(GArchInstruction *instr, GBinFormat *format, GArchProcessor *proc)
{
bool skip; /* Saut des conversions */
size_t count; /* Nombre d'opérandes présents */
size_t i; /* Boucle de parcours */
GArchOperand *op; /* Opérande numérique en place */
const mrange_t *range; /* Emplacement de l'instruction*/
vmpa2t addr; /* Localisation plus complète */
GArchInstruction *target; /* Instruction visée au final */
if (G_IS_RAW_INSTRUCTION(instr))
skip = g_raw_instruction_is_string(G_RAW_INSTRUCTION(instr));
else
skip = false;
g_arch_instruction_lock_operands(instr);
count = _g_arch_instruction_count_operands(instr);
for (i = 0; i < count; i++)
{
if (!skip)
convert_immediate_into_target(instr, i, format);
op = _g_arch_instruction_get_operand(instr, i);
if (!G_IS_TARGETABLE_OPERAND(op)) goto next_op;
range = g_arch_instruction_get_range(instr);
if (!g_targetable_operand_get_addr(G_TARGETABLE_OPERAND(op), get_mrange_addr(range), format, proc, &addr))
goto next_op;
target = g_arch_processor_find_instr_by_address(proc, &addr);
if (target != NULL)
{
if (!g_arch_instruction_has_link_to(instr, target))
g_arch_instruction_link_with(instr, target, ILT_REF);
g_object_unref(G_OBJECT(target));
}
next_op:
g_object_unref(G_OBJECT(op));
}
g_arch_instruction_unlock_operands(instr);
}