Public Member Functions | |
def | __init__ |
def | add_state |
def | get_next_state |
def | do_step |
Public Attributes | |
todo | |
stateby_ad | |
cpt | |
states_var_done | |
states_done | |
total_done | |
ir_arch | |
This algorithm will do symbolic execution on a function, trying to propagate states between basic blocs in order to extract inter-blocs dataflow. The algorithm tries to merge states from blocs with multiple parents. There is no real magic here, loops and complex merging will certainly fail.
Definition at line 213 of file data_analysis.py.
def miasm2.analysis.data_analysis.symb_exec_func.__init__ | ( | self, | |
ir_arch | |||
) |
def miasm2.analysis.data_analysis.symb_exec_func.add_state | ( | self, | |
parent, | |||
ad, | |||
state | |||
) |
Definition at line 232 of file data_analysis.py.
def miasm2.analysis.data_analysis.symb_exec_func.do_step | ( | self | ) |
Definition at line 283 of file data_analysis.py.
def miasm2.analysis.data_analysis.symb_exec_func.get_next_state | ( | self | ) |
Definition at line 279 of file data_analysis.py.
miasm2.analysis.data_analysis.symb_exec_func.cpt |
Definition at line 226 of file data_analysis.py.
miasm2.analysis.data_analysis.symb_exec_func.ir_arch |
Definition at line 230 of file data_analysis.py.
miasm2.analysis.data_analysis.symb_exec_func.stateby_ad |
Definition at line 225 of file data_analysis.py.
miasm2.analysis.data_analysis.symb_exec_func.states_done |
Definition at line 228 of file data_analysis.py.
miasm2.analysis.data_analysis.symb_exec_func.states_var_done |
Definition at line 227 of file data_analysis.py.
miasm2.analysis.data_analysis.symb_exec_func.todo |
Definition at line 224 of file data_analysis.py.
miasm2.analysis.data_analysis.symb_exec_func.total_done |
Definition at line 229 of file data_analysis.py.