Magic-Mirror/radare2
1
0
Fork 0
mirror of https://github.com/radareorg/radare2.git synced 2024-10-08 02:53:29 +00:00
Code Issues Actions 7 Packages Projects Releases Wiki Activity

Implement r_anal_esil_dfg_reg_is_const ##anal

Browse Source
This commit is contained in:
condret 2022-08-23 19:17:17 +02:00 committed by GitHub
parent 9f0e5997b3
commit 85b63cd6a6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 50 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

50
libr/anal/esil_dfg.c
View File

@ -1185,7 +1185,7 @@ R_API RStrBuf *r_anal_esil_dfg_filter(RAnalEsilDFG *dfg, const char *reg) {
RStrBuf *filtered = r_strbuf_new ("");
RGraphVisitor vi = { _dfg_filter_rev_dfs_cb, NULL, NULL, NULL, NULL, &filter };
// dfs the graph starting at node of esp-register
// dfs the graph starting at node of register
r_graph_dfs_node_reverse (dfg->flow, resolve_me, &vi);
if (filter.tree->root) {
@ -1221,3 +1221,51 @@ R_API RStrBuf *r_anal_esil_dfg_filter_expr(RAnal *anal, const char *expr, const
r_anal_esil_dfg_free (dfg);
return filtered;
}
R_API bool r_anal_esil_dfg_reg_is_const(RAnalEsilDFG *dfg, const char *reg) {
r_return_val_if_fail (dfg && reg, false);
char *_reg = r_str_newf ("reg.%s", reg);
if (!sdb_num_exists (dfg->regs, _reg)) {
// reg is actually not part of the current reg-profile
free (_reg);
return false;
}
EsilDFGRegVar *rv = R_NEW0 (EsilDFGRegVar);
if (!rv) {
free (_reg);
eprintf ("Allocation failed\n");
return false;
}
const ut64 v = sdb_num_get (dfg->regs, _reg, NULL);
free (_reg);
rv->from = (v & (UT64_MAX ^ UT32_MAX)) >> 32;
rv->to = v & UT32_MAX;
r_queue_enqueue (dfg->todo, rv);
while (!r_queue_is_empty (dfg->todo)) {
rv = r_queue_dequeue (dfg->todo);
EsilDFGRegVar *part_rv = r_crbtree_find (dfg->reg_vars, rv, _rv_find_cmp, dfg);
R_FREE (rv);
if (part_rv) {
RAnalEsilDFGNode *edf_node = (RAnalEsilDFGNode *)part_rv->node->data;
if (!edf_node) {
eprintf ("edf_node is NULL\n");
goto beach;
}
if (!(edf_node->type & R_ANAL_ESIL_DFG_BLOCK_CONST)) {
goto beach;
}
} else {
if (dfg->malloc_failed) {
eprintf ("Allocation failed\n");
}
goto beach;
}
}
return true;
beach:
while (!r_queue_is_empty (dfg->todo)) {
free (r_queue_dequeue (dfg->todo));
}
return false;
}

1
libr/include/r_anal.h
View File

@ -2190,6 +2190,7 @@ R_API RAnalEsilDFG *r_anal_esil_dfg_expr(RAnal *anal, RAnalEsilDFG *dfg, const c
R_API void r_anal_esil_dfg_fold_const(RAnal *anal, RAnalEsilDFG *dfg);
R_API RStrBuf *r_anal_esil_dfg_filter(RAnalEsilDFG *dfg, const char *reg);
R_API RStrBuf *r_anal_esil_dfg_filter_expr(RAnal *anal, const char *expr, const char *reg);
R_API R_WIP bool r_anal_esil_dfg_reg_is_const(RAnalEsilDFG *dfg, const char *reg);
R_API RList *r_anal_types_from_fcn(RAnal *anal, RAnalFunction *fcn);
R_API RAnalBaseType *r_anal_get_base_type(RAnal *anal, const char *name);