BUUCTF-pyre

2022-01-22 22:00:29 阅读：191 来源： 互联网

标签：code 取模 BUUCTF num range input1 128 pyre

下载附件是一个.pyc文件，在pyc在线反编译工具里反编译一下，代码如下:

print "Welcome to Re World!"
print "Your input1 is your flag~"
l = len(input1)
for i in range(l):
　　num = ((input1[i] + i) % 128 + 128) % 128
　　code += num
for i in range(l - 1):
　　code[i] = code[i] ^ code[i + 1]
print code
code = [
"\x1f",
"\x12",
"\x1d",
"(",
"0",
"4",
"\x01",
"\x06",
"\x14",
"4",
",",
"\x1b",
"U",
"?",
"o",
"6",
"*",
":",
"\x01",
"D",
";",
"%",
"\x13",
]

这个代码直接copy是不能运行的，有的地方读起来很奇怪，需要连蒙带猜。

代码的结构是输入我的flag，flag经过两次变换生成了code。

code += num

第一个for结构里的第二条语句需要结合最终的code来看，code是一个有许多元素的列表，可以看出num是列表中带引号的ASCII码，所以这条语句的含义可以被猜出：将num放入code列表。

代码是先运算再异或得到结果，已知结果的情况下，应该先异或再逆运算。

由于异或运算的特殊性，A^B=C，B^C=A。原先的`code[i]^code[i+1]=code[i]=A`，那么已知变换后的code[i]也就是A的情况下，只需要将`code[i+1]^A`即可得到原先的code[i]。

不难看出，由于循环到l-1，所以code的最后一个元素是未经过change的。因此我们只需要从最后一位开始，逐次异或回来即可。代码写作：

for i in range(l-1):

　　code[l-i-2]=code[l-i-1]^code[l-i-2]

这也就是说，从倒数第二位开始，其本身和其后一位（也就是从倒数第一位开始）进行异或。

接着进行第二步逆运算。取模的逆运算我不会，而且感觉取模不能逆运算（。

既然让我逆，说明确实可逆。这里有运气成分（。）不知道怎么就想到了ASCII码，查了一下发现它只有128个数字。那么这个128保证的就是num在0-128的范围内。

num = ((input1[i] + i) % 128 + 128) % 128

`首先分析最外面的%128。已知：（A+B)%C=A%C+B%C是取模运算的法则（即使不知道的话，用（1+128）%128=129%128这样的数据测试一下也能猜到）

128%128=0，由于input1[i]+j先对128取模，此时(input1[i] + i) % 128已经是一个小于128的数字了，故再对其取模没意义，所以原式被化简为：(input1[i] + i) % 128

如果(input1[i] + i)整体小于128，那么这个取模相当于没有。所以我想知道的是整体大于128的情况要如何运算。所以我其实要探索的是(input1[i] + i) % 128的本质。假设input1[i]=126,i=5，先进行一个运算:

(input1[i] + i) % 128=（126+5）%128=（128+3）%128=3

我现在已知code列表，也就是各个num的值，也就是(input1[i] + i) % 128的结果。同时我也知道每个num所对应的i，一个未知数一个方程，input1[i]首先可以确定是可求的。

根据我上面假定数值的运算过程，很容易发现我想求input1[i]+5，只需要求n*128+3即可。那么n是多少呢？首先我的input1范围是0-127，i的范围是0-22，那么input1[i]+i显然小于150，也就是不可能超过128*2，那么n最大只能是1才能保证n*128+num小于150 。

所以input1[i]=128+num-i。但是这里又出现一个问题，也就是说，如果我的128+num-i大于128怎么办呢？我的flag是0-127的数值呀。所以我需要对它再进行一次取模：

(input1[i] +num- i) % 128

即为所求。

脚本如下:

code = [
    "\x1f",
    "\x12",
    "\x1d",
    "(",
    "0",
    "4",
    "\x01",
    "\x06",
    "\x14",
    "4",
    ",",
    "\x1b",
    "U",
    "?",
    "o",
    "6",
    "*",
    ":",
    "\x01",
    "D",
    ";",
    "%",
    "\x13",
]
input=[]
l = len(code)

for i in range(l - 1):
    code[l-i-2]=chr(ord(code[l-i-2])^ord(code[l-i-1]))
for i in range(l):
    code[i]=(ord(code[i])-i)%128
for i in range(l):
    print(chr(code[i]),end="")
`

标签：code,取模,BUUCTF,num,range,input1,128,pyre
来源： https://www.cnblogs.com/h43k174fun/p/15835211.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

ICode9

BUUCTF-pyre