angr进阶 添加约束
Posted 61355ing
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了angr进阶 添加约束相关的知识,希望对你有一定的参考价值。
如果已知字符串长度或部分,可以使用如下的方式进行格式规范
1 flag_chars = [claripy.BVS(‘flag_%d‘ % i, 8) for i in range(28)]
2 flag = claripy.Concat(*flag_chars + [claripy.BVV(b‘
‘)])
并需要注意不让这28个字符中出现0x00或者‘ ‘,当然有其他的限制条件也可以一并加上去。
1 for k in flag_chars:
2 st.solver.add(k != 0)
3 st.solver.add(k != 10)
如果并不能准确的确定find和avoid的位置,也可以对结果进行筛选。但下面的代码对应的是sm.run,如果有fine和avoid则对应的是sm.explore,
1 out = b‘‘
2 for pp in sm.deadended:
3 out = pp.posix.dumps(1)
4 if b‘flag{‘ in out:
5 return next(filter(lambda s: b‘flag{‘ in s, out.split()))
以上是关于angr进阶 添加约束的主要内容,如果未能解决你的问题,请参考以下文章