Angr 01 avoid 忽略的条件

向右看齐 2022-09-10 13:20 133阅读 0赞

01\_angr\_avoid无法反编译主函数，模块比较多，加上avoid过滤条件之后，就没那么慢了。  
![1][]

import angr                                                                                                                                                                                                                                      
    project = angr.Project("./01_angr_avoid")                                                                                                                                                                                            
    initial_state = project.factory.entry_state()                                                                                                                                                                                        
    simulation = project.factory.simgr(initial_state)                                                                                                                                                                                    
    print_good_address = 0x080485E0                                                                                                                                                                                                      
    will_not_succeed_address = 0x080485F2                                                                                                                                                                                                
    simulation.explore(find=print_good_address, avoid=will_not_succeed_address)
    solution_state = simulation.found[0]                                                                                                                                                                                                 
    print(solution_state.posix.dumps(0))

![1][1 1]

![1][1 2]

[1]: /images/20220829/de3815339c3448a88e3850461acc41fc.png
[1 1]: /images/20220829/df35051802804ad085f1f1299a38b605.png
[1 2]: /images/20220829/a078e341eff942b48a79eb90365356fa.png