helpers.c File Reference

#include <rz_util.h>
#include <rz_type.h>
#include <string.h>

Go to the source code of this file.

Functions
RZ_API RZ_OWN RzType *	rz_type_identifier_of_base_type (const RzTypeDB *typedb, RZ_NONNULL const RzBaseType *btype, bool is_const)
	Creates a new RzType indentifier from the given RzBaseType. More...
RZ_API RZ_OWN RzType *	rz_type_identifier_of_base_type_str (const RzTypeDB *typedb, RZ_NONNULL const char *name)
	Creates a new RzType indentifier from the given RzBaseType name. More...
RZ_API RZ_OWN RzType *	rz_type_pointer_of_base_type (const RzTypeDB *typedb, RZ_NONNULL const RzBaseType *btype, bool is_const)
	Creates a new pointer RzType from the given RzBaseType. More...
RZ_API RZ_OWN RzType *	rz_type_pointer_of_base_type_str (const RzTypeDB *typedb, RZ_NONNULL const char *name, bool is_const)
	Creates a new pointer RzType from the given RzBaseType name. More...
RZ_API RZ_OWN RzType *	rz_type_pointer_of_type (const RzTypeDB *typedb, RZ_NONNULL RzType *type, bool is_const)
	Creates a new pointer RzType from the given RzType. More...
RZ_API RZ_OWN RzType *	rz_type_array_of_base_type (const RzTypeDB *typedb, RZ_NONNULL const RzBaseType *btype, size_t count)
	Creates a new array RzType from the given RzBaseType. More...
RZ_API RZ_OWN RzType *	rz_type_array_of_base_type_str (const RzTypeDB *typedb, RZ_NONNULL const char *name, size_t count)
	Creates a new array RzType from the given RzBaseType name. More...
RZ_API RZ_OWN RzType *	rz_type_array_of_type (const RzTypeDB *typedb, RZ_NONNULL RzType *type, size_t count)
	Creates a new array RzType from the given RzType. More...
RZ_API bool	rz_type_atomic_eq (const RzTypeDB *typedb, RZ_NONNULL const RzType *typ1, RZ_NONNULL const RzType *typ2)
	Checks if two atomic RzTypes are equivalent. More...
RZ_API bool	rz_type_atomic_str_eq (const RzTypeDB *typedb, RZ_NONNULL const RzType *typ1, RZ_NONNULL const char *name)
	Checks if two atomic types (RzType and RzBaseType) are equivalent. More...
RZ_API bool	rz_type_atomic_is_void (const RzTypeDB *typedb, RZ_NONNULL const RzType *type)
	Checks if the RzType is "void". More...
RZ_API bool	rz_type_atomic_is_const (const RzTypeDB *typedb, RZ_NONNULL const RzType *type)
	Checks if the atomic RzType is "const". More...
RZ_API bool	rz_type_pointer_is_const (const RzTypeDB *typedb, RZ_NONNULL const RzType *type)
	Checks if the pointer RzType is "const". More...
static bool	type_is_atomic_ptr (RZ_NONNULL const RzType *type, RZ_NONNULL const char *name)
static bool	type_is_atomic_ptr_nested (RZ_NONNULL const RzType *type, RZ_NONNULL const char *name)
RZ_API bool	rz_type_is_void_ptr (RZ_NONNULL const RzType *type)
	Checks if the pointer RzType is abstract pointer ("void *") More...
RZ_API bool	rz_type_is_void_ptr_nested (RZ_NONNULL const RzType *type)
	Checks if the pointer RzType is a nested abstract pointer ("void **", "vpod ***", etc) More...
RZ_API bool	rz_type_is_char_ptr (RZ_NONNULL const RzType *type)
	Checks if the pointer RzType is a string ("char *" or "const char *") More...
RZ_API bool	rz_type_is_char_ptr_nested (RZ_NONNULL const RzType *type)
	Checks if the pointer RzType is a nested pointer of string ("char **", "char ***", etc) More...
RZ_API bool	rz_type_is_identifier (RZ_NONNULL const RzType *type)
	Checks if the RzType is identifier. More...
RZ_API bool	rz_type_is_strictly_atomic (const RzTypeDB *typedb, RZ_NONNULL const RzType *type)
	Checks if the RzType is strictly atomic. More...
RZ_API bool	rz_type_is_atomic (const RzTypeDB *typedb, RZ_NONNULL const RzType *type)
	Checks if the RzType is atomic or derivative of it. More...
RZ_API bool	rz_type_is_default (const RzTypeDB *typedb, RZ_NONNULL const RzType *type)
	Checks if the RzType is default. More...
RZ_API RZ_OWN RzType *	rz_type_new_default (const RzTypeDB *typedb)
	Creates a new instance of the default RzType type. More...
