sort.h File Reference

Type and Sort identifiers for values in the IL. More...

#include <rz_types.h>

Go to the source code of this file.

Classes
struct	rz_il_sort_pure_t

Typedefs
typedef struct rz_il_sort_pure_t	RzILSortPure

Enumerations
enum	RzILTypePure { RZ_IL_TYPE_PURE_BOOL , RZ_IL_TYPE_PURE_BITVECTOR }
enum	RzILTypeEffect { RZ_IL_TYPE_EFFECT_NONE = 0 , RZ_IL_TYPE_EFFECT_DATA = (1 << 0) , RZ_IL_TYPE_EFFECT_CTRL = (1 << 1) }

Functions
static bool	rz_il_sort_pure_eq (RzILSortPure a, RzILSortPure b)
static RzILSortPure	rz_il_sort_pure_bool ()
static RzILSortPure	rz_il_sort_pure_bv (ut32 length)
RZ_API RZ_OWN char *	rz_il_sort_pure_stringify (RzILSortPure sort)

Detailed Description

Type and Sort identifiers for values in the IL.

Our notion:

• Types only tell which kind of value something is. E.g. whether it is a bitvector or boolean, but no other info. They can generally be expressed sufficiently as an enum.
• Sorts carry any additional info that makes up the structure of a value, in particular bitvector sorts specify a concrete bit count.

Definition in file sort.h.

Typedef Documentation

RzILSortPure

typedef struct rz_il_sort_pure_t RzILSortPure

Enumeration Type Documentation

RzILTypeEffect

enum RzILTypeEffect

Enumerator
RZ_IL_TYPE_EFFECT_NONE	nop
RZ_IL_TYPE_EFFECT_DATA	mutating mems, vars, etc.
RZ_IL_TYPE_EFFECT_CTRL	jmp/goto

Definition at line 66 of file sort.h.

             {
    RZ_IL_TYPE_EFFECT_NONE = 0, 
    RZ_IL_TYPE_EFFECT_DATA = (1 << 0), 
    RZ_IL_TYPE_EFFECT_CTRL = (1 << 1) 
} RzILTypeEffect;

RzILTypePure

enum RzILTypePure

Enumerator
RZ_IL_TYPE_PURE_BOOL
RZ_IL_TYPE_PURE_BITVECTOR

Definition at line 23 of file sort.h.

             {
    RZ_IL_TYPE_PURE_BOOL,
    RZ_IL_TYPE_PURE_BITVECTOR
} RzILTypePure;

Function Documentation

rz_il_sort_pure_bool()

static RzILSortPure rz_il_sort_pure_bool ( )

inlinestatic

Definition at line 47 of file sort.h.

                                                  {
    RzILSortPure r = {
        RZ_IL_TYPE_PURE_BOOL,
        { { 0 } },
    };
    return r;
}

References r, and RZ_IL_TYPE_PURE_BOOL.

Referenced by rz_il_vm_setup_reg_binding(), and VALIDATOR_PURE().

rz_il_sort_pure_bv()

static RzILSortPure rz_il_sort_pure_bv ( ut32  length )

inlinestatic

Definition at line 55 of file sort.h.

                                                           {
    RzILSortPure r = {
        RZ_IL_TYPE_PURE_BITVECTOR,
        { { 0 } },
    };
    r.props.bv.length = length;
    return r;
}

References length, r, and RZ_IL_TYPE_PURE_BITVECTOR.

Referenced by rz_il_vm_setup_reg_binding(), and VALIDATOR_PURE().

rz_il_sort_pure_eq()

static bool rz_il_sort_pure_eq ( RzILSortPure  a, RzILSortPure  b  )

inlinestatic

Definition at line 37 of file sort.h.

                                                                      {
    if (a.type != b.type) {
        return false;
    }
    if (a.type == RZ_IL_TYPE_PURE_BITVECTOR && a.props.bv.length != b.props.bv.length) {
        return false;
    }
    return true;
}

References a, b, and RZ_IL_TYPE_PURE_BITVECTOR.

Referenced by local_var_copy_avail_cb(), local_var_meet_known_cb(), rz_il_var_set_bind(), VALIDATOR_EFFECT(), and VALIDATOR_PURE().

rz_il_sort_pure_stringify()

RZ_API RZ_OWN char* rz_il_sort_pure_stringify

(

RzILSortPure

sort

)

Get a readable representation of sort

Returns

dynamically allocated string, to be freed by the caller

Definition at line 952 of file il_export.c.

                                                                 {
    switch (sort.type) {
    case RZ_IL_TYPE_PURE_BITVECTOR:
        return rz_str_newf("bitvector:%u", (unsigned int)sort.props.bv.length);
    case RZ_IL_TYPE_PURE_BOOL:
        return strdup("bool");
    }
    return strdup("invalid");
}

References rz_il_sort_pure_t::bv, rz_il_sort_pure_t::props, RZ_IL_TYPE_PURE_BITVECTOR, RZ_IL_TYPE_PURE_BOOL, rz_str_newf(), strdup(), and rz_il_sort_pure_t::type.

Referenced by local_var_meet_known_cb(), VALIDATOR_EFFECT(), and VALIDATOR_PURE().