theory_mem.c File Reference

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

Go to the source code of this file.

Functions
void *	rz_il_handler_load (RzILVM *vm, RzILOpBitVector *op, RzILTypePure *type)
bool	rz_il_handler_store (RzILVM *vm, RzILOpEffect *op)
void *	rz_il_handler_loadw (RzILVM *vm, RzILOpBitVector *op, RzILTypePure *type)
bool	rz_il_handler_storew (RzILVM *vm, RzILOpEffect *op)

Function Documentation

rz_il_handler_load()

void* rz_il_handler_load	(	RzILVM *	vm,
		RzILOpBitVector *	op,
		RzILTypePure *	type
	)

Definition at line 8 of file theory_mem.c.

                                                                              {
    rz_return_val_if_fail(vm && op && type, NULL);
    RzILOpArgsLoad *op_load = &op->op.load;
 
    RzBitVector *addr = rz_il_evaluate_bitv(vm, op_load->key);
    if (!addr) {
        return NULL;
    }
    RzBitVector *ret = rz_il_vm_mem_load(vm, op_load->mem, addr);
    rz_bv_free(addr);
    *type = RZ_IL_TYPE_PURE_BITVECTOR;
    return ret;
}

References addr, rz_il_op_args_load_t::key, rz_il_op_args_load_t::mem, NULL, rz_bv_free(), rz_il_evaluate_bitv(), RZ_IL_TYPE_PURE_BITVECTOR, rz_il_vm_mem_load(), rz_return_val_if_fail, and type.

rz_il_handler_loadw()

void* rz_il_handler_loadw	(	RzILVM *	vm,
		RzILOpBitVector *	op,
		RzILTypePure *	type
	)

Definition at line 41 of file theory_mem.c.

                                                                               {
    rz_return_val_if_fail(vm && op && type, NULL);
    RzILOpArgsLoadW *op_loadw = &op->op.loadw;
 
    RzBitVector *addr = rz_il_evaluate_bitv(vm, op_loadw->key);
    if (!addr) {
        return NULL;
    }
    RzBitVector *ret = rz_il_vm_mem_loadw(vm, op_loadw->mem, addr, op_loadw->n_bits);
    rz_bv_free(addr);
    *type = RZ_IL_TYPE_PURE_BITVECTOR;
    return ret;
}

References addr, rz_il_op_args_loadw_t::key, rz_il_op_args_loadw_t::mem, rz_il_op_args_loadw_t::n_bits, NULL, rz_bv_free(), rz_il_evaluate_bitv(), RZ_IL_TYPE_PURE_BITVECTOR, rz_il_vm_mem_loadw(), rz_return_val_if_fail, and type.

rz_il_handler_store()

bool rz_il_handler_store	(	RzILVM *	vm,
		RzILOpEffect *	op
	)

Definition at line 22 of file theory_mem.c.

                                                       {
    rz_return_val_if_fail(vm && op, NULL);
 
    RzILOpArgsStore *op_store = &op->op.store;
 
    RzBitVector *addr = rz_il_evaluate_bitv(vm, op_store->key);
    RzBitVector *value = rz_il_evaluate_bitv(vm, op_store->value);
 
    bool ret = false;
    if (addr && value) {
        ret = true;
        rz_il_vm_mem_store(vm, op_store->mem, addr, value);
    }
    rz_bv_free(addr);
    rz_bv_free(value);
 
    return ret;
}

References addr, rz_il_op_args_store_t::key, rz_il_op_args_store_t::mem, NULL, rz_bv_free(), rz_il_evaluate_bitv(), rz_il_vm_mem_store(), rz_return_val_if_fail, value, and rz_il_op_args_store_t::value.

rz_il_handler_storew()

bool rz_il_handler_storew	(	RzILVM *	vm,
		RzILOpEffect *	op
	)

Definition at line 55 of file theory_mem.c.

                                                        {
    rz_return_val_if_fail(vm && op, NULL);
 
    RzILOpArgsStoreW *op_storew = &op->op.storew;
 
    RzBitVector *addr = rz_il_evaluate_bitv(vm, op_storew->key);
    RzBitVector *value = rz_il_evaluate_bitv(vm, op_storew->value);
 
    bool ret = false;
    if (addr && value) {
        ret = true;
        rz_il_vm_mem_storew(vm, op_storew->mem, addr, value);
    }
 
    rz_bv_free(addr);
    rz_bv_free(value);
 
    return ret;
}

References addr, rz_il_op_args_storew_t::key, rz_il_op_args_storew_t::mem, NULL, rz_bv_free(), rz_il_evaluate_bitv(), rz_il_vm_mem_storew(), rz_return_val_if_fail, value, and rz_il_op_args_storew_t::value.