RZ_API bool	rz_type_integral_set_sign (const RzTypeDB *typedb, RZ_NONNULL RzType **type, bool sign)
	If the type is unsigned it sets the sign. More...
RZ_API RZ_BORROW const char *	rz_type_cond_tostring (RzTypeCond cc)
	RzTypeCond enum to string. More...
RZ_API RzTypeCond	rz_type_cond_invert (RzTypeCond cond)
	return the inverted condition More...
RZ_API bool	rz_type_cond_eval (RzTypeCond cond, st64 arg0, st64 arg1)
	evaluate the type condition on the arguments and return a bool accordingly. More...
RZ_API bool	rz_type_cond_eval_single (RzTypeCond cond, st64 arg0)
	Same as rz_type_cond_eval, but it assumes arg1 to be 0. More...

Function Documentation

rz_type_array_of_base_type()

RZ_API RZ_OWN RzType* rz_type_array_of_base_type	(	const RzTypeDB *	typedb,
		RZ_NONNULL const RzBaseType *	btype,
		size_t	count
	)

Creates a new array RzType from the given RzBaseType.

Parameters

typedb	Type Database instance
btype	RzBaseType pointer
count	The number of the array elements

Definition at line 124 of file helpers.c.

                                                                                                                           {
    RzType *type = RZ_NEW0(RzType);
    if (!type) {
        return NULL;
    }
    RzType *t = rz_type_identifier_of_base_type(typedb, btype, false);
    if (!t) {
        rz_type_free(type);
        return NULL;
    }
    type->kind = RZ_TYPE_KIND_ARRAY;
    type->array.type = t;
    type->array.count = count;
    return type;
}

References count, NULL, RZ_NEW0, rz_type_free(), rz_type_identifier_of_base_type(), RZ_TYPE_KIND_ARRAY, and type.

Referenced by rz_type_array_of_base_type_str().

rz_type_array_of_base_type_str()

RZ_API RZ_OWN RzType* rz_type_array_of_base_type_str	(	const RzTypeDB *	typedb,
		RZ_NONNULL const char *	name,
		size_t	count
	)

Creates a new array RzType from the given RzBaseType name.

Parameters

typedb	Type Database instance
name	RzBaseType name
count	The number of the array elements

Definition at line 147 of file helpers.c.

                                                                                                                        {
    rz_return_val_if_fail(typedb && name && count, NULL);
    RzBaseType *btype = rz_type_db_get_base_type(typedb, name);
    if (!btype) {
        return NULL;
    }
    return rz_type_array_of_base_type(typedb, btype, count);
}

References count, NULL, rz_return_val_if_fail, rz_type_array_of_base_type(), and rz_type_db_get_base_type().

rz_type_array_of_type()

RZ_API RZ_OWN RzType* rz_type_array_of_type	(	const RzTypeDB *	typedb,
		RZ_NONNULL RzType *	type,
		size_t	count
	)

Creates a new array RzType from the given RzType.

Parameters

typedb	Type Database instance
type	RzType pointer
count	The number of the array elements

Definition at line 163 of file helpers.c.

                                                                                                           {
    RzType *newtype = RZ_NEW0(RzType);
    if (!newtype) {
        return NULL;
    }
    newtype->kind = RZ_TYPE_KIND_ARRAY;
    newtype->array.type = type;
    newtype->array.count = count;
    return newtype;
}

References rz_type_t::array, count, rz_type_t::kind, NULL, RZ_NEW0, RZ_TYPE_KIND_ARRAY, and type.

rz_type_atomic_eq()

RZ_API bool rz_type_atomic_eq	(	const RzTypeDB *	typedb,
		RZ_NONNULL const RzType *	typ1,
		RZ_NONNULL const RzType *	typ2
	)

Checks if two atomic RzTypes are equivalent.

Parameters

typedb	Type Database instance
typ1	First RzType type
typ2	Second RzType type

Definition at line 183 of file helpers.c.

                                                                                                                    {
    // We aim to compare only atomic types, we can't compare more complex ones for now
    rz_return_val_if_fail(typ1 && typ2, false);
    rz_return_val_if_fail(typ1->kind == RZ_TYPE_KIND_IDENTIFIER && typ2 == RZ_TYPE_KIND_IDENTIFIER, false);
    rz_return_val_if_fail(typ1->identifier.kind == RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED, false);
    rz_return_val_if_fail(typ2->identifier.kind == RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED, false);
    rz_return_val_if_fail(typ1->identifier.name, false);
    rz_return_val_if_fail(typ2->identifier.name, false);
    RzBaseType *btyp1 = rz_type_db_get_base_type(typedb, typ1->identifier.name);
    RzBaseType *btyp2 = rz_type_db_get_base_type(typedb, typ2->identifier.name);
    if (!btyp1 || !btyp2) {
        return false;
    }
    rz_return_val_if_fail(btyp1->kind == RZ_BASE_TYPE_KIND_ATOMIC && btyp2->kind == RZ_BASE_TYPE_KIND_ATOMIC, false);
    return btyp1->name == btyp2->name && btyp1->size == btyp2->size;
    // TODO: Should we also compare the btyp->type?
}

