theory_effect.c File Reference

#include <rz_il/rz_il_opcodes.h>
#include <rz_il/rz_il_vm.h>

Go to the source code of this file.

Functions
static RzILEvent *	il_event_new_write_from_var (RzILVM *vm, RzILVar *var, RzILVal *new_val)
static void	rz_il_set (RzILVM *vm, const char *var_name, bool is_local, RZ_OWN RzILVal *val)
bool	rz_il_handler_empty (RzILVM *vm, RzILOpEffect *op)
bool	rz_il_handler_nop (RzILVM *vm, RzILOpEffect *op)
bool	rz_il_handler_set (RzILVM *vm, RzILOpEffect *op)
static void	perform_jump (RzILVM *vm, RZ_OWN RzBitVector *dst)
bool	rz_il_handler_jmp (RzILVM *vm, RzILOpEffect *op)
bool	rz_il_handler_goto (RzILVM *vm, RzILOpEffect *op)
bool	rz_il_handler_seq (RzILVM *vm, RzILOpEffect *op)
bool	rz_il_handler_blk (RzILVM *vm, RzILOpEffect *op)
bool	rz_il_handler_repeat (RzILVM *vm, RzILOpEffect *op)
bool	rz_il_handler_branch (RzILVM *vm, RzILOpEffect *op)

Function Documentation

il_event_new_write_from_var()

static RzILEvent* il_event_new_write_from_var ( RzILVM *  vm, RzILVar *  var, RzILVal *  new_val  )

static

Definition at line 8 of file theory_effect.c.

                                                                                          {
    rz_return_val_if_fail(vm && var && new_val, NULL);
    RzILVal *old_val = rz_il_vm_get_var_value(vm, RZ_IL_VAR_KIND_GLOBAL, var->name);
    if (!old_val) {
        return NULL;
    }
    return rz_il_event_var_write_new(var->name, old_val, new_val);
}

References rz_il_var_t::name, NULL, rz_il_event_var_write_new(), RZ_IL_VAR_KIND_GLOBAL, rz_il_vm_get_var_value(), and rz_return_val_if_fail.

Referenced by rz_il_set().

perform_jump()

static void perform_jump ( RzILVM *  vm, RZ_OWN RzBitVector *  dst  )

static

Definition at line 50 of file theory_effect.c.

                                                              {
    rz_il_vm_event_add(vm, rz_il_event_pc_write_new(vm->pc, dst));
    rz_bv_free(vm->pc);
    vm->pc = dst;
}

References dst, rz_il_vm_t::pc, rz_bv_free(), rz_il_event_pc_write_new(), and rz_il_vm_event_add().

Referenced by rz_il_handler_goto(), and rz_il_handler_jmp().

rz_il_handler_blk()

bool rz_il_handler_blk	(	RzILVM *	vm,
		RzILOpEffect *	op
	)

Definition at line 89 of file theory_effect.c.

                                                     {
    rz_return_val_if_fail(vm && op, false);
 
    RzILOpArgsBlk *op_blk = &op->op.blk;
    if (op_blk->label) {
        rz_il_vm_create_label(vm, op_blk->label, vm->pc); // create the label if `blk` is labelled
    }
 
    return rz_il_evaluate_effect(vm, op_blk->data_eff) && rz_il_evaluate_effect(vm, op_blk->ctrl_eff);
}

References rzil_op_blk_t::ctrl_eff, rzil_op_blk_t::data_eff, rzil_op_blk_t::label, rz_il_vm_t::pc, rz_il_evaluate_effect(), rz_il_vm_create_label(), and rz_return_val_if_fail.

rz_il_handler_branch()

bool rz_il_handler_branch	(	RzILVM *	vm,
		RzILOpEffect *	op
	)

Definition at line 118 of file theory_effect.c.

                                                        {
    rz_return_val_if_fail(vm && op, false);
 
    RzILOpArgsBranch *op_branch = &op->op.branch;
 
    RzILBool *condition = rz_il_evaluate_bool(vm, op_branch->condition);
    if (!condition) {
        return false;
    }
    bool ret;
    if (condition->b) {
        ret = rz_il_evaluate_effect(vm, op_branch->true_eff);
    } else {
        ret = rz_il_evaluate_effect(vm, op_branch->false_eff);
    }
    rz_il_bool_free(condition);
 
    return ret;
}

References rz_il_bool_t::b, rz_il_op_args_branch_t::condition, rz_il_op_args_branch_t::false_eff, rz_il_bool_free(), rz_il_evaluate_bool(), rz_il_evaluate_effect(), rz_return_val_if_fail, and rz_il_op_args_branch_t::true_eff.

rz_il_handler_empty()

bool rz_il_handler_empty	(	RzILVM *	vm,
		RzILOpEffect *	op
	)

Definition at line 28 of file theory_effect.c.

                                                       {
    rz_return_val_if_fail(vm && op, false);
    RZ_LOG_WARN("Encountered an empty instruction at %s", rz_bv_as_string(vm->pc))
    return true;
}

References rz_il_vm_t::pc, rz_bv_as_string(), RZ_LOG_WARN, and rz_return_val_if_fail.

