Magic-Mirror/radare2
1
0
Fork 0
mirror of https://github.com/radareorg/radare2.git synced 2024-12-03 02:41:08 +00:00
Code Issues Actions 7 Packages Projects Releases Wiki Activity
19d480fdc0
radare2/libr/core/anal.c
jvoisin 9b99c0135d Even more coverifix
2014-08-18 15:03:02 +02:00

1593 lines
47 KiB
C
Raw Blame History

/* radare - LGPL - Copyright 2009-2014 - pancake, nibble */
#include <r_types.h>
#include <r_list.h>
#include <r_flags.h>
#include <r_core.h>
#define ANALBS 4096
static void loganal(ut64 from, ut64 to) {
r_cons_clear_line (1);
eprintf ("0x%08"PFMT64x" > 0x%08"PFMT64x"\r", from, to);
}
R_API RAnalOp* r_core_anal_op(RCore *core, ut64 addr) {
RAnalOp op, *_op;
ut8 buf[128];
if (r_io_read_at (core->io, addr, buf, sizeof (buf))<1)
return NULL;
if (r_anal_op (core->anal, &op, addr, buf, sizeof (buf))<1)
return NULL;
_op = malloc (sizeof (op));
if (!_op) return NULL;
memcpy (_op, &op, sizeof (op));
return _op;
}
typedef struct {
RAnal *a;
int mode;
int count;
} HintListState;
static int cb(void *p, const char *k, const char *v) {
RAnalHint *hint;
HintListState *hls = p;
hint = r_anal_hint_from_string (hls->a, sdb_atoi (k+5), v);
// TODO: format using (mode)
switch (hls->mode) {
case 's':
r_cons_printf ("%s=%s\n", k, v);
case '*':
#define HINTCMD(x,y) if(hint->x) \
r_cons_printf (y"@0x%"PFMT64x"\n", hint->x, hint->addr)
HINTCMD (arch, "aha %s");
HINTCMD (bits, "ahb %d");
HINTCMD (size, "ahl %d");
HINTCMD (opcode, "aho %s");
HINTCMD (opcode, "ahs %s");
HINTCMD (opcode, "ahp %s");
break;
case 'j':
r_cons_printf ("%s{\"from\":%"PFMT64d",\"to\":%"PFMT64d,
hls->count>0?",":"", hint->addr, hint->addr+hint->size);
if (hint->arch) r_cons_printf (",\"arch\":\"%s\"", hint->arch); // XXX: arch must not contain strange chars
if (hint->bits) r_cons_printf (",\"bits\":%d", hint->bits);
if (hint->size) r_cons_printf (",\"size\":%d", hint->size);
if (hint->opcode) r_cons_printf (",\"opcode\":\"%s\"", hint->opcode);
if (hint->esil) r_cons_printf (",\"esil\":\"%s\"", hint->esil);
if (hint->ptr) r_cons_printf (",\"ptr\":\"0x%"PFMT64x"x\"", hint->ptr);
r_cons_printf ("}");
break;
default:
r_cons_printf (" 0x%08"PFMT64x" - 0x%08"PFMT64x, hint->addr, hint->addr+hint->size);
if (hint->arch) r_cons_printf (" arch='%s'", hint->arch);
if (hint->bits) r_cons_printf (" bits=%d", hint->bits);
if (hint->size) r_cons_printf (" length=%d", hint->size);
if (hint->opcode) r_cons_printf (" opcode='%s'", hint->opcode);
if (hint->esil) r_cons_printf (" esil='%s'", hint->esil);
r_cons_newline ();
}
hls->count++;
free (hint);
return 1;
}
R_API void r_core_anal_hint_list (RAnal *a, int mode) {
HintListState hls = {};
hls.mode = mode;
hls.count = 0;
hls.a = a;
if (mode == 'j') r_cons_strcat ("[");
sdb_foreach (a->sdb_hints, cb, &hls);
if (mode == 'j') r_cons_strcat ("]\n");
}
static char *r_core_anal_graph_label(RCore *core, RAnalBlock *bb, int opts) {
int is_html = r_cons_singleton ()->is_html;
int is_json = opts & R_CORE_ANAL_JSON;
char cmd[1024], file[1024], *cmdstr = NULL, *filestr = NULL, *str = NULL;
int line = 0, oline = 0, idx = 0;
ut64 at;
if (opts & R_CORE_ANAL_GRAPHLINES) {
#if R_ANAL_BB_HA_OPS
RAnalOp *opi;
RListIter *iter;
r_list_foreach (bb->ops, iter, opi) {
r_bin_addr2line (core->bin, opi->addr, file, sizeof (file)-1, &line);
#else
for (at=bb->addr; at<bb->addr+bb->size; at+=2) {
r_bin_addr2line (core->bin, at, file, sizeof (file)-1, &line);
#endif
if (line != 0 && line != oline && strcmp (file, "??")) {
filestr = r_file_slurp_line (file, line, 0);
if (filestr) {
int flen = strlen (filestr);
cmdstr = realloc (cmdstr, idx + flen + 8);
memcpy (cmdstr + idx, filestr, flen);
idx += flen;
if (is_json)
memcpy (cmdstr + idx, "\\n", 3);
else if (is_html)
memcpy (cmdstr + idx, "<br />", 7);
else memcpy (cmdstr + idx, "\\l", 3);
free (filestr);
}
}
oline = line;
}
} else if (opts & R_CORE_ANAL_GRAPHBODY) {
r_cons_flush ();
snprintf (cmd, sizeof (cmd), "pD %d @ 0x%08"PFMT64x,
bb->size, bb->addr);
cmdstr = r_core_cmd_str (core, cmd);
}
if (cmdstr) {
str = r_str_escape_dot (cmdstr);
free (cmdstr);
if (!str)
return NULL;
}
return str;
}
static void r_core_anal_graph_nodes(RCore *core, RAnalFunction *fcn, int opts) {
int is_html = r_cons_singleton ()->is_html;
int is_json = opts & R_CORE_ANAL_JSON;
int is_keva = opts & R_CORE_ANAL_KEYVALUE;
struct r_anal_bb_t *bbi;
RListIter *iter;
int left = 300;
int count = 0;
int top = 0;
char *str;
Sdb *DB = NULL;
if (is_keva) {
char ns[64];
DB = sdb_ns (core->anal->sdb, "graph", 1);
snprintf (ns, sizeof (ns), "fcn.0x%08"PFMT64x, fcn->addr);
DB = sdb_ns (DB, ns, 1);
}
#define fmt(x,y...) snprintf (x,sizeof(x),##y)
if (is_keva) {
char *ename = sdb_encode ((const ut8*)fcn->name, -1);
sdb_set (DB, "name", fcn->name, 0);
sdb_set (DB, "ename", ename, 0);
free (ename);
if (fcn->nargs>0)
sdb_num_set (DB, "nargs", fcn->nargs, 0);
sdb_num_set (DB, "size", fcn->size, 0);
if (fcn->stack>0)
sdb_num_set (DB, "stack", fcn->stack, 0);
sdb_set (DB, "pos", "0,0", 0); // needs to run layout
sdb_set (DB, "type", r_anal_fcn_type_tostring (fcn->type), 0);
} else
if (is_json) {
// TODO: show vars, refs and xrefs
r_cons_printf ("{\"name\":\"%s\"", fcn->name);
r_cons_printf (",\"offset\":%"PFMT64d, fcn->addr);
r_cons_printf (",\"ninstr\":%"PFMT64d, fcn->ninstr);
r_cons_printf (",\"nargs\":%"PFMT64d, fcn->nargs);
r_cons_printf (",\"size\":%d", fcn->size);
r_cons_printf (",\"stack\":%d", fcn->stack);
r_cons_printf (",\"type\":%d", fcn->type); // TODO: output string
//r_cons_printf (",\"cc\":%d", fcn->call); // TODO: calling convention
if (fcn->dsc) r_cons_printf (",\"signature\":\"%s\"", fcn->dsc);
r_cons_printf (",\"blocks\":[");
}
r_list_foreach (fcn->bbs, iter, bbi) {
count ++;
if (is_keva) {
char key[128];
sdb_array_push_num (DB, "bbs", bbi->addr, 0);
snprintf (key, sizeof (key), "bb.0x%08"PFMT64x".size", bbi->addr);
sdb_num_set (DB, key, bbi->size, 0); // bb.<addr>.size=<num>
} else
if (is_json) {
if (count>1)
r_cons_printf (",");
r_cons_printf ("{\"offset\":%"PFMT64d",\"size\":%"PFMT64d, bbi->addr, bbi->size);
if (bbi->jump != UT64_MAX)
r_cons_printf (",\"jump\":%"PFMT64d, bbi->jump);
if (bbi->fail != -1)
r_cons_printf (",\"fail\":%"PFMT64d, bbi->fail);
if ((str = r_core_anal_graph_label (core, bbi, opts))) {
str = r_str_replace (str, "\\ ", "\\\\ ", 1);
r_cons_printf (",\"code\":\"%s\"", str);
free (str);
}
r_cons_printf ("}");
continue;
}
if (bbi->jump != UT64_MAX) {
if (is_keva) {
char key[128];
char val[128];
snprintf (key, sizeof (key), "bb.0x%08"PFMT64x".to", bbi->addr);
if (bbi->fail != UT64_MAX) {
fmt (val, "0x%08"PFMT64x, bbi->jump);
} else {
fmt (val, "0x%08"PFMT64x ",0x%08"PFMT64x, bbi->jump, bbi->fail);
}
// bb.<addr>.to=<jump>,<fail>
sdb_set (DB, key, val, 0);
} else
if (is_json) {
// do nothing here
} else
if (is_html) {
r_cons_printf ("<div class=\"connector _0x%08"PFMT64x" _0x%08"PFMT64x"\">\n"
" <img class=\"connector-end\" src=\"img/arrow.gif\" /></div>\n",
bbi->addr, bbi->jump);
} else r_cons_printf ("\t\"0x%08"PFMT64x"_0x%08"PFMT64x"\" -> \"0x%08"PFMT64x"_0x%08"PFMT64x"\" "
"[color=\"%s\"];\n", fcn->addr, bbi->addr, fcn->addr, bbi->jump,
bbi->fail != -1 ? "green" : "blue");
r_cons_flush ();
}
if (bbi->fail != -1) {
if (is_keva) {
// already done in the previous block
} else
if (is_html) {
r_cons_printf ("<div class=\"connector _0x%08"PFMT64x" _0x%08"PFMT64x"\">\n"
" <img class=\"connector-end\" src=\"img/arrow.gif\"/></div>\n",
bbi->addr, bbi->fail);
} else r_cons_printf ("\t\"0x%08"PFMT64x"_0x%08"PFMT64x"\" -> \"0x%08"PFMT64x"_0x%08"PFMT64x"\" "
"[color=\"red\"];\n", fcn->addr, bbi->addr, fcn->addr, bbi->fail);
r_cons_flush ();
}
if (bbi->switch_op) {
RAnalCaseOp *caseop;
RListIter *iter;
if (is_keva) {
// Nothing to do here
} else
if (is_html) {
r_cons_printf ("<div class=\"connector _0x%08"PFMT64x" _0x%08"PFMT64x"\">\n"
" <img class=\"connector-end\" src=\"img/arrow.gif\"/></div>\n",
bbi->addr, bbi->fail);
} else r_cons_printf ("\t\"0x%08"PFMT64x"_0x%08"PFMT64x"\" -> \"0x%08"PFMT64x"_0x%08"PFMT64x"\" "
"[color=\"red\"];\n", fcn->addr, bbi->addr, fcn->addr, bbi->fail);
r_cons_flush ();
r_list_foreach (bbi->switch_op->cases, iter, caseop) {
if (caseop) {
if (is_keva) {
char key[128];
fmt (key, "bb.0x%08"PFMT64x".switch.%"PFMT64d,
bbi->addr, caseop->value);
sdb_num_set (DB, key, caseop->jump, 0);
fmt (key, "bb.0x%08"PFMT64x".switch", bbi->addr);
sdb_array_add_num (DB, key, caseop->value, 0);
} else
if (is_html) {
r_cons_printf ("<div class=\"connector _0x%08"PFMT64x" _0x%08"PFMT64x"\">\n"
" <img class=\"connector-end\" src=\"img/arrow.gif\"/></div>\n",
caseop->addr, caseop->jump);
} else r_cons_printf ("\t\"0x%08"PFMT64x"_0x%08"PFMT64x"\" -> \"0x%08"PFMT64x"_0x%08"PFMT64x"\" "
"[color=\"red\"];\n", fcn->addr, caseop->addr, fcn->addr, caseop->jump);
r_cons_flush ();
}
}
}
if ((str = r_core_anal_graph_label (core, bbi, opts))) {
if (opts & R_CORE_ANAL_GRAPHDIFF) {
const char *difftype = bbi->diff? (\
bbi->diff->type==R_ANAL_DIFF_TYPE_MATCH? "lightgray":
bbi->diff->type==R_ANAL_DIFF_TYPE_UNMATCH? "yellow": "red"): "black";
const char *diffname = bbi->diff? (\
bbi->diff->type==R_ANAL_DIFF_TYPE_MATCH? "match":
bbi->diff->type==R_ANAL_DIFF_TYPE_UNMATCH? "unmatch": "new"): "unk";
if (is_keva) {
sdb_set (DB, "diff", diffname, 0);
sdb_set (DB, "label", str, 0);
} else if (is_json) {
// nothing
} else {
r_cons_printf (" \"0x%08"PFMT64x"_0x%08"PFMT64x"\" [color=\"%s\","
" label=\"%s\", URL=\"%s/0x%08"PFMT64x"\"]\n",
fcn->addr, bbi->addr,
difftype, str,
fcn->name, bbi->addr);
}
} else {
if (is_keva) {
// nothing
//sdb_set (DB, "");
} else
if (is_json) {
// nothing
} else
if (is_html) {
r_cons_printf ("<p class=\"block draggable\" style=\""
"top: %dpx; left: %dpx; width: 400px;\" id=\""
"_0x%08"PFMT64x"\">\n%s</p>\n",
top, left, bbi->addr, str);
left = left? 0: 600;
if (!left) top += 250;
} else
r_cons_printf (" \"0x%08"PFMT64x"_0x%08"PFMT64x"\" ["
"URL=\"%s/0x%08"PFMT64x"\", color=\"%s\", label=\"%s\"]\n",
fcn->addr, bbi->addr,
fcn->name, bbi->addr,
bbi->traced?"yellow":"lightgray", str);
}
r_cons_flush ();
free (str);
}
}
if (is_json)
r_cons_printf ("]}");
}
R_API int r_core_anal_bb(RCore *core, RAnalFunction *fcn, ut64 at, int head) {
struct r_anal_bb_t *bb = NULL, *bbi;
RListIter *iter;
ut64 jump, fail;
ut8 *buf = NULL;
int ret = R_ANAL_RET_NEW, buflen, bblen = 0;
int split = core->anal->split;
if (--fcn->depth<=0)
return R_FALSE;
if (!(bb = r_anal_bb_new ()))
return R_FALSE;
if (split) ret = r_anal_fcn_split_bb (fcn, bb, at);
else r_list_foreach (fcn->bbs, iter, bbi) {
if (at == bbi->addr)
ret = R_ANAL_RET_DUP;
}
if (ret == R_ANAL_RET_DUP) { /* Dupped bb */
goto error;
} else if (ret == R_ANAL_RET_NEW) { /* New bb */
// XXX: use static buffer size of 512 or so
if (!(buf = malloc (ANALBS))) //core->blocksize)))
goto error;
do {
#if 1
// check io error
if (r_io_read_at (core->io, at+bblen, buf, 4) != 4) // ETOOSLOW
//core->blocksize)) != core->blocksize)
goto error;
#endif
r_core_read_at (core, at+bblen, buf, ANALBS); //core->blocksize);
if (!memcmp (buf, "\xff\xff\xff\xff", 4))
goto error;
buflen = ANALBS; //core->blocksize;
//eprintf ("Pre %llx %d\n", at, buflen);
bblen = r_anal_bb (core->anal, bb, at+bblen, buf, buflen, head);
//eprintf ("Pos %d\n", bblen);
if (bblen == R_ANAL_RET_ERROR ||
(bblen == R_ANAL_RET_END && bb->size < 1)) { /* Error analyzing bb */
goto error;
} else if (bblen == R_ANAL_RET_END) { /* bb analysis complete */
if (split)
ret = r_anal_fcn_overlap_bb (fcn, bb);
if (ret == R_ANAL_RET_NEW) {
r_list_append (fcn->bbs, bb);
fail = bb->fail;
jump = bb->jump;
if (fail != -1)
r_core_anal_bb (core, fcn, fail, R_FALSE);
if (jump != -1)
r_core_anal_bb (core, fcn, jump, R_FALSE);
}
}
} while (bblen != R_ANAL_RET_END);
}
free (buf);
return R_TRUE;
error:
r_list_delete_data (fcn->bbs, bb);
r_anal_bb_free (bb);
free (buf);
return R_FALSE;
}
R_API int r_core_anal_bb_seek(RCore *core, ut64 addr) {
RAnalBlock *bbi;
RAnalFunction *fcni;
RListIter *iter, *iter2;
r_list_foreach (core->anal->fcns, iter, fcni)
r_list_foreach (fcni->bbs, iter2, bbi)
if (addr >= bbi->addr && addr < bbi->addr+bbi->size)
return r_core_seek (core, bbi->addr, R_FALSE);
return r_core_seek (core, addr, R_FALSE);
}
static int cmpaddr (void *_a, void *_b) {
RAnalBlock *a = _a, *b = _b;
return (a->addr > b->addr);
}
static int iscodesection(RCore *core, ut64 addr) {
RIOSection *s = r_io_section_vget (core->io, addr);
return (s && s->rwx & R_IO_EXEC)? 1: 0;
}
// XXX: This function takes sometimes forever
R_API int r_core_anal_fcn(RCore *core, ut64 at, ut64 from, int reftype, int depth) {
RAnalHint *hint;
int has_next = r_config_get_i (core->config, "anal.hasnext");
RListIter *iter, *iter2;
int buflen, fcnlen = 0;
RAnalFunction *fcn = NULL, *fcni;
RAnalRef *ref = NULL, *refi;
ut64 *next = NULL;
int i, nexti = 0;
ut8 *buf;
# define next_append(x) {\
next = realloc (next, sizeof (ut64)*(1+nexti)); \
next[nexti] = (x); \
nexti++; \
}
if (core->anal->cur && core->anal->cur->analyze_fns) {
int result = R_ANAL_RET_ERROR;
result = core->anal->cur->analyze_fns (core->anal, at, from, reftype, depth);
// do this to prevent stale usage and catch others who are using it
//memset(&core->anal->binb, 0, sizeof(RBinBind));
r_list_foreach (core->anal->fcns, iter, fcni) {
r_flag_space_set (core->flags, "functions");
r_flag_set (core->flags, fcni->name, fcni->addr, fcni->size, 0);
}
return result;
}
if (from != UT64_MAX && at == 0) {
return R_FALSE;
}
//if ((at>>63) == 1 || at == UT64_MAX || depth < 0)
if (at == UT64_MAX || depth < 0) {
return R_FALSE;
}
#warning This must be optimized to use the fcnstore api
r_list_foreach (core->anal->fcns, iter, fcni) {
if (r_cons_singleton ()->breaked)
break;
if (at == fcni->addr) { /* Function already analyzed */
if (from != UT64_MAX) {
#define USE_NEW_REFS 1
#if USE_NEW_REFS
r_list_foreach (fcni->xrefs, iter2, refi) {
r_anal_xrefs_set (core->anal, refi->type, refi->addr, refi->at);
}
#else
/* If the xref is new, add it */
r_list_foreach (fcni->xrefs, iter2, refi)
if (from == refi->addr)
return R_TRUE;
if (!(ref = r_anal_ref_new ())) {
eprintf ("Error: new (xref)\n");
return R_FALSE;
}
ref->addr = from;
ref->at = at;
ref->type = reftype;
if (reftype == 'd') {
// XXX HACK TO AVOID INVALID REFS
r_list_append (fcni->xrefs, ref);
}
#endif
}
return R_TRUE;
}
}
if (!(fcn = r_anal_fcn_new ())) {
eprintf ("Error: new (fcn)\n");
return R_FALSE;
}
hint = r_anal_hint_get (core->anal, at);
if (hint && hint->bits == 16) {
// expand 16bit for function
fcn->bits = 16;
}
fcn->addr = at;
fcn->size = 0;
fcn->name = r_str_newf ("fcn.%08"PFMT64x, at);
if (!(buf = malloc (ANALBS))) { //core->blocksize))) {
eprintf ("Error: malloc (buf)\n");
goto error;
}
//r_cons_clear_line (1);
//eprintf ("FUNC 0x%08"PFMT64x"\n", at+fcnlen);
do {
int delta = fcn->size;
// check io error
if ((buflen = r_io_read_at (core->io, at+delta, buf, 4) != 4)) {
goto error;
}
// real read.
#if 0
if (!r_core_read_at (core, at+delta, buf, ANALBS))
goto error;
#else
r_io_read_at (core->io, at+delta, buf, ANALBS);
#endif
if (!memcmp (buf, "\xff\xff\xff\xff", 4)) {
goto error;
}
buflen = ANALBS;
if (r_cons_singleton ()->breaked)
break;
fcnlen = r_anal_fcn (core->anal, fcn, at+delta, buf, buflen, reftype);
if (fcnlen<0) {
switch (fcnlen) {
case R_ANAL_RET_ERROR:
case R_ANAL_RET_NEW:
case R_ANAL_RET_DUP:
case R_ANAL_RET_END:
break;
default:
eprintf ("Oops. Negative function size at 0x%08"PFMT64x" (%d)\n",
at, fcnlen);
continue;
}
}
//at = fcn->addr;
{
RFlagItem *f = r_flag_get_i (core->flags, fcn->addr);
free (fcn->name);
if (f) {
fcn->name = strdup (f->name);
} else {
fcn->name = r_str_newf ("fcn.%08"PFMT64x, fcn->addr);
}
}
// HACK
//r_anal_fcn_insert (core->anal, fcn);
if (fcnlen == R_ANAL_RET_ERROR ||
(fcnlen == R_ANAL_RET_END && fcn->size < 1)) { /* Error analyzing function */
goto error;
} else if (fcnlen == R_ANAL_RET_END) { /* Function analysis complete */
RFlagItem *f = r_flag_get_i2 (core->flags, at);
free (fcn->name);
if (f) { /* Check if it's already flagged */
fcn->name = strdup (f->name); // memleak here?
} else {
fcn->name = r_str_newf ("%s.%08"PFMT64x,
fcn->type == R_ANAL_FCN_TYPE_LOC? "loc":
fcn->type == R_ANAL_FCN_TYPE_SYM? "sym":
fcn->type == R_ANAL_FCN_TYPE_IMP? "imp": "fcn", at);
/* Add flag */
r_flag_space_set (core->flags, "functions");
r_flag_set (core->flags, fcn->name, at, fcn->size, 0);
}
fcn->addr = at;
/* TODO: Dupped analysis, needs more optimization */
fcn->depth = 256;
r_core_anal_bb (core, fcn, fcn->addr, R_TRUE);
// hack
if (fcn->depth == 0) {
eprintf ("Analysis depth reached at 0x%08"PFMT64x"\n", fcn->addr);
} else fcn->depth = 256-fcn->depth;
r_list_sort (fcn->bbs, &cmpaddr);
/* New function: Add initial xref */
if (from != UT64_MAX) {
if (!(ref = r_anal_ref_new ())) {
eprintf ("Error: new (xref)\n");
goto error;
}
ref->addr = from;
ref->at = at;
ref->type = reftype;
r_list_append (fcn->xrefs, ref);
}
// XXX: this is wrong. See CID 1134565
r_anal_fcn_insert (core->anal, fcn);
if (has_next) {
int i;
ut64 addr = fcn->addr + fcn->size;
for (i=0; i<nexti; i++) {
if (next[i] == addr) {
break;
}
}
if (i==nexti) {
// TODO: ensure next address is function after padding (nop or trap or wat)
// XXX noisy for test cases because we want to clear the stderr
r_cons_clear_line (1);
loganal (fcn->addr, fcn->addr+fcn->size);
next_append (fcn->addr+fcn->size);
}
}
r_list_foreach (fcn->refs, iter, refi) {
if (refi->addr != UT64_MAX) {
switch (refi->type) {
case 'd':
#if 0
// check if destination is in text. and analyze!
// commented because it doesnt seems to work in all conditions
if (iscodesection (core, refi->at)) {
//refi->type = 'c';
r_core_anal_fcn (core, refi->at, refi->addr, 0, depth-1);
}
#endif
if (iscodesection (core, refi->at)) {
//eprintf ("Probably function at 0x%08"PFMT64x"\n", refi->at);
}
break;
case R_ANAL_REF_TYPE_CODE:
case R_ANAL_REF_TYPE_CALL:
r_core_anal_fcn (core, refi->addr, refi->at, refi->type, depth-1);
break;
default:
break;
}
// TODO: fix memleak here, fcn not freed even though it is
// added in core->anal->fcns which is freed in r_anal_free()
}
}
}
} while (fcnlen != R_ANAL_RET_END);
free (buf);
if (has_next) {
for (i=0; i<nexti; i++) {
if (!next[i]) continue;
r_core_anal_fcn (core, next[i], from, 0, depth-1);
}
free (next);
}
return R_TRUE;
error:
free (buf);
// ugly hack to free fcn
if (fcn) {
if (fcn->size == 0 || fcn->addr == UT64_MAX) {
r_anal_fcn_free (fcn);
fcn = NULL;
} else {
// TODO: mark this function as not properly analyzed
#if 0
eprintf ("Analysis of function 0x%08"PFMT64x
" has failed at 0x%08"PFMT64x"\n",
fcn->addr, fcn->addr+fcn->size);
#endif
if (!fcn->name) {
// XXX dupped code.
fcn->name = r_str_newf ("%s.%08"PFMT64x,
fcn->type == R_ANAL_FCN_TYPE_LOC? "loc":
fcn->type == R_ANAL_FCN_TYPE_SYM? "sym":
fcn->type == R_ANAL_FCN_TYPE_IMP? "imp": "fcn", at);
/* Add flag */
r_flag_space_set (core->flags, "functions");
r_flag_set (core->flags, fcn->name, at, fcn->size, 0);
}
r_anal_fcn_insert (core->anal, fcn);
#if 0
// unlink from list to avoid double free later when we call r_anal_free()
r_list_delete_data (core->anal->fcns, fcn);
if (core->anal->fcns->free == NULL)
r_anal_fcn_free (fcn);
#endif
}
if (fcn && has_next) {
next_append (fcn->addr+fcn->size);
for (i=0; i<nexti; i++) {
if (!next[i]) continue;
r_core_anal_fcn (core, next[i],
next[i], 0, depth-1);
}
free (next);
}
}
return R_FALSE;
}
R_API int r_core_anal_fcn_clean(RCore *core, ut64 addr) {
RAnalFunction *fcni;
RListIter *iter, *iter_tmp;
if (addr == 0) {
r_list_purge (core->anal->fcns);
if (!(core->anal->fcns = r_anal_fcn_list_new ()))
return R_FALSE;
} else {
r_list_foreach_safe (core->anal->fcns, iter, iter_tmp, fcni) {
if (addr >= fcni->addr && addr < fcni->addr+fcni->size) {
r_list_delete (core->anal->fcns, iter);
}
}
}
return R_TRUE;
}
#define FMT_NO 0
#define FMT_GV 1
#define FMT_JS 2
R_API void r_core_anal_refs(RCore *core, ut64 addr, int fmt) {
RAnalFunction fakefr = {0};
const char *font = r_config_get (core->config, "graph.font");
int is_html = r_cons_singleton ()->is_html;
int first, first2, showhdr = 0;
RListIter *iter, *iter2;
const int hideempty = 1;
const int usenames = 1;
RAnalFunction *fcni;
RAnalRef *fcnr;
if (fmt==2) r_cons_printf ("[");
first = 0;
r_list_foreach (core->anal->fcns, iter, fcni) {
if (addr != 0 && addr != fcni->addr)
continue;
if (fmt==0) {
r_cons_printf ("0x%08"PFMT64x"\n", fcni->addr);
} else if (fmt==2) {
//r_cons_printf ("{\"name\":\"%s\", \"size\":%d,\"imports\":[", fcni->name, fcni->size);
if (hideempty && r_list_length (fcni->refs)==0)
continue;
if (usenames)
r_cons_printf ("%s{\"name\":\"%s\", \"size\":%d,\"imports\":[",
first?",":"",fcni->name, fcni->size);
else
r_cons_printf ("%s{\"name\":\"0x%08"PFMT64x"\", \"size\":%d,\"imports\":[",
first?",":"",fcni->addr, fcni->size);
first = 1;
}
first2 = 0;
r_list_foreach (fcni->refs, iter2, fcnr) {
RAnalFunction *fr = r_anal_get_fcn_at (core->anal, fcnr->addr);
if (!fr) {
eprintf ("Invalid reference from 0x%08"PFMT64x
" to 0x%08"PFMT64x"\n", fcni->addr, fcnr->addr);
fr = &fakefr;
if (fr) free (fr->name);
fr->name = malloc (32);
snprintf (fr->name, 31, "unk.0x%"PFMT64x, fcnr->addr);
}
if (!is_html && !showhdr) {
if (fmt==1) r_cons_printf ("digraph code {\n"
"\tgraph [bgcolor=white];\n"
"\tnode [color=lightgray, style=filled shape=box"
" fontname=\"%s\" fontsize=\"8\"];\n"
"\tedge [fontname=\"%s\" fontsize=\"8\"];\n", font, font);
showhdr = 1;
}
// TODO: display only code or data refs?
RFlagItem *flag = r_flag_get_i (core->flags, fcnr->addr);
if (fmt==1) {
r_cons_printf ("\t\"0x%08"PFMT64x"\" -> \"0x%08"PFMT64x"\" "
"[label=\"%s\" color=\"%s\" URL=\"%s/0x%08"PFMT64x"\"];\n",
fcni->addr, fcnr->addr, flag?flag->name:"",
(fcnr->type==R_ANAL_REF_TYPE_CODE ||
fcnr->type==R_ANAL_REF_TYPE_CALL)?"green":"red",
flag? flag->name: "", fcnr->addr);
r_cons_printf ("\t\"0x%08"PFMT64x"\" "
"[label=\"%s\" URL=\"%s/0x%08"PFMT64x"\"];\n",
fcnr->addr, flag?flag->name:fr?fr->name:"unk",
flag? flag->name: "", fcnr->addr);
} else if (fmt==2) {
if (fr) {
if (!hideempty || (hideempty && r_list_length (fr->refs)>0)) {
if (usenames)
r_cons_printf ("%s\"%s\"", first2?",":"", fr->name);
else r_cons_printf ("%s\"0x%08"PFMT64x"\"", first2?",":"", fr->addr);
first2 = 1;
}
}
} else r_cons_printf (" - 0x%08"PFMT64x" (%c)\n", fcnr->addr, fcnr->type);
}
if (fmt==2) r_cons_printf ("]}");
}
if (showhdr && fmt==1)
r_cons_printf ("}\n");
if (fmt==2) r_cons_printf ("]\n");
}
static void fcn_list_bbs(RAnalFunction *fcn) {
RAnalBlock *bbi;
RListIter *iter;
r_list_foreach (fcn->bbs, iter, bbi) {
r_cons_printf ("afbb 0x%08"PFMT64x" 0x%08"PFMT64x" %04"PFMT64d" ",
fcn->addr, bbi->addr, bbi->size);
r_cons_printf ("0x%08"PFMT64x" ", bbi->jump);
r_cons_printf ("0x%08"PFMT64x" ", bbi->fail);
if (bbi->type != R_ANAL_BB_TYPE_NULL) {
if ((bbi->type & R_ANAL_BB_TYPE_BODY))
r_cons_printf ("b");
if ((bbi->type & R_ANAL_BB_TYPE_FOOT))
r_cons_printf ("f");
if ((bbi->type & R_ANAL_BB_TYPE_HEAD))
r_cons_printf ("h");
if ((bbi->type & R_ANAL_BB_TYPE_LAST))
r_cons_printf ("l");
} else r_cons_printf ("n");
if (bbi->diff) {
if (bbi->diff->type == R_ANAL_DIFF_TYPE_MATCH)
r_cons_printf (" m");
else if (bbi->diff->type == R_ANAL_DIFF_TYPE_UNMATCH)
r_cons_printf (" u");
else r_cons_printf (" n");
}
r_cons_printf ("\n");
}
}
R_API void r_core_anal_fcn_local_list(RCore *core, RAnalFunction *fcn, int rad) {
if (!fcn) {
RAnalFunction *f;
RListIter *iter;
r_list_foreach (core->anal->fcns, iter, f) {
r_core_anal_fcn_local_list (core, f, rad);
}
} else
if (fcn) {
//eprintf ("TODO: sdbize\n");
#if 0
&& fcn->locals) {
RAnalFcnLocal *loc;
RListIter *iter;
r_list_foreach (fcn->locals, iter, loc) {
if ((loc != NULL) && (loc->name != NULL)) {
if (rad) {
r_cons_printf ("f.%s@0x%08"PFMT64x"\n",
loc->name, fcn->name,
loc->addr - fcn->addr, loc->addr);
} else {
r_cons_printf ("%s at [%s + %"PFMT64d"] (0x%08"PFMT64x")\n",
loc->name, fcn->name,
loc->addr - fcn->addr, loc->addr);
}
}
}
#endif
}
}
R_API int r_core_anal_fcn_list(RCore *core, const char *input, int rad) {
ut64 addr = r_num_math (core->num, input+1);
RListIter *iter, *iter2;
RAnalFunction *fcn;
RAnalRef *refi;
RAnalVar *vari;
int bbs, count = 0;
if (rad==2) {
r_list_foreach (core->anal->fcns, iter, fcn) {
if (input[2]!='*' && !memcmp (fcn->name, "loc.", 4))
continue;
bbs = r_list_length (fcn->bbs);
r_cons_printf ("0x%08"PFMT64x" %"PFMT64d" %d %s\n",
(ut64)fcn->addr, (ut64)fcn->size,
(int)bbs, fcn->name? fcn->name: "");
}
return R_TRUE;
} else if (rad == 'j') {
r_cons_printf ("[");
}
#define infun(x,y) (y>=x->addr&&y<(x->addr+x->size))
r_list_foreach (core->anal->fcns, iter, fcn)
if (((input == NULL || *input == '\0') && fcn->type!=R_ANAL_FCN_TYPE_LOC)
|| infun (fcn, addr) || !strcmp (fcn->name, input+1)) {
count++;
if (rad=='j') {
r_cons_printf ("%s{\"offset\":%"PFMT64d",\"name\":\"%s\",\"size\":%d",
count>1? ",":"", fcn->addr, fcn->name, fcn->size);
r_cons_printf (",\"cc\":%d", r_anal_fcn_cc (fcn));
r_cons_printf (",\"type\":\"%s\"",
fcn->type==R_ANAL_FCN_TYPE_SYM?"sym":
fcn->type==R_ANAL_FCN_TYPE_IMP?"imp":"fcn");
if (fcn->type==R_ANAL_FCN_TYPE_FCN || fcn->type==R_ANAL_FCN_TYPE_SYM)
r_cons_printf (",\"diff\":\"%s\"",
fcn->diff->type==R_ANAL_DIFF_TYPE_MATCH?"MATCH":
fcn->diff->type==R_ANAL_DIFF_TYPE_UNMATCH?"UNMATCH":"NEW");
r_cons_printf (",\"callrefs\":[");
r_list_foreach (fcn->refs, iter2, refi)
if (refi->type == R_ANAL_REF_TYPE_CODE ||
refi->type == R_ANAL_REF_TYPE_CALL)
r_cons_printf ("{\"addr\":%"PFMT64d",\"type\":\"%c\"}%s",
refi->addr,
refi->type==R_ANAL_REF_TYPE_CALL?'C':'J',
iter2->n? ",":"");
r_cons_printf ("],\"datarefs\":[");
r_list_foreach (fcn->refs, iter2, refi)
if (refi->type == R_ANAL_REF_TYPE_DATA)
r_cons_printf ("%"PFMT64d"%s", refi->addr, iter2->n?",":"");
r_cons_printf ("],\"codexrefs\":[");
r_list_foreach (fcn->xrefs, iter2, refi)
if (refi->type == R_ANAL_REF_TYPE_CODE ||
refi->type == R_ANAL_REF_TYPE_CALL)
r_cons_printf ("{\"addr\":%"PFMT64d",\"type\":\"%c\"}%s",
refi->addr,
refi->type==R_ANAL_REF_TYPE_CALL?'C':'J',
iter2->n? ",":"");
r_cons_printf ("],\"dataxrefs\":[");
r_list_foreach (fcn->xrefs, iter2, refi)
if (refi->type == R_ANAL_REF_TYPE_DATA)
r_cons_printf ("%"PFMT64d"%s", refi->addr, iter2->n?",":"");
r_cons_printf ("]");
if (fcn->type==R_ANAL_FCN_TYPE_FCN || fcn->type==R_ANAL_FCN_TYPE_SYM) {
r_cons_printf (",\"vars\":%d", r_list_length (fcn->vars));
r_list_foreach (fcn->vars, iter2, vari) {
char *s = r_anal_type_to_str (core->anal, vari->type);
r_cons_printf ("\n %s %s @ 0x%02x", s, vari->name, vari->delta);
free (s);
}
r_cons_printf (",\"difftype\":\"%s\"",
fcn->diff->type==R_ANAL_DIFF_TYPE_MATCH?"match":
fcn->diff->type==R_ANAL_DIFF_TYPE_UNMATCH?"unmatch":"new");
if (fcn->diff->addr != -1)
r_cons_printf (",\"diffaddr\":%"PFMT64d, fcn->diff->addr);
if (fcn->diff->name != NULL)
r_cons_printf (",\"diffname\":\"%s\"", fcn->diff->name);
}
r_cons_printf ("}");
} else if (rad) {
r_cons_printf ("af+ 0x%08"PFMT64x" %d %s %c %c\n",
fcn->addr, fcn->size, fcn->name,
fcn->type==R_ANAL_FCN_TYPE_LOC?'l':
fcn->type==R_ANAL_FCN_TYPE_SYM?'s':
fcn->type==R_ANAL_FCN_TYPE_IMP?'i':'f',
fcn->diff->type==R_ANAL_DIFF_TYPE_MATCH?'m':
fcn->diff->type==R_ANAL_DIFF_TYPE_UNMATCH?'u':'n');
fcn_list_bbs (fcn);
} else {
r_cons_printf ("#\n offset: 0x%08"PFMT64x"\n name: %s\n size: %"PFMT64d,
fcn->addr, fcn->name, (ut64)fcn->size);
r_cons_printf ("\n cyclomatic-complexity: %d", r_anal_fcn_cc (fcn));
r_cons_printf ("\n type: %s",
fcn->type==R_ANAL_FCN_TYPE_SYM?"sym":
fcn->type==R_ANAL_FCN_TYPE_IMP?"imp":"fcn");
if (fcn->type==R_ANAL_FCN_TYPE_FCN || fcn->type==R_ANAL_FCN_TYPE_SYM)
r_cons_printf (" [%s]",
fcn->diff->type==R_ANAL_DIFF_TYPE_MATCH?"MATCH":
fcn->diff->type==R_ANAL_DIFF_TYPE_UNMATCH?"UNMATCH":"NEW");
r_cons_printf ("\n call-refs: ");
r_list_foreach (fcn->refs, iter2, refi)
if (refi->type == R_ANAL_REF_TYPE_CODE ||
refi->type == R_ANAL_REF_TYPE_CALL)
r_cons_printf ("0x%08"PFMT64x" %c ", refi->addr,
refi->type==R_ANAL_REF_TYPE_CALL?'C':'J');
r_cons_printf ("\n data-refs: ");
r_list_foreach (fcn->refs, iter2, refi)
if (refi->type == R_ANAL_REF_TYPE_DATA)
r_cons_printf ("0x%08"PFMT64x" ", refi->addr);
r_cons_printf ("\n code-xrefs: ");
r_list_foreach (fcn->xrefs, iter2, refi)
if (refi->type == R_ANAL_REF_TYPE_CODE ||
refi->type == R_ANAL_REF_TYPE_CALL)
r_cons_printf ("0x%08"PFMT64x" %c ", refi->addr,
refi->type==R_ANAL_REF_TYPE_CALL?'C':'J');
r_cons_printf ("\n data-xrefs: ");
r_list_foreach (fcn->xrefs, iter2, refi)
if (refi->type == R_ANAL_REF_TYPE_DATA)
r_cons_printf ("0x%08"PFMT64x" ", refi->addr);
if (fcn->type==R_ANAL_FCN_TYPE_FCN || fcn->type==R_ANAL_FCN_TYPE_SYM) {
r_cons_printf ("\n vars: %d", r_list_length (fcn->vars));
r_list_foreach (fcn->vars, iter2, vari) {
char *s = r_anal_type_to_str (core->anal, vari->type);
r_cons_printf ("\n %s %s @ 0x%02x", s, vari->name, vari->delta);
free (s);
}
r_cons_printf ("\n diff: type: %s",
fcn->diff->type==R_ANAL_DIFF_TYPE_MATCH?"match":
fcn->diff->type==R_ANAL_DIFF_TYPE_UNMATCH?"unmatch":"new");
if (fcn->diff->addr != -1)
r_cons_printf (" addr: 0x%"PFMT64x, fcn->diff->addr);
if (fcn->diff->name != NULL)
r_cons_printf (" function: %s",
fcn->diff->name);
}
r_cons_newline ();
}
}
if (rad == 'j') {
r_cons_printf ("]\n");
}
return R_TRUE;
}
static RList *recurse(RCore *core, RAnalBlock *from, RAnalBlock *dest);
static RList *recurse_bb(RCore *core, ut64 addr, RAnalBlock *dest) {
RAnalBlock *bb;
RList *ret;
bb = r_anal_bb_from_offset (core->anal, addr);
if (bb == dest) {
eprintf ("path found!");
return NULL;
}
ret = recurse (core, bb, dest);
if (ret) return ret;
return NULL;
}
static void register_path (RList *l) {
}
static RList *recurse(RCore *core, RAnalBlock *from, RAnalBlock *dest) {
RList *ret = recurse_bb (core, from->jump, dest);
if (ret) register_path (ret);
ret = recurse_bb (core, from->fail, dest);
if (ret) register_path (ret);
/* same for all calls */
// TODO: RAnalBlock must contain a linked list of calls
return NULL;
}
R_API RList* r_core_anal_graph_to(RCore *core, ut64 addr, int n) {
RAnalBlock *bb, *root = NULL, *dest = NULL;
RListIter *iter, *iter2;
RList *list2 = NULL, *list = NULL;
RAnalFunction *fcn;
r_list_foreach (core->anal->fcns, iter, fcn) {
if (!r_anal_fcn_is_in_offset (fcn, core->offset))
continue;
r_list_foreach (fcn->bbs, iter2, bb) {
if (r_anal_bb_is_in_offset (bb, addr)) {
dest = bb;
}
if (r_anal_bb_is_in_offset (bb, core->offset)) {
root = bb;
// list2 = r_core_anal_graph_
r_list_append (list, list2);
}
}
}
if (root && dest) {
if (dest == root) {
eprintf ("Source and destination are the same\n");
return NULL;
}
eprintf ("ROOT BB 0x%08"PFMT64x"\n", root->addr);
eprintf ("DEST BB 0x%08"PFMT64x"\n", dest->addr);
list = r_list_new ();
/* {
RList *ll = recurse (core, root, dest);
r_list_append (list, ll);
} */
printf ("=> 0x%08"PFMT64x"\n", root->jump);
} else eprintf ("Unable to find source or destination basic block\n");
return list;
}
R_API int r_core_anal_graph(RCore *core, ut64 addr, int opts) {
const char *font = r_config_get (core->config, "graph.font");
int is_html = r_cons_singleton ()->is_html;
int is_json = opts & R_CORE_ANAL_JSON;
int is_keva = opts & R_CORE_ANAL_KEYVALUE;
int reflines, bytes, dwarf;
RAnalFunction *fcni;
RListIter *iter;
int count = 0;
if (r_list_empty (core->anal->fcns))
return R_FALSE;
opts |= R_CORE_ANAL_GRAPHBODY;
reflines = r_config_get_i (core->config, "asm.lines");
bytes = r_config_get_i (core->config, "asm.bytes");
dwarf = r_config_get_i (core->config, "asm.dwarf");
r_config_set_i (core->config, "asm.lines", 0);
r_config_set_i (core->config, "asm.bytes", 0);
r_config_set_i (core->config, "asm.dwarf", 0);
if (!is_html && !is_json && !is_keva)
r_cons_printf ("digraph code {\n"
"\tgraph [bgcolor=white];\n"
"\tnode [color=lightgray, style=filled shape=box"
" fontname=\"%s\" fontsize=\"8\"];\n", font);
if (is_json)
r_cons_printf ("[");
r_cons_flush ();
#define inrange(x,f) ((x>=f->addr)&&(x<(f->addr+f->size)))
r_list_foreach (core->anal->fcns, iter, fcni) {
if (fcni->type & (R_ANAL_FCN_TYPE_SYM | R_ANAL_FCN_TYPE_FCN)
&& (addr == 0 || inrange (addr, fcni))) {
if (is_json && count++>0) r_cons_printf (",");
r_core_anal_graph_nodes (core, fcni, opts);
if (addr != 0) break;
}
}
if (!is_keva && !is_html && !is_json) r_cons_printf ("}\n");
if (is_json)
r_cons_printf ("]\n");
r_cons_flush ();
r_config_set_i (core->config, "asm.lines", reflines);
r_config_set_i (core->config, "asm.bytes", bytes);
r_config_set_i (core->config, "asm.dwarf", dwarf);
return R_TRUE;
}
static int r_core_anal_followptr(RCore *core, ut64 at, ut64 ptr, ut64 ref, int code, int depth) {
ut64 dataptr;
int wordsize, endian;
if (ptr == ref) {
if (code) r_cons_printf ("ax 0x%08"PFMT64x" 0x%08"PFMT64x"\n",
(ut64)ref, (ut64)at);
else r_cons_printf ("axd 0x%08"PFMT64x" 0x%08"PFMT64x"\n",
(ut64)ref, (ut64)at);
return R_TRUE;
}
if (depth < 1)
return R_FALSE;
if (core->bin && core->bin->cur->o && core->bin->cur->o->info) {
endian = core->bin->cur->o->info->big_endian;
} else endian = CPU_ENDIAN;
wordsize = (int)(core->anal->bits/8);
if ((dataptr = r_io_read_i (core->io, ptr, wordsize, endian)) == -1)
return R_FALSE;
return r_core_anal_followptr (core, at, dataptr, ref, code, depth-1);
}
#define OPSZ 8
R_API int r_core_anal_search(RCore *core, ut64 from, ut64 to, ut64 ref) {
ut8 *buf = (ut8 *)malloc (core->blocksize);
int ptrdepth = r_config_get_i (core->config, "anal.ptrdepth");
int ret, i, count = 0;
RAnalOp op = {0};
ut64 at;
char bckwrds, do_bckwrd_srch;
// TODO: get current section range here or gtfo
// ???
// XXX must read bytes correctly
do_bckwrd_srch = bckwrds = core->search->bckwrds;
if (buf==NULL)
return -1;
r_io_use_desc (core->io, core->file->desc);
if (ref==0LL)
eprintf ("Null reference search is not supported\n");
else
if (core->blocksize>OPSZ) {
if(bckwrds){
if(from + core->blocksize > to){
at = from;
do_bckwrd_srch = R_FALSE;
}else at = to - core->blocksize;
}else at = from;
for (; (!bckwrds && at < to) || bckwrds; ) {
if (r_cons_singleton ()->breaked)
break;
// TODO: this can be probably enhaced
ret = r_io_read_at (core->io, at, buf, core->blocksize);
if (ret != core->blocksize)
break;
for (i = bckwrds ? (core->blocksize-OPSZ - 1) : 0;
(!bckwrds && i < core->blocksize-OPSZ) || (bckwrds && i > 0);
bckwrds ? i-- : i++) {
r_anal_op_fini (&op);
if (!r_anal_op (core->anal, &op, at+i, buf+i, core->blocksize-i))
continue;
if (op.type == R_ANAL_OP_TYPE_JMP || op.type == R_ANAL_OP_TYPE_CJMP ||
op.type == R_ANAL_OP_TYPE_CALL || op.type == R_ANAL_OP_TYPE_CCALL) {
if (op.jump != -1 &&
r_core_anal_followptr (core, at+i, op.jump, ref, R_TRUE, 0)) {
count ++;
}
} else if (op.type == R_ANAL_OP_TYPE_UJMP || op.type == R_ANAL_OP_TYPE_UCALL ||
op.type == R_ANAL_OP_TYPE_UCJMP || op.type == R_ANAL_OP_TYPE_UCCALL) {
if (op.ptr != -1 &&
r_core_anal_followptr (core, at+i, op.ptr, ref, R_TRUE, 1)) {
count ++;
}
} else {
if (op.ptr != -1 &&
r_core_anal_followptr (core, at+i, op.ptr, ref, R_FALSE, ptrdepth)) {
count ++;
}
}
}
if(bckwrds){
if(!do_bckwrd_srch) break;
if(at > from + core->blocksize - OPSZ) at -= core->blocksize;
else{
do_bckwrd_srch = R_FALSE;
at = from;
}
}else at += core->blocksize - OPSZ;
}
} else eprintf ("error: block size too small\n");
free (buf);
r_anal_op_fini (&op);
return count;
}
R_API int r_core_anal_ref_list(RCore *core, int rad) {
r_anal_xrefs_list (core->anal, rad);
return 0;
#if 0
RAnalFunction *fcni;
struct r_anal_ref_t *refi;
RListIter *iter, *iter2;
r_list_foreach (core->anal->fcns, iter, fcni)
r_list_foreach (fcni->refs, iter2, refi) {
if (rad) r_cons_printf ("ax%s 0x%08"PFMT64x" 0x%08"PFMT64x"\n",
refi->type==R_ANAL_REF_TYPE_DATA?"d":"",
refi->addr, refi->at);
else r_cons_printf ("0x%08"PFMT64x" -> 0x%08"PFMT64x" (%c)\n",
refi->addr, refi->at, refi->type);
}
r_list_foreach (core->anal->refs, iter2, refi) {
if (rad) r_cons_printf ("ax%s 0x%08"PFMT64x" 0x%08"PFMT64x"\n",
refi->type==R_ANAL_REF_TYPE_DATA?"d":"",
refi->addr, refi->at);
else r_cons_printf ("0x%08"PFMT64x" -> 0x%08"PFMT64x" (%c)\n",
refi->addr, refi->at, refi->type);
}
return R_TRUE;
#endif
}
R_API int r_core_anal_all(RCore *core) {
RList *list;
RListIter *iter;
RAnalFunction *fcni;
RBinAddr *binmain;
RBinAddr *entry;
RBinSymbol *symbol;
ut64 baddr;
ut64 offset;
int depth =r_config_get_i (core->config, "anal.depth");
int va = core->io->va || core->io->debug;
baddr = r_bin_get_baddr (core->bin);
offset = r_bin_get_offset (core->bin);
/* Analyze Functions */
/* Entries */
{
RFlagItem *item = r_flag_get (core->flags, "entry0");
if (item) {
r_core_anal_fcn (core, item->offset, -1, R_ANAL_REF_TYPE_NULL, depth);
} else {
r_core_cmd0 (core, "af");
}
}
/* Main */
if ((binmain = r_bin_get_sym (core->bin, R_BIN_SYM_MAIN)) != NULL)
r_core_anal_fcn (core, offset + va?baddr+binmain->vaddr:binmain->paddr, -1,
R_ANAL_REF_TYPE_NULL, depth);
if ((list = r_bin_get_entries (core->bin)) != NULL)
r_list_foreach (list, iter, entry)
r_core_anal_fcn (core, offset + va? baddr+entry->vaddr:entry->paddr, -1,
R_ANAL_REF_TYPE_NULL, depth);
/* Symbols (Imports are already analized by rabin2 on init) */
if ((list = r_bin_get_symbols (core->bin)) != NULL)
r_list_foreach (list, iter, symbol) {
if (core->cons->breaked)
break;
if (!strcmp (symbol->type, "FUNC"))
r_core_anal_fcn (core, va? symbol->vaddr:symbol->paddr,
//offset + va?baddr+symbol->vaddr:symbol->paddr, -1,
-1, R_ANAL_REF_TYPE_NULL, depth);
}
/* Set fcn type to R_ANAL_FCN_TYPE_SYM for symbols */
r_list_foreach (core->anal->fcns, iter, fcni) {
if (core->cons->breaked)
break;
if (!memcmp (fcni->name, "sym.", 4) || !memcmp (fcni->name, "main", 4))
fcni->type = R_ANAL_FCN_TYPE_SYM;
}
return R_TRUE;
}
R_API void r_core_anal_setup_enviroment (RCore *core) {
char key[128], *str = NULL;
RListIter *iter;
RConfigNode *kv;
r_list_foreach (core->config->nodes, iter, kv) {
int kvlen = strlen (kv->name);
if (kvlen>=sizeof (key))
return;
strcpy (key, kv->name);
r_str_case (key, 1);
r_str_replace_char (key, '.', '_');
#define RANAL_PARSE_STRING_ONLY 1
#if RANAL_PARSE_STRING_ONLY
r_anal_type_define (core->anal, key, kv->value);
#else
if (kv->flags & CN_INT) {
r_anal_type_define_i (core->anal, key, kv->i_value);
} else if (kv->flags & CN_BOOL) {
r_anal_type_define (core->anal, key, kv->i_value? "": NULL);
} else r_anal_type_define (core->anal, key, kv->value);
#endif
}
r_anal_type_header (core->anal, str);
free (str);
}
R_API int r_core_anal_data (RCore *core, ut64 addr, int count, int depth) {
RAnalData *d;
ut64 dstaddr = 0LL;
ut8 *buf = core->block;
int len = core->blocksize;
int word = core->assembler->bits /8;
int endi = core->anal->big_endian;
char *str;
int i, j;
//if (addr != core->offset) {
buf = malloc (len);
if (buf == NULL)
return R_FALSE;
memset (buf, 0xff, len);
r_io_read_at (core->io, addr, buf, len);
//}
for (i = j = 0; j<count; j++ ) {
if (i>=len) {
r_io_read_at (core->io, addr+i, buf, len);
addr += i;
i = 0;
//eprintf ("load next %d\n", len);
continue;
}
d = r_anal_data (core->anal, addr+i, buf+i, len-i);
str = r_anal_data_to_string (d);
r_cons_printf ("%s\n", str);
switch (d->type) {
case R_ANAL_DATA_TYPE_POINTER:
r_cons_printf ("`- ");
dstaddr = r_mem_get_num (buf+i, word, !endi);
if (depth>0)
r_core_anal_data (core, dstaddr, 1, depth-1);
i += word;
break;
case R_ANAL_DATA_TYPE_STRING:
i += strlen ((const char*)buf+i)+1;
break;
default:
i += word;
}
free (str);
r_anal_data_free (d);
}
//if (addr != core->offset)
free (buf);
return R_TRUE;
}
/* core analysis stats */
/* stats --- colorful bar */
R_API RCoreAnalStats* r_core_anal_get_stats (RCore *core, ut64 from, ut64 to, ut64 step) {
RFlagItem *f;
RAnalFunction *F;
//RAnalMetaItem *m;
RListIter *iter;
RCoreAnalStats *as = R_NEW0 (RCoreAnalStats);
int piece, as_size, blocks;
if (step<1) step = 1;
blocks = (to-from)/step;
as_size = (1+blocks) * sizeof (RCoreAnalStatsItem);
as->block = malloc (as_size);
memset (as->block, 0, as_size);
// eprintf ("Use %d blocks\n", blocks);
// eprintf (" ( 0x%"PFMT64x" - 0x%"PFMT64x" )\n", from, to);
// iter all flags
r_list_foreach (core->flags->flags, iter, f) {
//if (f->offset+f->size < from) continue;
if (f->offset< from) continue;
if (f->offset > to) continue;
piece = (f->offset-from)/step;
as->block[piece].flags++;
}
r_list_foreach (core->anal->fcns, iter, F) {
if (F->addr< from) continue;
if (F->addr> to) continue;
piece = (F->addr-from)/step;
as->block[piece].functions++;
}
#if 0
TODO: sdbize
r_list_foreach (core->anal->meta, iter, m) {
if (m->from< from) continue;
if (m->from> to) continue;
piece = (m->from-from)/step;
switch (m->type) {
case R_META_TYPE_STRING:
as->block[piece].strings++;
break;
case R_META_TYPE_COMMENT:
as->block[piece].comments++;
break;
case R_META_TYPE_MAGIC:
case R_META_TYPE_DATA:
case R_META_TYPE_FORMAT:
//as->block[piece].comments++;
break;
}
}
#endif
//for (i=0, at = from; at <to; at+= step) eprintf ("%llx %d\n", at, as->block[i++].flags);
// iter all comments
// iter all symbols
// iter all imports
// iter all functions
// iter all strings
return as;
}
R_API void r_core_anal_stats_free (RCoreAnalStats *s) {
free (s);
}
R_API RList* r_core_anal_cycles (RCore *core, int ccl)
{
ut64 addr = core->offset;
RAnalOp *op = NULL;
RAnalCycleFrame *prev = NULL, *cf = r_anal_cycle_frame_new ();
RAnalCycleHook *ch;
RList *hooks = r_list_new ();
while (cf && !core->cons->breaked) {
if ((op = r_core_anal_op (core, addr)) && (op->cycles) && (ccl > 0)) {
r_cons_clear_line (1);
eprintf ("%i -- ", ccl);
addr += op->size;
switch (op->type) {
case R_ANAL_OP_TYPE_JMP:
addr = op->jump;
ccl -= op->cycles;
loganal (op->addr, addr);
break;
case R_ANAL_OP_TYPE_UJMP:
case R_ANAL_OP_TYPE_UCALL:
ch = R_NEW0 (RAnalCycleHook);
ch->addr = op->addr;
eprintf ("0x%08"PFMT64x" > ?\r", op->addr);
ch->cycles = ccl;
r_list_append (hooks, ch);
ch = NULL;
while (!ch && cf) {
ch = r_list_pop (cf->hooks);
if (ch) {
addr = ch->addr;
ccl = ch->cycles;
free (ch);
} else {
r_anal_cycle_frame_free (cf);
cf = prev;
if (cf)
prev = cf->prev;
}
}
break;
case R_ANAL_OP_TYPE_CJMP:
ch = R_NEW0 (RAnalCycleHook);
ch->addr = addr;
ch->cycles = ccl - op->failcycles;
r_list_push (cf->hooks, ch);
ch = NULL;
addr = op->jump;
loganal (op->addr, addr);
break;
case R_ANAL_OP_TYPE_UCJMP:
case R_ANAL_OP_TYPE_UCCALL:
ch = R_NEW0 (RAnalCycleHook);
ch->addr = op->addr;
ch->cycles = ccl;
r_list_append (hooks, ch);
ch = NULL;
ccl -= op->failcycles;
eprintf ("0x%08"PFMT64x" > ?\r", op->addr);
break;
case R_ANAL_OP_TYPE_CCALL:
ch = R_NEW0 (RAnalCycleHook);
ch->addr = addr;
ch->cycles = ccl - op->failcycles;
r_list_push (cf->hooks, ch);
ch = NULL;
case R_ANAL_OP_TYPE_CALL:
if (op->addr != op->jump) { //no selfies
cf->naddr = addr;
prev = cf;
cf = r_anal_cycle_frame_new ();
cf->prev = prev;
}
ccl -= op->cycles;
addr = op->jump;
loganal (op->addr, addr);
break;
case R_ANAL_OP_TYPE_RET:
ch = R_NEW0 (RAnalCycleHook);
if (prev) {
ch->addr = prev->naddr;
ccl -= op->cycles;
ch->cycles = ccl;
r_list_push (prev->hooks, ch);
eprintf ("0x%08"PFMT64x" < 0x%08"PFMT64x"\r", prev->naddr, op->addr);
} else {
ch->addr = op->addr;
ch->cycles = ccl;
r_list_append (hooks, ch);
eprintf ("? < 0x%08"PFMT64x"\r", op->addr);
}
ch = NULL;
while (!ch && cf) {
ch = r_list_pop (cf->hooks);
if (ch) {
addr = ch->addr;
ccl = ch->cycles;
free (ch);
} else {
r_anal_cycle_frame_free (cf);
cf = prev;
if (cf)
prev = cf->prev;
}
}
break;
case R_ANAL_OP_TYPE_CRET:
ch = R_NEW0 (RAnalCycleHook);
if (prev) {
ch->addr = prev->naddr;
ch->cycles = ccl - op->cycles;
r_list_push (prev->hooks, ch);
eprintf ("0x%08"PFMT64x" < 0x%08"PFMT64x"\r", prev->naddr, op->addr);
} else {
ch->addr = op->addr;
ch->cycles = ccl - op->cycles;
r_list_append (hooks, ch);
eprintf ("? < 0x%08"PFMT64x"\r", op->addr);
}
ccl -= op->failcycles;
break;
default:
ccl -= op->cycles;
eprintf ("0x%08"PFMT64x"\r", op->addr);
break;
}
} else {
ch = R_NEW0 (RAnalCycleHook);
ch->addr = addr;
ch->cycles = ccl;
r_list_append (hooks, ch);
ch = NULL;
while (!ch && cf) {
ch = r_list_pop (cf->hooks);
if (ch) {
addr = ch->addr;
ccl = ch->cycles;
free (ch);
} else {
r_anal_cycle_frame_free (cf);
cf = prev;
if (cf)
prev = cf->prev;
}
}
}
r_anal_op_free (op);
}
if (core->cons->breaked) {
while (cf) {
ch = r_list_pop (cf->hooks);
while (ch) {
free (ch);
ch = r_list_pop (cf->hooks);
}
prev = cf->prev;
r_anal_cycle_frame_free (cf);
cf = prev;
}
}
return hooks;
};
Reference in New Issue View Git Blame Copy Permalink