References rz_base_type_t::kind, rz_base_type_t::name, RZ_BASE_TYPE_KIND_ATOMIC, rz_return_val_if_fail, rz_type_db_get_base_type(), RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED, RZ_TYPE_KIND_IDENTIFIER, and rz_base_type_t::size.

rz_type_atomic_is_const()

RZ_API bool rz_type_atomic_is_const	(	const RzTypeDB *	typedb,
		RZ_NONNULL const RzType *	type
	)

Checks if the atomic RzType is "const".

Parameters

typedb	Type Database instance
type	RzType type pointer

Definition at line 246 of file helpers.c.

                                                                                           {
    rz_return_val_if_fail(type, false);
    if (type->kind != RZ_TYPE_KIND_IDENTIFIER) {
        return false;
    }
    return type->identifier.is_const;
}

References rz_return_val_if_fail, RZ_TYPE_KIND_IDENTIFIER, and type.

rz_type_atomic_is_void()

RZ_API bool rz_type_atomic_is_void	(	const RzTypeDB *	typedb,
		RZ_NONNULL const RzType *	type
	)

Checks if the RzType is "void".

Parameters

typedb	Type Database instance
type	RzType type pointer

Definition at line 232 of file helpers.c.

                                                                                          {
    rz_return_val_if_fail(type, false);
    if (type->kind != RZ_TYPE_KIND_IDENTIFIER) {
        return false;
    }
    return !strcmp(type->identifier.name, "void");
}

References rz_return_val_if_fail, RZ_TYPE_KIND_IDENTIFIER, and type.

Referenced by var_type_set().

rz_type_atomic_str_eq()

RZ_API bool rz_type_atomic_str_eq	(	const RzTypeDB *	typedb,
		RZ_NONNULL const RzType *	typ1,
		RZ_NONNULL const char *	name
	)

Checks if two atomic types (RzType and RzBaseType) are equivalent.

Parameters

typedb	Type Database instance
typ1	First RzType type
typ2	Second RzBaseType type name

Definition at line 208 of file helpers.c.

                                                                                                                      {
    // We aim to compare only atomic types, we can't compare more complex ones for now
    rz_return_val_if_fail(typ1 && name, false);
    rz_return_val_if_fail(typ1->kind == RZ_TYPE_KIND_IDENTIFIER, false);
    rz_return_val_if_fail(typ1->identifier.kind == RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED, false);
    rz_return_val_if_fail(typ1->identifier.name, false);
    RzBaseType *btyp1 = rz_type_db_get_base_type(typedb, typ1->identifier.name);
    RzBaseType *btyp2 = rz_type_db_get_base_type(typedb, name);
    if (!btyp1 || !btyp2) {
        return false;
    }
    rz_return_val_if_fail(btyp1->kind == RZ_BASE_TYPE_KIND_ATOMIC && btyp2->kind == RZ_BASE_TYPE_KIND_ATOMIC, false);
    return btyp1->name == btyp2->name && btyp1->size == btyp2->size;
    // TODO: Should we also compare the btyp->type?
}

References rz_base_type_t::kind, rz_base_type_t::name, RZ_BASE_TYPE_KIND_ATOMIC, rz_return_val_if_fail, rz_type_db_get_base_type(), RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED, RZ_TYPE_KIND_IDENTIFIER, and rz_base_type_t::size.

Referenced by rz_core_analysis_var_display().

rz_type_cond_eval()

RZ_API bool rz_type_cond_eval	(	RzTypeCond	cond,
		st64	arg0,
		st64	arg1
	)

evaluate the type condition on the arguments and return a bool accordingly.

Parameters

cond	RzTypeCond
arg0
arg1

Returns

bool

Definition at line 534 of file helpers.c.

                                                                     {
    switch (cond) {
    case RZ_TYPE_COND_EQ: return arg0 == arg1;
    case RZ_TYPE_COND_NE: return arg0 != arg1;
    case RZ_TYPE_COND_GE: return arg0 >= arg1;
    case RZ_TYPE_COND_GT: return arg0 > arg1;
    case RZ_TYPE_COND_LE: return arg0 <= arg1;
    case RZ_TYPE_COND_LT: return arg0 < arg1;
    default: return false;
    }
    return false;
}

References cond, RZ_TYPE_COND_EQ, RZ_TYPE_COND_GE, RZ_TYPE_COND_GT, RZ_TYPE_COND_LE, RZ_TYPE_COND_LT, and RZ_TYPE_COND_NE.