rz_il_handler_goto()

bool rz_il_handler_goto	(	RzILVM *	vm,
		RzILOpEffect *	op
	)

Definition at line 66 of file theory_effect.c.

                                                      {
    rz_return_val_if_fail(vm && op, false);
    RzILOpArgsGoto *op_goto = &op->op.goto_;
    const char *lname = op_goto->lbl;
    RzILEffectLabel *label = rz_il_vm_find_label_by_name(vm, lname);
    if (!label) {
        return false;
    }
    if (label->type == EFFECT_LABEL_SYSCALL || label->type == EFFECT_LABEL_HOOK) {
        RzILVmHook internal_hook = (RzILVmHook)label->hook;
        internal_hook(vm, op);
    } else {
        perform_jump(vm, rz_bv_dup(label->addr));
    }
    return true;
}

References EFFECT_LABEL_HOOK, EFFECT_LABEL_SYSCALL, rz_il_op_args_goto_t::lbl, perform_jump(), rz_bv_dup(), rz_il_vm_find_label_by_name(), and rz_return_val_if_fail.

rz_il_handler_jmp()

bool rz_il_handler_jmp	(	RzILVM *	vm,
		RzILOpEffect *	op
	)

Definition at line 56 of file theory_effect.c.

                                                     {
    rz_return_val_if_fail(vm && op, false);
    RzBitVector *dst = rz_il_evaluate_bitv(vm, op->op.jmp.dst);
    if (!dst) {
        return false;
    }
    perform_jump(vm, dst);
    return true;
}

References dst, perform_jump(), rz_il_evaluate_bitv(), and rz_return_val_if_fail.

rz_il_handler_nop()

bool rz_il_handler_nop	(	RzILVM *	vm,
		RzILOpEffect *	op
	)

Definition at line 34 of file theory_effect.c.

                                                     {
    rz_return_val_if_fail(vm && op, false);
    return true;
}

References rz_return_val_if_fail.

rz_il_handler_repeat()

bool rz_il_handler_repeat	(	RzILVM *	vm,
		RzILOpEffect *	op
	)

Definition at line 100 of file theory_effect.c.

                                                        {
    rz_return_val_if_fail(vm && op, NULL);
 
    RzILOpArgsRepeat *op_repeat = &op->op.repeat;
    bool res = true;
    RzILBool *condition;
    while ((condition = rz_il_evaluate_bool(vm, op_repeat->condition))) {
        if (!condition->b) {
            break;
        }
        res = res && rz_il_evaluate_effect(vm, op_repeat->data_eff);
        rz_il_bool_free(condition);
    }
    rz_il_bool_free(condition);
 
    return res;
}

References rz_il_bool_t::b, rzil_op_repeat_t::condition, rzil_op_repeat_t::data_eff, NULL, rz_il_bool_free(), rz_il_evaluate_bool(), rz_il_evaluate_effect(), and rz_return_val_if_fail.

rz_il_handler_seq()

bool rz_il_handler_seq	(	RzILVM *	vm,
		RzILOpEffect *	op
	)

Definition at line 83 of file theory_effect.c.

                                                     {
    rz_return_val_if_fail(vm && op, false);
    RzILOpArgsSeq *op_seq = &op->op.seq;
    return rz_il_evaluate_effect(vm, op_seq->x) && rz_il_evaluate_effect(vm, op_seq->y);
}

References rz_il_evaluate_effect(), rz_return_val_if_fail, rz_il_op_args_seq_t::x, and rz_il_op_args_seq_t::y.

rz_il_handler_set()

bool rz_il_handler_set	(	RzILVM *	vm,
		RzILOpEffect *	op
	)

Definition at line 39 of file theory_effect.c.

                                                     {
    rz_return_val_if_fail(vm && op, false);
    RzILOpArgsSet *set_op = &op->op.set;
    RzILVal *val = rz_il_evaluate_val(vm, set_op->x);
    if (!val) {
        return false;
    }
    rz_il_set(vm, set_op->v, set_op->is_local, val);
    return true;
}

References rz_il_op_args_set_t::is_local, rz_il_evaluate_val(), rz_il_set(), rz_return_val_if_fail, rz_il_op_args_set_t::v, val, and rz_il_op_args_set_t::x.

rz_il_set()

static void rz_il_set ( RzILVM *  vm, const char *  var_name, bool  is_local, RZ_OWN RzILVal *  val  )

static

Definition at line 17 of file theory_effect.c.

                                                                                            {
    if (is_local) {
        rz_il_vm_set_local_var(vm, var_name, val);
    } else {
        RzILVar *var = rz_il_vm_get_var(vm, RZ_IL_VAR_KIND_GLOBAL, var_name);
        RzILEvent *evt = il_event_new_write_from_var(vm, var, val);
        rz_il_vm_event_add(vm, evt);
        rz_il_vm_set_global_var(vm, var_name, val);
    }
}

References il_event_new_write_from_var(), RZ_IL_VAR_KIND_GLOBAL, rz_il_vm_event_add(), rz_il_vm_get_var(), rz_il_vm_set_global_var(), rz_il_vm_set_local_var(), and val.

Referenced by rz_il_handler_set().