value.h File Reference

#include <rz_il/definitions/bool.h>
#include <rz_il/definitions/sort.h>

Go to the source code of this file.

Classes
union	RzValUnion
struct	rz_il_val_t

Typedefs
typedef struct rz_il_val_t	RzILVal

Functions
RZ_API RZ_OWN RzILVal *	rz_il_value_new_bitv (RZ_NONNULL RzBitVector *bv)
RZ_API RZ_OWN RzILVal *	rz_il_value_new_bool (RZ_NONNULL RzILBool *b)
RZ_API RZ_OWN RzILVal *	rz_il_value_new_zero_of (RzILSortPure sort)
RZ_API RZ_OWN RzILVal *	rz_il_value_dup (RZ_NONNULL const RzILVal *val)
RZ_API void	rz_il_value_free (RZ_NULLABLE RzILVal *val)
RZ_API RzILSortPure	rz_il_value_get_sort (RZ_NONNULL RzILVal *val)
RZ_API RZ_OWN RzBitVector *	rz_il_value_to_bv (RZ_NONNULL const RzILVal *val)
RZ_API bool	rz_il_value_eq (RZ_NONNULL const RzILVal *a, RZ_NONNULL const RzILVal *b)
RZ_API char *	rz_il_value_stringify (RZ_NONNULL const RzILVal *val)

Typedef Documentation

RzILVal

typedef struct rz_il_val_t RzILVal

A concrete value of 'a pure. Either a bitvector or boolean.

Function Documentation

rz_il_value_dup()

RZ_API RZ_OWN RzILVal* rz_il_value_dup

(

RZ_NONNULL const RzILVal *

val

)

Clone an RzILVal

Parameters

val	RzILVal, pointer to the value you want to dump

Returns

dump RzILVal, pointer to the dumped value

Definition at line 85 of file value.c.

                                                                      {
    rz_return_val_if_fail(val, NULL);
    RzILBool *b = NULL;
    RzBitVector *bv = NULL;
 
    switch (val->type) {
    case RZ_IL_TYPE_PURE_BOOL:
        b = rz_il_bool_new(val->data.b->b);
        return b ? rz_il_value_new_bool(b) : NULL;
    case RZ_IL_TYPE_PURE_BITVECTOR:
        bv = rz_bv_dup(val->data.bv);
        return bv ? rz_il_value_new_bitv(bv) : NULL;
    default:
        rz_warn_if_reached();
        return NULL;
    }
}

References b, NULL, rz_bv_dup(), rz_il_bool_new(), RZ_IL_TYPE_PURE_BITVECTOR, RZ_IL_TYPE_PURE_BOOL, rz_il_value_new_bitv(), rz_il_value_new_bool(), rz_return_val_if_fail, rz_warn_if_reached, and val.

Referenced by rz_il_event_var_read_new(), rz_il_event_var_write_new(), and setup_vm_init_state().

rz_il_value_eq()

RZ_API bool rz_il_value_eq	(	RZ_NONNULL const RzILVal *	a,
		RZ_NONNULL const RzILVal *	b
	)

Check if two IL values are of equal sort and contents

Definition at line 157 of file value.c.

                                                                                     {
    rz_return_val_if_fail(a && b, false);
    if (a->type != b->type) {
        return false;
    }
    switch (a->type) {
    case RZ_IL_TYPE_PURE_BOOL:
        return a->data.b->b == b->data.b->b;
    case RZ_IL_TYPE_PURE_BITVECTOR:
        return rz_bv_eq(a->data.bv, b->data.bv);
    default:
        rz_warn_if_reached();
        return false;
    }
}

References a, b, rz_bv_eq(), RZ_IL_TYPE_PURE_BITVECTOR, RZ_IL_TYPE_PURE_BOOL, rz_return_val_if_fail, and rz_warn_if_reached.

rz_il_value_free()

RZ_API void rz_il_value_free

(

RZ_NULLABLE RzILVal *

val

)

Free a RzILVal value

Parameters

val	RzILVal, pointer to the RzILVal instance

Definition at line 107 of file value.c.

                                                       {
    if (!val) {
        return;
    }
    switch (val->type) {
    case RZ_IL_TYPE_PURE_BOOL:
        rz_il_bool_free(val->data.b);
        break;
    case RZ_IL_TYPE_PURE_BITVECTOR:
        rz_bv_free(val->data.bv);
        break;
    default:
        break;
    }
    free(val);
}

References free(), rz_bv_free(), rz_il_bool_free(), RZ_IL_TYPE_PURE_BITVECTOR, RZ_IL_TYPE_PURE_BOOL, and val.

Referenced by rz_analysis_il_init_state_set_var(), rz_il_event_free(), rz_il_value_new_zero_of(), rz_il_var_set_bind(), rz_il_vm_pop_local_pure_var(), val_ht_free(), and var_state_free().

rz_il_value_get_sort()

RZ_API RzILSortPure rz_il_value_get_sort

(

RZ_NONNULL RzILVal *

val

)

Get the sort that val belongs to

Definition at line 127 of file value.c.

                                                                  {
    RzILSortPure r = { 0 };
    r.type = val->type;
    if (val->type == RZ_IL_TYPE_PURE_BITVECTOR) {
        r.props.bv.length = rz_bv_len(val->data.bv);
    }
    return r;
}