Referenced by rz_analysis_cond_eval().

rz_type_cond_eval_single()

RZ_API bool rz_type_cond_eval_single	(	RzTypeCond	cond,
		st64	arg0
	)

Same as rz_type_cond_eval, but it assumes arg1 to be 0.

Parameters

cond	RzTypeCond
arg0

Returns

bool

Definition at line 554 of file helpers.c.

                                                                 {
    switch (cond) {
    case RZ_TYPE_COND_EQ: return !arg0;
    case RZ_TYPE_COND_NE: return arg0;
    case RZ_TYPE_COND_GT: return arg0 > 0;
    case RZ_TYPE_COND_GE: return arg0 >= 0;
    case RZ_TYPE_COND_LT: return arg0 < 0;
    case RZ_TYPE_COND_LE: return arg0 <= 0;
    default: return false;
    }
    return false;
}

References cond, RZ_TYPE_COND_EQ, RZ_TYPE_COND_GE, RZ_TYPE_COND_GT, RZ_TYPE_COND_LE, RZ_TYPE_COND_LT, and RZ_TYPE_COND_NE.

Referenced by rz_analysis_cond_eval().

rz_type_cond_invert()

RZ_API RzTypeCond rz_type_cond_invert

(

RzTypeCond

cond

)

return the inverted condition

Parameters

cond	RzTypeCond

Returns

RzTypeCond

Definition at line 504 of file helpers.c.

                                                       {
    switch (cond) {
    case RZ_TYPE_COND_LE:
        return RZ_TYPE_COND_GT;
    case RZ_TYPE_COND_LT:
        return RZ_TYPE_COND_GE;
    case RZ_TYPE_COND_GE:
        return RZ_TYPE_COND_LT;
    case RZ_TYPE_COND_GT:
        return RZ_TYPE_COND_LE;
    case RZ_TYPE_COND_AL:
        return RZ_TYPE_COND_NV;
    case RZ_TYPE_COND_NE:
        return RZ_TYPE_COND_EQ;
    case RZ_TYPE_COND_EQ:
        return RZ_TYPE_COND_NE;
    default:
        rz_warn_if_reached();
        break;
    }
    return 0;
}

References cond, RZ_TYPE_COND_AL, RZ_TYPE_COND_EQ, RZ_TYPE_COND_GE, RZ_TYPE_COND_GT, RZ_TYPE_COND_LE, RZ_TYPE_COND_LT, RZ_TYPE_COND_NE, RZ_TYPE_COND_NV, and rz_warn_if_reached.

Referenced by propagate_types_among_used_variables().

rz_type_cond_tostring()

RZ_API RZ_BORROW const char* rz_type_cond_tostring

(

RzTypeCond

cc

)

RzTypeCond enum to string.

Parameters

cc	RzTypeCond

Returns

const char *

Definition at line 471 of file helpers.c.

                                                                  {
    switch (cc) {
    case RZ_TYPE_COND_EQ: return "eq";
    case RZ_TYPE_COND_NV: return "nv";
    case RZ_TYPE_COND_NE: return "ne";
    case RZ_TYPE_COND_HS: return "hs";
    case RZ_TYPE_COND_LO: return "lo";
    case RZ_TYPE_COND_MI: return "mi";
    case RZ_TYPE_COND_PL: return "pl";
    case RZ_TYPE_COND_VS: return "vs";
    case RZ_TYPE_COND_VC: return "vc";
    case RZ_TYPE_COND_HI: return "hi";
    case RZ_TYPE_COND_LS: return "ls";
    case RZ_TYPE_COND_GE: return "ge";
    case RZ_TYPE_COND_LT: return "lt";
    case RZ_TYPE_COND_GT: return "gt";
    case RZ_TYPE_COND_LE: return "le";
    case RZ_TYPE_COND_AL: return "al";
    case RZ_TYPE_COND_HEX_SCL_TRUE: return "scl-t";
    case RZ_TYPE_COND_HEX_SCL_FALSE: return "scl-f";
    case RZ_TYPE_COND_HEX_VEC_TRUE: return "vec-t";
    case RZ_TYPE_COND_HEX_VEC_FALSE: return "vec-f";
    case RZ_TYPE_COND_EXCEPTION: return "excptn";
    }
    return "??";
}

