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进阶 添加约束的主要内容,如果未能解决你的问题,请参考以下文章

angr 文档翻译(3):解析器引擎——符号表达式和约束求解

mysql进阶

mysql进阶

SQL进阶篇之约束(Constraints)

MySQL进阶-(约束多表设计视图备份与还原)

MYSQL使用基础、进阶分享