References r, rz_bv_len(), RZ_IL_TYPE_PURE_BITVECTOR, and val.

Referenced by rz_il_var_set_bind(), rz_il_vm_pop_local_pure_var(), rz_il_vm_push_local_pure_var(), and rz_il_vm_set_local_var().

rz_il_value_new_bitv()

RZ_API RZ_OWN RzILVal* rz_il_value_new_bitv

(

RZ_NONNULL RzBitVector *

bv

)

Returns a new RzILVal (Bitvector type)

Parameters

bv	RzBitVector to set

Returns

val RzILVal, pointer to this value

Definition at line 28 of file value.c.

                                                                        {
    rz_return_val_if_fail(bv, NULL);
    RzILVal *ret = rz_il_value_new(RZ_IL_TYPE_PURE_BITVECTOR);
    if (!ret) {
        return NULL;
    }
    ret->data.bv = bv;
    return ret;
}

References RzValUnion::bv, rz_il_val_t::data, NULL, RZ_IL_TYPE_PURE_BITVECTOR, rz_il_value_new(), and rz_return_val_if_fail.

Referenced by il_config(), rz_core_analysis_il_vm_set(), rz_il_evaluate_val(), rz_il_value_dup(), and rz_il_vm_sync_from_reg().

rz_il_value_new_bool()

RZ_API RZ_OWN RzILVal* rz_il_value_new_bool

(

RZ_NONNULL RzILBool *

b

)

Returns a new RzILVal (Bool type)

Parameters

b	RzILBool to set

Returns

val RzILVal, pointer to this value

Definition at line 43 of file value.c.

                                                                    {
    rz_return_val_if_fail(b, NULL);
    RzILVal *ret = rz_il_value_new(RZ_IL_TYPE_PURE_BOOL);
    if (!ret) {
        return NULL;
    }
    ret->data.b = b;
    return ret;
}

References RzValUnion::b, b, rz_il_val_t::data, NULL, RZ_IL_TYPE_PURE_BOOL, rz_il_value_new(), and rz_return_val_if_fail.

Referenced by rz_core_analysis_il_vm_set(), rz_il_evaluate_val(), rz_il_value_dup(), and rz_il_vm_sync_from_reg().

rz_il_value_new_zero_of()

RZ_API RZ_OWN RzILVal* rz_il_value_new_zero_of

(

RzILSortPure

sort

)

Create a value of the given sort filled with all zeroes or false

Definition at line 56 of file value.c.

                                                                  {
    RzILVal *ret = rz_il_value_new(sort.type);
    if (!ret) {
        return NULL;
    }
    switch (sort.type) {
    case RZ_IL_TYPE_PURE_BOOL:
        ret->data.b = rz_il_bool_new(false);
        if (!ret->data.b) {
            rz_il_value_free(ret);
            return NULL;
        }
        break;
    case RZ_IL_TYPE_PURE_BITVECTOR:
        ret->data.bv = rz_bv_new_zero(sort.props.bv.length);
        if (!ret->data.bv) {
            rz_il_value_free(ret);
            return NULL;
        }
        break;
    }
    return ret;
}

References RzValUnion::b, rz_il_sort_pure_t::bv, RzValUnion::bv, rz_il_val_t::data, NULL, rz_il_sort_pure_t::props, rz_bv_new_zero, rz_il_bool_new(), RZ_IL_TYPE_PURE_BITVECTOR, RZ_IL_TYPE_PURE_BOOL, rz_il_value_free(), rz_il_value_new(), and rz_il_sort_pure_t::type.

Referenced by rz_il_vm_create_global_var().

rz_il_value_stringify()

RZ_API char* rz_il_value_stringify

(

RZ_NONNULL const RzILVal *

val

)

Create a readable string representation of val

Definition at line 739 of file il_export.c.

                                                                  {
    rz_return_val_if_fail(val, NULL);
    RzBitVector *bv = rz_il_value_to_bv(val);
    if (!bv) {
        return NULL;
    }
    char *r = rz_bv_as_hex_string(bv, false);
    rz_bv_free(bv);
    return r;
}

References NULL, r, rz_bv_as_hex_string(), rz_bv_free(), rz_il_value_to_bv(), rz_return_val_if_fail, and val.

Referenced by rz_il_event_json(), and rz_il_event_stringify().

rz_il_value_to_bv()

RZ_API RZ_OWN RzBitVector* rz_il_value_to_bv

(

RZ_NONNULL const RzILVal *

val

)

Convert the value's contents to a bitvector. For bitvector values, this is simply a copy of the value, for boolean it is a 1-bit bitvector of 1 or 0.

Definition at line 141 of file value.c.

                                                                            {
    rz_return_val_if_fail(val, NULL);
    switch (val->type) {
    case RZ_IL_TYPE_PURE_BOOL:
        return rz_bv_new_from_ut64(1, val->data.b->b ? 1 : 0);
    case RZ_IL_TYPE_PURE_BITVECTOR:
        return rz_bv_dup(val->data.bv);
    default:
        rz_warn_if_reached();
        return NULL;
    }
}

References NULL, rz_bv_dup(), rz_bv_new_from_ut64(), RZ_IL_TYPE_PURE_BITVECTOR, RZ_IL_TYPE_PURE_BOOL, rz_return_val_if_fail, rz_warn_if_reached, and val.

Referenced by rz_il_value_stringify().