References RZ_TYPE_COND_AL, RZ_TYPE_COND_EQ, RZ_TYPE_COND_EXCEPTION, RZ_TYPE_COND_GE, RZ_TYPE_COND_GT, RZ_TYPE_COND_HEX_SCL_FALSE, RZ_TYPE_COND_HEX_SCL_TRUE, RZ_TYPE_COND_HEX_VEC_FALSE, RZ_TYPE_COND_HEX_VEC_TRUE, RZ_TYPE_COND_HI, RZ_TYPE_COND_HS, RZ_TYPE_COND_LE, RZ_TYPE_COND_LO, RZ_TYPE_COND_LS, RZ_TYPE_COND_LT, RZ_TYPE_COND_MI, RZ_TYPE_COND_NE, RZ_TYPE_COND_NV, RZ_TYPE_COND_PL, RZ_TYPE_COND_VC, and RZ_TYPE_COND_VS.

Referenced by core_analysis_bytes_json(), and core_analysis_bytes_standard().

rz_type_identifier_of_base_type()

RZ_API RZ_OWN RzType* rz_type_identifier_of_base_type	(	const RzTypeDB *	typedb,
		RZ_NONNULL const RzBaseType *	btype,
		bool	is_const
	)

Creates a new RzType indentifier from the given RzBaseType.

Parameters

typedb	Type Database instance
btype	RzBaseType pointer
is_const	Set the identifier to "const" if true

Definition at line 15 of file helpers.c.

                                                                                                                                 {
    rz_return_val_if_fail(typedb && btype, NULL);
    RzType *type = RZ_NEW0(RzType);
    if (!type) {
        return NULL;
    }
    type->kind = RZ_TYPE_KIND_IDENTIFIER;
    type->identifier.name = strdup(btype->name);
    type->identifier.is_const = is_const;
    switch (btype->kind) {
    case RZ_BASE_TYPE_KIND_STRUCT:
        type->identifier.kind = RZ_TYPE_IDENTIFIER_KIND_STRUCT;
        break;
    case RZ_BASE_TYPE_KIND_UNION:
        type->identifier.kind = RZ_TYPE_IDENTIFIER_KIND_UNION;
        break;
    case RZ_BASE_TYPE_KIND_ENUM:
        type->identifier.kind = RZ_TYPE_IDENTIFIER_KIND_ENUM;
        break;
    default:
        type->identifier.kind = RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED;
        break;
    }
    return type;
}

References NULL, RZ_BASE_TYPE_KIND_ENUM, RZ_BASE_TYPE_KIND_STRUCT, RZ_BASE_TYPE_KIND_UNION, RZ_NEW0, rz_return_val_if_fail, RZ_TYPE_IDENTIFIER_KIND_ENUM, RZ_TYPE_IDENTIFIER_KIND_STRUCT, RZ_TYPE_IDENTIFIER_KIND_UNION, RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED, RZ_TYPE_KIND_IDENTIFIER, strdup(), and type.

Referenced by rz_analysis_function_blocks_switch_type_handler(), rz_type_array_of_base_type(), rz_type_db_base_type_as_pretty_string(), rz_type_db_base_type_as_string(), rz_type_identifier_of_base_type_str(), rz_type_integral_set_sign(), rz_type_new_default(), rz_type_path_by_offset(), and rz_type_pointer_of_base_type().

rz_type_identifier_of_base_type_str()

RZ_API RZ_OWN RzType* rz_type_identifier_of_base_type_str	(	const RzTypeDB *	typedb,
		RZ_NONNULL const char *	name
	)

Creates a new RzType indentifier from the given RzBaseType name.

Parameters

typedb	Type Database instance
name	RzBaseType name

Definition at line 47 of file helpers.c.

                                                                                                               {
    rz_return_val_if_fail(typedb && name, NULL);
    RzBaseType *btype = rz_type_db_get_base_type(typedb, name);
    if (!btype) {
        return NULL;
    }
    return rz_type_identifier_of_base_type(typedb, btype, false);
}

References NULL, rz_return_val_if_fail, rz_type_db_get_base_type(), and rz_type_identifier_of_base_type().

Referenced by path_walker().

rz_type_integral_set_sign()

RZ_API bool rz_type_integral_set_sign	(	const RzTypeDB *	typedb,
		RZ_NONNULL RzType **	type,
		bool	sign
	)

If the type is unsigned it sets the sign.

Parameters

typedb	Type Database instance
type	RzType type pointer

Definition at line 430 of file helpers.c.

                                                                                                   {
    rz_return_val_if_fail(type && *type, false);
    RzType *t = *type;
    if (t->kind != RZ_TYPE_KIND_IDENTIFIER) {
        return false;
    }
    if (rz_type_is_integral(typedb, t)) {
        const char *identifier = rz_type_identifier(t);
        if (!identifier) {
            return false;
        }
        RzBaseType *btype = rz_type_db_get_base_type(typedb, identifier);
        if (!btype) {
            return false;
        }
        RzTypeTypeclass typesubclass = sign ? RZ_TYPE_TYPECLASS_INTEGRAL_SIGNED : RZ_TYPE_TYPECLASS_INTEGRAL_UNSIGNED;
        // We only change typesubclass if it's different from the current one
        if (rz_base_type_typeclass(typedb, btype) == typesubclass) {
            return true;
        }
        size_t typesize = rz_type_db_base_get_bitsize(typedb, btype);
        RzBaseType *signedbtype = rz_type_typeclass_get_default_sized(typedb, typesubclass, typesize);
        if (!signedbtype) {
            return false;
        }
        RzType *signedtype = rz_type_identifier_of_base_type(typedb, signedbtype, false);
        if (!signedtype) {
            return false;
        }
        rz_type_free(t);
        *type = signedtype;
    }
    return false;
}

