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()))