XCTF 攻防世界 notsequence

这道题。。。 当我看到 这两个check 的时候 整个人就不好了

这都是什么鬼啊。 。。。。  

 

然后 我就想着暴力跑一下试试 然后试着angr 的符号执行  但是因为范围太大了 所以我放弃了  要是有师傅用这个搞出来了  还希望能够说一下   然后 只能硬核分析算法了

（下面是  angr的脚本）

#!/usr/bin/python2
#coding=utf8
import angr
import claripy

proj=angr.Project('./notsequence',auto_load_libs=False)


state=proj.factory.entry_state()
flag_chars = [claripy.BVS('flag_%d' % i, 32) for i in range(20)]
for k in flag_chars:
	state.solver.add(k<=100000)
	state.solver.add(k>0)
simgr=proj.factory.simgr(state)
simgr.explore(find=0x080486AE,avoid=(0x804865C,0x08048683))

print simgr.found[0].posix.dumps(0)

分析算法的话 要注意的就是这个地方 ：i = index * (index + 1) / 2  

这里是关键   一般来说 数组没有这样循环的    如果写出来就是 就是三角形的   

然后 我们 说一下 这个check  check1 检查的是  三角形的每一行加起来是为2的n次方  

check2检查的是  

大概就是这个意思   然后去搜索一下 那些三角形有这些性质就行了  

然后我百度到了 杨辉三角 。。。。。  搞acm的时候 接触过 但是不知道还有这些性质。。。。

然后把空格去掉 md5加密一下

1111211331146411510105116152015611721353521711828567056288119368412612684369111045120210252210120451011115516533046246233016555111112662204957929247924952206612111378286715128717161716128771528678131114913641001200230033432300320021001364911411151054551365300350056435643550053003136545510515111612056018204368800811440128701144080084368182056012016111713668023806188123761944824310243101944812376618823806801361711181538163060856818564318244375848620437583182418564856830608161531811191719693876116282713250388755829237892378755825038827132116283876969171191

得到flag

RCTF{37894beff1c632010dd6d524aa9604db}