References rz_type_t::kind, rz_base_type_typeclass(), rz_return_val_if_fail, rz_type_db_base_get_bitsize(), rz_type_db_get_base_type(), rz_type_free(), rz_type_identifier(), rz_type_identifier_of_base_type(), rz_type_is_integral(), RZ_TYPE_KIND_IDENTIFIER, rz_type_typeclass_get_default_sized(), RZ_TYPE_TYPECLASS_INTEGRAL_SIGNED, RZ_TYPE_TYPECLASS_INTEGRAL_UNSIGNED, and type.

Referenced by var_type_set_sign().

rz_type_is_atomic()

RZ_API bool rz_type_is_atomic	(	const RzTypeDB *	typedb,
		RZ_NONNULL const RzType *	type
	)

Checks if the RzType is atomic or derivative of it.

Parameters

typedb	Type Database instance
type	RzType type pointer

Definition at line 371 of file helpers.c.

                                                                                     {
    rz_return_val_if_fail(type, false);
    if (type->kind == RZ_TYPE_KIND_POINTER) {
        return rz_type_is_atomic(typedb, type->pointer.type);
    }
    if (type->kind == RZ_TYPE_KIND_ARRAY) {
        return rz_type_is_atomic(typedb, type->array.type);
    }
    if (type->kind != RZ_TYPE_KIND_IDENTIFIER) {
        return false;
    }
    if (type->identifier.kind != RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED) {
        return false;
    }
    rz_return_val_if_fail(type->identifier.name, false);
    RzBaseType *btyp = rz_type_db_get_base_type(typedb, type->identifier.name);
    if (!btyp) {
        return false;
    }
    return btyp->kind == RZ_BASE_TYPE_KIND_ATOMIC;
}

References rz_base_type_t::kind, RZ_BASE_TYPE_KIND_ATOMIC, rz_return_val_if_fail, rz_type_db_get_base_type(), RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED, RZ_TYPE_KIND_ARRAY, RZ_TYPE_KIND_IDENTIFIER, RZ_TYPE_KIND_POINTER, and type.

Referenced by base_type_to_format_unfold().

rz_type_is_char_ptr()

RZ_API bool rz_type_is_char_ptr

(

RZ_NONNULL const RzType *

type

)

Checks if the pointer RzType is a string ("char *" or "const char *")

Parameters

type	RzType type pointer

Definition at line 318 of file helpers.c.

                                                               {
    rz_return_val_if_fail(type, false);
    return type_is_atomic_ptr(type, "char");
}

References rz_return_val_if_fail, type, and type_is_atomic_ptr().

Referenced by rz_type_as_format().

rz_type_is_char_ptr_nested()

RZ_API bool rz_type_is_char_ptr_nested

(

RZ_NONNULL const RzType *

type

)

Checks if the pointer RzType is a nested pointer of string ("char **", "char ***", etc)

Parameters

type	RzType type pointer

Definition at line 328 of file helpers.c.

                                                                      {
    rz_return_val_if_fail(type, false);
    return type_is_atomic_ptr_nested(type, "char");
}

References rz_return_val_if_fail, type, and type_is_atomic_ptr_nested().

Referenced by var_type_simple_to_complex().

rz_type_is_default()

RZ_API bool rz_type_is_default	(	const RzTypeDB *	typedb,
		RZ_NONNULL const RzType *	type
	)

Checks if the RzType is default.

Parameters

typedb	Type Database instance
type	RzType type pointer

Definition at line 399 of file helpers.c.

                                                                                      {
    rz_return_val_if_fail(type, false);
    if (type->kind != RZ_TYPE_KIND_IDENTIFIER) {
        return false;
    }
    if (type->identifier.kind != RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED) {
        return false;
    }
    return !strcmp(type->identifier.name, typedb->target->default_type) && !type->identifier.is_const;
}

References rz_type_target_t::default_type, rz_return_val_if_fail, RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED, RZ_TYPE_KIND_IDENTIFIER, rz_type_db_t::target, and type.

Referenced by var_type_set().

rz_type_is_identifier()

RZ_API bool rz_type_is_identifier

