rz_skyline.h File Reference

#include "rz_vector.h"
#include "rz_util/rz_itv.h"

Go to the source code of this file.

Classes
struct	rz_skyline_item_t
struct	rz_skyline_t

Typedefs
typedef struct rz_skyline_item_t	RzSkylineItem
typedef struct rz_skyline_t	RzSkyline

Functions
RZ_API bool	rz_skyline_add (RzSkyline *skyline, RzInterval itv, void *user)
RZ_API const RzSkylineItem *	rz_skyline_get_item_intersect (RzSkyline *skyline, ut64 addr, ut64 len)
static void	rz_skyline_init (RzSkyline *skyline)
static void	rz_skyline_fini (RzSkyline *skyline)
static void	rz_skyline_clear (RzSkyline *skyline)
static const RzSkylineItem *	rz_skyline_get_item (RzSkyline *skyline, ut64 addr)
static void *	rz_skyline_get (RzSkyline *skyline, ut64 addr)
static void *	rz_skyline_get_intersect (RzSkyline *skyline, ut64 addr, ut64 len)
static bool	rz_skyline_contains (RzSkyline *skyline, ut64 addr)

Typedef Documentation

RzSkyline

typedef struct rz_skyline_t RzSkyline

RzSkylineItem

typedef struct rz_skyline_item_t RzSkylineItem

Function Documentation

rz_skyline_add()

RZ_API bool rz_skyline_add	(	RzSkyline *	skyline,
		RzInterval	itv,
		void *	user
	)

Definition at line 12 of file skyline.c.

                                                                           {
    rz_return_val_if_fail(skyline, false);
    if (rz_itv_size(itv)) {
        // Allow intervals whose end overflows to 0, but block if it overflows past that
        rz_return_val_if_fail(!UT64_ADD_OVFCHK(rz_itv_begin(itv), rz_itv_size(itv) - 1), false);
    }
    RzVector *skyline_vec = &skyline->v;
    RzSkylineItem new_part = { itv, user };
    const ut64 new_part_end = rz_itv_end(new_part.itv);
 
    // `slot` is the index of the first RzSkylineItem with part->itv.addr >= new_part.itv.addr
    size_t slot;
    rz_vector_lower_bound(skyline_vec, new_part.itv.addr, slot, CMP_BEGIN_GTE_PART);
    const bool is_last = slot == rz_vector_len(skyline_vec);
    bool is_inside_prev_part = false;
    if (slot) {
        RzSkylineItem *prev_part = rz_vector_index_ptr(skyline_vec, slot - 1);
        const ut64 prev_part_end = rz_itv_end(prev_part->itv);
        if (prev_part_end > rz_itv_begin(new_part.itv)) {
            prev_part->itv.size = rz_itv_begin(new_part.itv) - rz_itv_begin(prev_part->itv);
            if (prev_part_end > new_part_end) {
                RzSkylineItem tail;
                tail.user = prev_part->user;
                tail.itv.addr = new_part_end;
                tail.itv.size = prev_part_end - rz_itv_begin(tail.itv);
                rz_vector_insert(skyline_vec, slot, &tail);
                is_inside_prev_part = true;
            }
        }
    }
    if (!is_last && !is_inside_prev_part) {
        RzSkylineItem *part = rz_vector_index_ptr(skyline_vec, slot);
        while (part && rz_itv_include(new_part.itv, part->itv)) {
            // Remove `part` that fits in `new_part`
            rz_vector_remove_at(skyline_vec, slot, NULL);
            part = slot < rz_vector_len(skyline_vec) ? rz_vector_index_ptr(skyline_vec, slot) : NULL;
        }
        if (part && rz_itv_overlap(new_part.itv, part->itv)) {
            // Chop start of last `part` that intersects `new_part`
            const ut64 oaddr = rz_itv_begin(part->itv);
            part->itv.addr = new_part_end;
            part->itv.size -= rz_itv_begin(part->itv) - oaddr;
        }
    }
    rz_vector_insert(skyline_vec, slot, &new_part);
    return true;
}

References rz_interval_t::addr, CMP_BEGIN_GTE_PART, rz_skyline_item_t::itv, NULL, rz_itv_begin(), rz_itv_end(), rz_itv_include(), rz_itv_overlap(), rz_itv_size(), rz_return_val_if_fail, rz_vector_index_ptr(), rz_vector_insert(), rz_vector_len(), rz_vector_lower_bound, rz_vector_remove_at(), rz_interval_t::size, rz_skyline_item_t::user, ut64(), UT64_ADD_OVFCHK, and rz_skyline_t::v.

Referenced by io_map_calculate_skyline(), io_map_new(), rz_core_disasm_pde(), rz_io_cache_invalidate(), rz_io_cache_write(), and rz_io_map_priorize().

rz_skyline_clear()

