diff options
| author | Ajax <commial@gmail.com> | 2018-07-02 17:31:59 +0200 |
|---|---|---|
| committer | Ajax <commial@gmail.com> | 2018-07-03 14:28:18 +0200 |
| commit | 68fac2e86cc61eba9adfe520fa0e04a7e8943450 (patch) | |
| tree | 2be74a21b54a3111f3c18746badfb0cf1ed41149 /example/expression/solve_condition_stp.py | |
| parent | 6ef8dbb2223d0847e3822b545b249511e96a1f9b (diff) | |
| download | focaccia-miasm-68fac2e86cc61eba9adfe520fa0e04a7e8943450.tar.gz focaccia-miasm-68fac2e86cc61eba9adfe520fa0e04a7e8943450.zip | |
symbol_pool -> loc_db
Diffstat (limited to 'example/expression/solve_condition_stp.py')
| -rw-r--r-- | example/expression/solve_condition_stp.py | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/example/expression/solve_condition_stp.py b/example/expression/solve_condition_stp.py index 42e6670c..b941f092 100644 --- a/example/expression/solve_condition_stp.py +++ b/example/expression/solve_condition_stp.py @@ -88,23 +88,23 @@ if __name__ == '__main__': symbols_init = dict(machine.mn.regs.regs_init) - ir_arch = machine.ir(mdis.symbol_pool) + ir_arch = machine.ir(mdis.loc_db) symbexec = SymbolicExecutionEngine(ir_arch, symbols_init) - asmcfg, symbol_pool = parse_asm.parse_txt(machine.mn, 32, ''' + asmcfg, loc_db = parse_asm.parse_txt(machine.mn, 32, ''' init: PUSH argv PUSH argc PUSH ret_addr ''', - symbol_pool=mdis.symbol_pool) + loc_db=mdis.loc_db) - argc_lbl = symbol_pool.getby_name('argc') - argv_lbl = symbol_pool.getby_name('argv') - ret_addr_lbl = symbol_pool.getby_name('ret_addr') - init_lbl = symbol_pool.getby_name('init') + argc_lbl = loc_db.getby_name('argc') + argv_lbl = loc_db.getby_name('argv') + ret_addr_lbl = loc_db.getby_name('ret_addr') + init_lbl = loc_db.getby_name('init') argc = ExprLoc(argc_lbl, 32) argv = ExprLoc(argv_lbl, 32) |