angr进阶(3) 添加约束

如果已知字符串长度或部分,可以使用如下的方式进行格式规范csaw_wyvern
1 flag_chars = [claripy.BVS('flag_%d' % i, 8) for i in range(28)]
2 flag = claripy.Concat(*flag_chars + [claripy.BVV(b'\n')])

并需要注意不让这28个字符中出现0x00或者'\n',当然有其他的限制条件也可以一并加上去。

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()))
posted @ 2019-03-13 16:04  61355ing  阅读(503)  评论(1编辑  收藏