I am unable to solve 03_angr_symbolic_registers
tjcim opened this issue · 2 comments
tjcim commented
I tried it on my own and tried it using the solver, in both I receive 0 0 0
.
Using the solver:
(angr) angr@5364d74d028c:/ctf$ python solver03.py 03_angr_symbolic_registers
0 0 0
My own script:
(angr) angr@5364d74d028c:/ctf$ python scaffold03.py 03_angr_symbolic_registers
WARNING | 2022-05-25 00:56:49,072 | angr.storage.memory_mixins.default_filler_mixin | The program is accessing register with an unspecified value. This could indicate unwanted behavior.
WARNING | 2022-05-25 00:56:49,072 | angr.storage.memory_mixins.default_filler_mixin | angr will cope with this by generating an unconstrained symbolic variable and continuing. You can resolve this by:
WARNING | 2022-05-25 00:56:49,072 | angr.storage.memory_mixins.default_filler_mixin | 1) setting a value to the initial state
WARNING | 2022-05-25 00:56:49,072 | angr.storage.memory_mixins.default_filler_mixin | 2) adding the state option ZERO_FILL_UNCONSTRAINED_{MEMORY,REGISTERS}, to make unknown regions hold null
WARNING | 2022-05-25 00:56:49,072 | angr.storage.memory_mixins.default_filler_mixin | 3) adding the state option SYMBOL_FILL_UNCONSTRAINED_{MEMORY,REGISTERS}, to suppress these messages.
WARNING | 2022-05-25 00:56:49,072 | angr.storage.memory_mixins.default_filler_mixin | Filling register ebp with 4 unconstrained bytes referenced from 0x804898c (main+0x32 in 03_angr_symbolic_registers (0x804898c))
WARNING | 2022-05-25 00:56:49,241 | angr.storage.memory_mixins.default_filler_mixin | Filling memory at 0xffffffed with 4 unconstrained bytes referenced from 0x804898c (main+0x32 in 03_angr_symbolic_registers (0x804898c))
WARNING | 2022-05-25 00:56:49,398 | angr.storage.memory_mixins.default_filler_mixin | Filling memory at 0xfffffff1 with 4 unconstrained bytes referenced from 0x804899f (main+0x45 in 03_angr_symbolic_registers (0x804899f))
WARNING | 2022-05-25 00:56:49,585 | angr.storage.memory_mixins.default_filler_mixin | Filling memory at 0xfffffff5 with 4 unconstrained bytes referenced from 0x80489b2 (main+0x58 in 03_angr_symbolic_registers (0x80489b2))
0 0 0
Trying 0 0 0
(angr) angr@5364d74d028c:/ctf$ ./03_angr_symbolic_registers
Enter the password: 0 0 0
Try again.
(angr) angr@5364d74d028c:/ctf$
michael-164 commented
这是来自QQ邮箱的假期自动回复邮件。你好,我最近正在休假中,无法亲自回复你的邮件。我将在假期结束后,尽快给你回复。
tjcim commented
This was a user error. I had the wrong start_address
once I put in the right one, it worked as expected.