fast question¶
angr.Project 对象如何拿到带符号函数的地址¶
None
angr CFG 剪枝¶
None
获取 cmp, strcmp等的硬编码字符串¶
None
符号化命令行参数¶
proj = angr.Project(bin_path,load_options={'auto_load_libs':False}, default_analysis_mode='symbolic') argv = [proj.filename] for i in range(参数个数): argv.append(claripy.BVS('arg%d'%(i+1), 字节数*8)) state = proj.factory.entry_state(args=argv)