static void rz_skyline_clear ( RzSkyline *  skyline )

inlinestatic

Definition at line 29 of file rz_skyline.h.

                                                        {
    rz_return_if_fail(skyline);
    rz_vector_clear(&skyline->v);
}

References rz_return_if_fail, rz_vector_clear(), and rz_skyline_t::v.

Referenced by io_map_calculate_skyline(), rz_core_disasm_pde(), rz_io_cache_invalidate(), rz_io_cache_reset(), and rz_io_map_fini().

rz_skyline_contains()

static bool rz_skyline_contains ( RzSkyline *  skyline, ut64  addr  )

inlinestatic

Definition at line 51 of file rz_skyline.h.

                                                                      {
    rz_return_val_if_fail(skyline, false);
    return (bool)rz_skyline_get_item(skyline, addr);
}

References addr, rz_return_val_if_fail, and rz_skyline_get_item().

Referenced by rz_io_cache_at().

rz_skyline_fini()

static void rz_skyline_fini ( RzSkyline *  skyline )

inlinestatic

Definition at line 24 of file rz_skyline.h.

                                                       {
    rz_return_if_fail(skyline);
    rz_vector_fini(&skyline->v);
}

References rz_return_if_fail, rz_vector_fini(), and rz_skyline_t::v.

Referenced by rz_io_cache_fini().

rz_skyline_get()

static void* rz_skyline_get ( RzSkyline *  skyline, ut64  addr  )

inlinestatic

Definition at line 39 of file rz_skyline.h.

                                                                  {
    rz_return_val_if_fail(skyline, NULL);
    const RzSkylineItem *item = rz_skyline_get_item(skyline, addr);
    return item ? item->user : NULL;
}

References addr, NULL, rz_return_val_if_fail, rz_skyline_get_item(), and rz_skyline_item_t::user.

Referenced by rz_io_map_get().

rz_skyline_get_intersect()

static void* rz_skyline_get_intersect ( RzSkyline *  skyline, ut64  addr, ut64  len  )

inlinestatic

Definition at line 45 of file rz_skyline.h.

                                                                                      {
    rz_return_val_if_fail(skyline, NULL);
    const RzSkylineItem *item = rz_skyline_get_item_intersect(skyline, addr, len);
    return item ? item->user : NULL;
}

References addr, len, NULL, rz_return_val_if_fail, rz_skyline_get_item_intersect(), and rz_skyline_item_t::user.

rz_skyline_get_item()

static const RzSkylineItem* rz_skyline_get_item ( RzSkyline *  skyline, ut64  addr  )

inlinestatic

Definition at line 34 of file rz_skyline.h.

                                                                                      {
    rz_return_val_if_fail(skyline, NULL);
    return rz_skyline_get_item_intersect(skyline, addr, 1);
}

References addr, NULL, rz_return_val_if_fail, and rz_skyline_get_item_intersect().

Referenced by rz_skyline_contains(), and rz_skyline_get().

rz_skyline_get_item_intersect()

RZ_API const RzSkylineItem* rz_skyline_get_item_intersect	(	RzSkyline *	skyline,
		ut64	addr,
		ut64	len
	)

Definition at line 60 of file skyline.c.

                                                                                                   {
    if (!len) {
        return NULL;
    }
    rz_return_val_if_fail(skyline, NULL);
    rz_return_val_if_fail(!UT64_ADD_OVFCHK(addr, len - 1), NULL);
    RzVector *skyline_vec = &skyline->v;
    size_t i, l = rz_vector_len(skyline_vec);
    rz_vector_lower_bound(skyline_vec, addr, i, CMP_END_GTE_PART);
    if (i == l) {
        return false;
    }
    const RzSkylineItem *item = rz_vector_index_ptr(skyline_vec, i);
    const ut64 intersect_end = addr + len;
    return !intersect_end || (item->itv.addr < addr + len) ? item : NULL;
}

References addr, rz_interval_t::addr, CMP_END_GTE_PART, i, rz_skyline_item_t::itv, len, NULL, rz_return_val_if_fail, rz_vector_index_ptr(), rz_vector_len(), rz_vector_lower_bound, ut64(), UT64_ADD_OVFCHK, and rz_skyline_t::v.

Referenced by rz_io_cache_read(), rz_skyline_get_intersect(), and rz_skyline_get_item().

rz_skyline_init()

static void rz_skyline_init ( RzSkyline *  skyline )

inlinestatic

Definition at line 19 of file rz_skyline.h.

                                                       {
    rz_return_if_fail(skyline);
    rz_vector_init(&skyline->v, sizeof(RzSkylineItem), NULL, NULL);
}

References NULL, rz_return_if_fail, rz_vector_init(), and rz_skyline_t::v.

Referenced by rz_io_cache_init(), and rz_io_init().