angr 02_angr_find_condition 完整脚本

Posted 漫小牛

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了angr 02_angr_find_condition 完整脚本相关的知识,希望对你有一定的参考价值。

文章目录


02_angr_find_condition是angr的第3个例子,下载位置:https://github.com/jakespringer/angr_ctf

1 解题过程

import angr                                                                                  
import sys 

def main(argv):
    bin_path = argv[1]
    p = angr.Project(bin_path)
    
    init_state = p.factory.entry_state()

    sm = p.factory.simulation_manager(init_state)
    
    def is_good(state):
        return b'Good Job' in state.posix.dumps(1)

    def is_bad(state):
        return b'Try again' in state.posix.dumps(1)

    sm.explore(find=is_good, avoid=is_bad)
    
    if sm.found:
        found_state = sm.found[0]
    
        print("Solution: "    .format(found_state.posix.dumps(0)))

if __name__ == '__main__':
    main(sys.argv)

执行该脚本:

python 02.py 02_angr_find_condition

结果为:

 memory at 0x7ffeff50 with 4 unconstrained bytes referenced from 0x818ac20 (strcmp+0x0 in libc.so.6 (0x8ac20))
Solution: b'HETOBRCU'

以上是关于angr 02_angr_find_condition 完整脚本的主要内容,如果未能解决你的问题,请参考以下文章

angr 02_angr_find_condition 完整脚本

angr 02_angr_find_condition 完整脚本

CTF 逆向工具angr的学习笔记

angr 00_angr_find demo

angr 00_angr_find demo

angr 00_angr_find demo