Angr-CTF-Learn-Note
Angr-CTF-Learn-Note copied to clipboard
lcatro
运行代码出现的问题
你好，我在运行代码的时候总是不成功，程序是我自己编译的
(angr) ➜ 03_angr_symbolic_registers python -V
Python 3.7.5
(angr) ➜ 03_angr_symbolic_registers pypy -V
Python 2.7.13 (7.1.1+dfsg-1, Aug 09 2019, 05:11:07)
[PyPy 7.1.1 with GCC 9.1.0]
>>> angr.__version__
(8, 19, 10, 30)
编译命令是pypy 1 1
编译出来的程序开启了PIE
.text:00001626 call get_user_input
.text:0000162B mov [ebp-14h], eax
.text:0000162E mov [ebp-10h], ebx
.text:00001631 mov [ebp-0Ch], edx
.text:00001634 sub esp, 0Ch
.text:00001637 push dword ptr [ebp-14h]
.text:0000163A call complex_function_1
.text:0000163F add esp, 10h
然后我对代码稍微修改 改了个程序名和加载地址，在前几个这种形式的地址都是正确的
import angr
import claripy
import sys
def main(argv):
path_to_binary = "./1"
project = angr.Project(path_to_binary)
start_address = 0x400000+0x0000162B# :integer (probably hexadecimal)
initial_state = project.factory.blank_state(addr=start_address)
password0_size_in_bits = 4 * 8 # 因为complex_function 输出一个int 类型的数据,那就是32bits
password0 = claripy.BVS('password0', password0_size_in_bits)
password1 = claripy.BVS('password1', password0_size_in_bits)
password2 = claripy.BVS('password2', password0_size_in_bits)
initial_state.regs.eax = password0 # 告诉符号执行引擎这三个寄存器分别是complex_function 的参数
initial_state.regs.ebx = password1
initial_state.regs.edx = password2
simulation = project.factory.simgr(initial_state)
def is_successful(state):
stdout_output = state.posix.dumps(sys.stdout.fileno())
return 'Good Job' in str(stdout_output) # 根据输出来判断执行路径
def should_abort(state):
stdout_output = state.posix.dumps(sys.stdout.fileno())
return 'Try again.' in str(stdout_output)
simulation.explore(find=is_successful, avoid=should_abort)
if simulation.found:
solution_state = simulation.found[0]
solution0 = solution_state.se.eval(password0)
solution1 = solution_state.se.eval(password1)
solution2 = solution_state.se.eval(password2)
solution = ' '.join(map('{:x}'.format, [ solution0, solution1, solution2 ])) # :string
print(solution)
else:
raise Exception('Could not find the solution')
if __name__ == '__main__':
main(sys.argv)
结果是
/home/tower/.virtualenvs/angr/bin/python /home/tower/PycharmProjects/angr1/03_angr_symbolic_registers/my.py
/home/tower/.virtualenvs/angr/lib/python3.7/site-packages/pysmt/walkers/generic.py:43: DeprecationWarning: Using or importing the ABCs from 'collections' instead of from 'collections.abc' is deprecated since Python 3.3,and in 3.9 it will stop working
if len(nodetypes) == 1 and isinstance(nodetypes[0], collections.Iterable):
WARNING | 2019-12-31 11:55:10,892 | cle.loader | The main binary is a position-independent executable. It is being loaded with a base address of 0x400000.
WARNING | 2019-12-31 11:55:11,011 | angr.state_plugins.symbolic_memory | The program is accessing memory or registers with an unspecified value. This could indicate unwanted behavior.
WARNING | 2019-12-31 11:55:11,011 | angr.state_plugins.symbolic_memory | angr will cope with this by generating an unconstrained symbolic variable and continuing. You can resolve this by:
WARNING | 2019-12-31 11:55:11,011 | angr.state_plugins.symbolic_memory | 1) setting a value to the initial state
WARNING | 2019-12-31 11:55:11,011 | angr.state_plugins.symbolic_memory | 2) adding the state option ZERO_FILL_UNCONSTRAINED_{MEMORY,REGISTERS}, to make unknown regions hold null
WARNING | 2019-12-31 11:55:11,011 | angr.state_plugins.symbolic_memory | 3) adding the state option SYMBOL_FILL_UNCONSTRAINED_{MEMORY_REGISTERS}, to suppress these messages.
WARNING | 2019-12-31 11:55:11,012 | angr.state_plugins.symbolic_memory | Filling register ebp with 4 unconstrained bytes referenced from 0x40162b (main+0x3a in 1 (0x162b))
WARNING | 2019-12-31 11:55:11,511 | angr.state_plugins.symbolic_memory | Filling register esi with 4 unconstrained bytes referenced from 0x401679 (main+0x88 in 1 (0x1679))
WARNING | 2019-12-31 11:55:11,628 | angr.state_plugins.symbolic_memory | Filling register esi with 4 unconstrained bytes referenced from 0x401679 (main+0x88 in 1 (0x1679))
WARNING | 2019-12-31 11:55:12,576 | angr.engines.successors | Exit state has over 256 possible solutions. Likely unconstrained; skipping. <BV32 0x5177d093 + (0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[31:28] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[27:27] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[26:25] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[24:24] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[23:23] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[22:20] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[19:18] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[17:15] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[14:13] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[12:12] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[11:11] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[10:10] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[9:5] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[4:3] .. 1 + (~<...>[2:1] .. 1 + ~<...>))[31:31] .. ~0x5177d093 + (0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[31:28] .. ~<...> + <...>[27:27] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[26:25] .. ~<...> + <...>[24:24] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[23:23] .. ~<...> + <...>[22:20] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[19:18] .. ~<...> + <...>[17:15] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[14:13] .. ~<...> + <...>[12:12] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[11:11] .. ~<...> + <...>[10:10] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[9:5] .. ~<...> + <...>[4:3] .. 1 + (~<...> .. <...> + <...>))[30:30] .. ~0x5177d093 + (0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[31:28] .. ~<...> + <...>[27:27] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[26:25] .. ~<...> + <...>[24:24] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[23:23] .. ~<...> + <...>[22:20] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[19:18] .. ~<...> + <...>[17:15] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[14:13] .. ~<...> + <...>[12:12] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[11:11] .. ~<...> + <...>[10:10] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[9:5] .. ~<...> + <...>[4:3] .. 1 + (~<...> .. <...> + <...>))[29:29] .. 0x5177d093 + (0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[31:28] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[27:27] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[26:25] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[24:24] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[23:23] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[22:20] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[19:18] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[17:15] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[14:13] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[12:12] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[11:11] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[10:10] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[9:5] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[4:3] .. 1 + (~<...>[2:1] .. 1 + ~<...>))[28:28] .. ~0x5177d093 + (0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[31:28] .. ~<...> + <...>[27:27] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[26:25] .. ~<...> + <...>[24:24] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[23:23] .. ~<...> + <...>[22:20] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[19:18] .. ~<...> + <...>[17:15] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[14:13] .. ~<...> + <...>[12:12] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[11:11] .. ~<...> + <...>[10:10] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[9:5] .. ~<...> + <...>[4:3] .. 1 + (~<...> .. <...> + <...>))[27:27] .. 0x5177d093 + (0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[31:28] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[27:27] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[26:25] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[24:24] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[23:23] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[22:20] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[19:18] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[17:15] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[14:13] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[12:12] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[11:11] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[10:10] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[9:5] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[4:3] .. 1 + (~<...>[2:1] .. 1 + ~<...>))[26:26] .. ~0x5177d093 + (0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[31:28] .. ~<...> + <...>[27:27] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[26:25] .. ~<...> + <...>[24:24] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[23:23] .. ~<...> + <...>[22:20] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[19:18] .. ~<...> + <...>[17:15] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[14:13] .. ~<...> + <...>[12:12] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[11:11] .. ~<...> + <...>[10:10] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[9:5] .. ~<...> + <...>[4:3] .. 1 + (~<...> .. <...> + <...>))[25:25] .. 0x5177d093 + (0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[31:28] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[27:27] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[26:25] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[24:24] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[23:23] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[22:20] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[19:18] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[17:15] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[14:13] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[12:12] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[11:11] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[10:10] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[9:5] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[4:3] .. 1 + (~<...>[2:1] .. 1 + ~<...>))[24:23] .. ~0x5177d093 + (0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[31:28] .. ~<...> + <...>[27:27] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[26:25] .. ~<...> + <...>[24:24] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[23:23] .. ~<...> + <...>[22:20] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[19:18] .. ~<...> + <...>[17:15] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[14:13] .. ~<...> + <...>[12:12] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[11:11] .. ~<...> + <...>[10:10] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[9:5] .. ~<...> + <...>[4:3] .. 1 + (~<...> .. <...> + <...>))[22:21] .. 0x5177d093 + (0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[31:28] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[27:27] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[26:25] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[24:24] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[23:23] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[22:20] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[19:18] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[17:15] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[14:13] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[12:12] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[11:11] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[10:10] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[9:5] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[4:3] .. 1 + (~<...>[2:1] .. 1 + ~<...>))[20:15] .. ~0x5177d093 + (0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[31:28] .. ~<...> + <...>[27:27] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[26:25] .. ~<...> + <...>[24:24] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[23:23] .. ~<...> + <...>[22:20] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[19:18] .. ~<...> + <...>[17:15] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[14:13] .. ~<...> + <...>[12:12] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[11:11] .. ~<...> + <...>[10:10] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[9:5] .. ~<...> + <...>[4:3] .. 1 + (~<...> .. <...> + <...>))[14:14] .. 0x5177d093 + (0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[31:28] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[27:27] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[26:25] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[24:24] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[23:23] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[22:20] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[19:18] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[17:15] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[14:13] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[12:12] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[11:11] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[10:10] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[9:5] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[4:3] .. 1 + (~<...>[2:1] .. 1 + ~<...>))[13:11] .. ~0x5177d093 + (0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[31:28] .. ~<...> + <...>[27:27] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[26:25] .. ~<...> + <...>[24:24] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[23:23] .. ~<...> + <...>[22:20] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[19:18] .. ~<...> + <...>[17:15] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[14:13] .. ~<...> + <...>[12:12] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[11:11] .. ~<...> + <...>[10:10] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[9:5] .. ~<...> + <...>[4:3] .. 1 + (~<...> .. <...> + <...>))[10:10] .. ~0x5177d093 + (0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[31:28] .. ~<...> + <...>[27:27] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[26:25] .. ~<...> + <...>[24:24] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[23:23] .. ~<...> + <...>[22:20] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[19:18] .. ~<...> + <...>[17:15] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[14:13] .. ~<...> + <...>[12:12] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[11:11] .. ~<...> + <...>[10:10] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[9:5] .. ~<...> + <...>[4:3] .. 1 + (~<...> .. <...> + <...>))[9:9] .. 0x5177d093 + (0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[31:28] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[27:27] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[26:25] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[24:24] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[23:23] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[22:20] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[19:18] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[17:15] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[14:13] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[12:12] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[11:11] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[10:10] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[9:5] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[4:3] .. 1 + (~<...>[2:1] .. 1 + ~<...>))[8:8] .. ~0x5177d093 + (0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[31:28] .. ~<...> + <...>[27:27] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[26:25] .. ~<...> + <...>[24:24] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[23:23] .. ~<...> + <...>[22:20] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[19:18] .. ~<...> + <...>[17:15] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[14:13] .. ~<...> + <...>[12:12] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[11:11] .. ~<...> + <...>[10:10] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[9:5] .. ~<...> + <...>[4:3] .. 1 + (~<...> .. <...> + <...>))[7:7] .. 0x5177d093 + (0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[31:28] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[27:27] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[26:25] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[24:24] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[23:23] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[22:20] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[19:18] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[17:15] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[14:13] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[12:12] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[11:11] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[10:10] .. 0x8562ca81 + (<...>[31:29] .. ~<...> .. ~<...> .. <...>[25:24] .. ~<...> .. <...>[21:21] .. ~<...> .. <...>[19:17] .. ~<...> .. <...>[15:15] .. ~<...> .. ~<...> .. <...>[9:9] .. ~<...> .. <...>[7:6] .. ~<...> .. ~<...> .. ~<...> .. <...> + <...>)[9:5] .. ~0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[4:3] .. 1 + (~<...>[2:1] .. 1 + ~<...>))[6:5] .. ~0x5177d093 + (0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[31:28] .. ~<...> + <...>[27:27] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[26:25] .. ~<...> + <...>[24:24] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[23:23] .. ~<...> + <...>[22:20] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[19:18] .. ~<...> + <...>[17:15] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[14:13] .. ~<...> + <...>[12:12] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[11:11] .. ~<...> + <...>[10:10] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[9:5] .. ~<...> + <...>[4:3] .. 1 + (~<...> .. <...> + <...>))[4:4] .. ~0x5177d093 + (0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[31:28] .. ~<...> + <...>[27:27] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[26:25] .. ~<...> + <...>[24:24] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[23:23] .. ~<...> + <...>[22:20] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[19:18] .. ~<...> + <...>[17:15] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[14:13] .. ~<...> + <...>[12:12] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[11:11] .. ~<...> + <...>[10:10] .. 0x8562ca81 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[9:5] .. ~<...> + <...>[4:3] .. 1 + (~<...> .. <...> + <...>))[3:2] .. ~0x9fe24b3e + (0x61c1ecb6 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[31:31] .. ~<...> + <...>[30:28] .. 0x61c1ecb6 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[27:21] .. ~<...> + <...>[20:20] .. ~<...> + <...>[19:19] .. ~<...> + <...>[18:18] .. 0x61c1ecb6 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[17:15] .. ~<...> + <...>[14:14] .. 0x61c1ecb6 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[13:13] .. ~<...> + <...>[12:12] .. 0x61c1ecb6 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[11:9] .. ~<...> + <...>[8:8] .. 0x61c1ecb6 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[7:6] .. ~<...> + <...>[5:5] .. 0x61c1ecb6 + (<...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...> .. <...>)[4:3] .. ~<...> + <...>[2:2] .. ~<...> + <...>[1:1] .. 1 + ~(<...> + <...>))[1:1] .. ~(1 + ~(1 + password2_7_32[0:0]))>
WARNING | 2019-12-31 11:55:12,578 | angr.state_plugins.symbolic_memory | Filling register esi with 4 unconstrained bytes referenced from 0x40168f (main+0x9e in 1 (0x168f))
WARNING | 2019-12-31 11:55:12,584 | angr.state_plugins.symbolic_memory | Filling register esi with 4 unconstrained bytes referenced from 0x401679 (main+0x88 in 1 (0x1679))
WARNING | 2019-12-31 11:55:12,664 | angr.state_plugins.symbolic_memory | Filling memory at 0x15 with 4 unconstrained bytes referenced from 0x4010c0 (PLT.__isoc99_scanf+0x46 in 1 (0x10c0))
WARNING | 2019-12-31 11:55:12,863 | angr.engines.successors | Exit state has over 256 possible solutions. Likely unconstrained; skipping. <BV32 mem_15_13_32{UNINITIALIZED}>
WARNING | 2019-12-31 11:55:13,070 | angr.state_plugins.symbolic_memory | Filling memory at 0xc0000004 with 4 unconstrained bytes referenced from 0x4010c0 (PLT.__isoc99_scanf+0x46 in 1 (0x10c0))
WARNING | 2019-12-31 11:55:13,308 | angr.engines.successors | Exit state has over 256 possible solutions. Likely unconstrained; skipping. <BV32 mem_c0000004_14_32{UNINITIALIZED}>
Traceback (most recent call last):
File "/home/tower/PycharmProjects/angr1/03_angr_symbolic_registers/my.py", line 44, in <module>
main(sys.argv)
File "/home/tower/PycharmProjects/angr1/03_angr_symbolic_registers/my.py", line 41, in main
raise Exception('Could not find the solution')
Exception: Could not find the solution
Process finished with exit code 1
但是如果用你的程序能正常运行，我不知道什么原因，希望你能帮忙．
感谢感谢感谢感谢！！！！！！