(

RZ_NONNULL const RzType *

type

)

Checks if the RzType is identifier.

Parameters

type	RzType type pointer

Definition at line 338 of file helpers.c.

                                                                 {
    rz_return_val_if_fail(type, false);
    return type->kind == RZ_TYPE_KIND_IDENTIFIER;
}

References rz_return_val_if_fail, RZ_TYPE_KIND_IDENTIFIER, and type.

Referenced by base_type_to_format_unfold().

rz_type_is_strictly_atomic()

RZ_API bool rz_type_is_strictly_atomic	(	const RzTypeDB *	typedb,
		RZ_NONNULL const RzType *	type
	)

Checks if the RzType is strictly atomic.

Parameters

typedb	Type Database instance
type	RzType type pointer

Definition at line 349 of file helpers.c.

                                                                                              {
    rz_return_val_if_fail(type, false);
    if (type->kind != RZ_TYPE_KIND_IDENTIFIER) {
        return false;
    }
    if (type->identifier.kind != RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED) {
        return false;
    }
    rz_return_val_if_fail(type->identifier.name, false);
    RzBaseType *btyp = rz_type_db_get_base_type(typedb, type->identifier.name);
    if (!btyp) {
        return false;
    }
    return btyp->kind == RZ_BASE_TYPE_KIND_ATOMIC;
}

References rz_base_type_t::kind, RZ_BASE_TYPE_KIND_ATOMIC, rz_return_val_if_fail, rz_type_db_get_base_type(), RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED, RZ_TYPE_KIND_IDENTIFIER, and type.

Referenced by rz_analysis_var_resolve_overlaps(), and rz_core_analysis_var_display().

rz_type_is_void_ptr()

RZ_API bool rz_type_is_void_ptr

(

RZ_NONNULL const RzType *

type

)

Checks if the pointer RzType is abstract pointer ("void *")

Parameters

type	RzType type pointer

Definition at line 298 of file helpers.c.

                                                               {
    rz_return_val_if_fail(type, false);
    return type_is_atomic_ptr(type, "void");
}

References rz_return_val_if_fail, type, and type_is_atomic_ptr().

Referenced by rz_type_as_format(), and var_type_set().

rz_type_is_void_ptr_nested()

RZ_API bool rz_type_is_void_ptr_nested

(

RZ_NONNULL const RzType *

type

)

Checks if the pointer RzType is a nested abstract pointer ("void **", "vpod ***", etc)

Parameters

type	RzType type pointer

Definition at line 308 of file helpers.c.

                                                                      {
    rz_return_val_if_fail(type, false);
    return type_is_atomic_ptr_nested(type, "void");
}

References rz_return_val_if_fail, type, and type_is_atomic_ptr_nested().

rz_type_new_default()

RZ_API RZ_OWN RzType* rz_type_new_default

(

const RzTypeDB *

typedb

)

Creates a new instance of the default RzType type.

Parameters

typedb

Type Database instance

Definition at line 415 of file helpers.c.

                                                                  {
    rz_return_val_if_fail(typedb, NULL);
    RzBaseType *btype = rz_type_db_get_base_type(typedb, typedb->target->default_type);
    if (!btype) {
        return NULL;
    }
    return rz_type_identifier_of_base_type(typedb, btype, false);
}

References rz_type_target_t::default_type, NULL, rz_return_val_if_fail, rz_type_db_get_base_type(), rz_type_identifier_of_base_type(), and rz_type_db_t::target.

rz_type_pointer_is_const()

RZ_API bool rz_type_pointer_is_const	(	const RzTypeDB *	typedb,
		RZ_NONNULL const RzType *	type
	)

Checks if the pointer RzType is "const".

Parameters

typedb	Type Database instance
type	RzType type pointer

Definition at line 260 of file helpers.c.

                                                                                            {
    rz_return_val_if_fail(type, false);
    if (type->kind != RZ_TYPE_KIND_POINTER) {
        return false;
    }
    return type->pointer.is_const;
}

References rz_return_val_if_fail, RZ_TYPE_KIND_POINTER, and type.

rz_type_pointer_of_base_type()

RZ_API RZ_OWN RzType* rz_type_pointer_of_base_type	(	const RzTypeDB *	typedb,
		RZ_NONNULL const RzBaseType *	btype,
		bool	is_const
	)

Creates a new pointer RzType from the given RzBaseType.

Parameters

typedb	Type Database instance
btype	RzBaseType pointer
is_const	Set the pointer to "const" if true

Definition at line 63 of file helpers.c.

                                                                                                                              {
    RzType *type = RZ_NEW0(RzType);
    if (!type) {
        return NULL;
    }
    RzType *t = rz_type_identifier_of_base_type(typedb, btype, false);
    if (!t) {
        rz_type_free(type);
        return NULL;
    }
    type->kind = RZ_TYPE_KIND_POINTER;
    type->pointer.type = t;
    type->pointer.is_const = is_const;
    return type;
}

References NULL, RZ_NEW0, rz_type_free(), rz_type_identifier_of_base_type(), RZ_TYPE_KIND_POINTER, and type.

Referenced by rz_type_pointer_of_base_type_str().

rz_type_pointer_of_base_type_str()

RZ_API RZ_OWN RzType* rz_type_pointer_of_base_type_str	(	const RzTypeDB *	typedb,
		RZ_NONNULL const char *	name,
		bool	is_const
	)

Creates a new pointer RzType from the given RzBaseType name.

Parameters

typedb	Type Database instance
name	RzBaseType name
is_const	Set the pointer to "const" if true

Definition at line 86 of file helpers.c.

                                                                                                                           {
    rz_return_val_if_fail(typedb && name, NULL);
    RzBaseType *btype = rz_type_db_get_base_type(typedb, name);
    if (!btype) {
        return NULL;
    }
    return rz_type_pointer_of_base_type(typedb, btype, is_const);
}

References NULL, rz_return_val_if_fail, rz_type_db_get_base_type(), and rz_type_pointer_of_base_type().

Referenced by rz_type_pointer_of_type().

rz_type_pointer_of_type()

RZ_API RZ_OWN RzType* rz_type_pointer_of_type	(	const RzTypeDB *	typedb,
		RZ_NONNULL RzType *	type,
		bool	is_const
	)

Creates a new pointer RzType from the given RzType.

Parameters

typedb	Type Database instance
type	RzType pointer
is_const	Set the pointer to "const" if true

Definition at line 102 of file helpers.c.

                                                                                                              {
    rz_return_val_if_fail(typedb && type, NULL);
    if (type->kind == RZ_TYPE_KIND_IDENTIFIER) {
        return rz_type_pointer_of_base_type_str(typedb, type->identifier.name, is_const);
    }
    RzType *newtype = RZ_NEW0(RzType);
    if (!newtype) {
        return NULL;
    }
    newtype->kind = RZ_TYPE_KIND_POINTER;
    newtype->pointer.type = type;
    newtype->pointer.is_const = is_const;
    return newtype;
}

References rz_type_t::kind, NULL, rz_type_t::pointer, RZ_NEW0, rz_return_val_if_fail, RZ_TYPE_KIND_IDENTIFIER, RZ_TYPE_KIND_POINTER, rz_type_pointer_of_base_type_str(), and type.

Referenced by var_type_set().

type_is_atomic_ptr()

static bool type_is_atomic_ptr ( RZ_NONNULL const RzType *  type, RZ_NONNULL const char *  name  )

static

Definition at line 268 of file helpers.c.

                                                                                           {
    rz_return_val_if_fail(type && name, false);
    if (type->kind != RZ_TYPE_KIND_POINTER) {
        return false;
    }
    // There should not exist pointers to the empty types
    RzType *ptr = type->pointer.type;
    rz_return_val_if_fail(ptr, false);
    return ptr->kind == RZ_TYPE_KIND_IDENTIFIER && ptr->identifier.kind == RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED && !strcmp(ptr->identifier.name, name);
}

References rz_type_t::identifier, rz_type_t::kind, rz_return_val_if_fail, RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED, RZ_TYPE_KIND_IDENTIFIER, RZ_TYPE_KIND_POINTER, and type.

Referenced by rz_type_is_char_ptr(), and rz_type_is_void_ptr().

type_is_atomic_ptr_nested()

static bool type_is_atomic_ptr_nested ( RZ_NONNULL const RzType *  type, RZ_NONNULL const char *  name  )

static

Definition at line 279 of file helpers.c.

                                                                                                  {
    rz_return_val_if_fail(type && name, false);
    if (type->kind != RZ_TYPE_KIND_POINTER) {
        return false;
    }
    // There should not exist pointers to the empty types
    RzType *ptr = type->pointer.type;
    rz_return_val_if_fail(ptr, false);
    if (ptr->kind == RZ_TYPE_KIND_POINTER) {
        return type_is_atomic_ptr_nested(ptr, name);
    }
    return ptr->kind == RZ_TYPE_KIND_IDENTIFIER && ptr->identifier.kind == RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED && !strcmp(ptr->identifier.name, name);
}

References rz_type_t::identifier, rz_type_t::kind, rz_return_val_if_fail, RZ_TYPE_IDENTIFIER_KIND_UNSPECIFIED, RZ_TYPE_KIND_IDENTIFIER, RZ_TYPE_KIND_POINTER, and type.

Referenced by rz_type_is_char_ptr_nested(), and rz_type_is_void_ptr_nested().