devbox
Monodyee
这个屌丝很懒，什么也没留下！
关注作者
热门标签
热门文章
当前位置:   article > 正文

NSSCTF-[NSSRound#X Basic]ez_z3 && [MoeCTF 2022]Art &&[HDCTF2023]basketball

作者：Monodyee | 2024-04-28 10:10:03

赞

踩

NSSCTF-[NSSRound#X Basic]ez_z3 && [MoeCTF 2022]Art &&[HDCTF2023]basketball

目录

NSSCTF-[NSSRound#X Basic]ez_z3

 [MoeCTF 2022]Art

[HDCTF2023]basketball

NSSCTF-[NSSRound#X Basic]ez_z3

题目下载：下载

查壳：

发现有upx壳，但是使用upx -d命令不能脱壳，载入十六进制编辑器查看
把XYU改为UPX，就可以成功使用upx -d脱壳了。

载入IDA(部分使用了自定义命名)

 倒着往前看，输出“you get the flag”就要dword_1400254C4==1，而dword_1400254C4由sub_1400110E6()函数赋值而来，所以跟进sub_1400110E6()函数：

 要想返回1，则这个等式成立，即这两个数组相同。

返回到主函数，看其他的函数

看一下sub_1400112F8()函数：

这就是一个简单的异或。

看sub_14001103C()函数：是很多等式，可以用z3求出a1[0]-a1[19]。

看一下sub_140014CC0(）函数：这是一个指数折半快速幂求法，可以参考：快速幂算法 超详细教程_qascetic的博客-CSDN博客
我在这里在简单阐述一下上面的这个快速幂流程，具体地大家可以参考上面的链接。a1是底数，a2是指数，首先判断指数是奇数还是偶数。

如果是偶数即if条件不成立，那么就a1*a1底数变为平方，a2>>2相当于除以2，指数折半，这样一直执行下去，直到a2为1，是奇数，这样就执行if的子句1把结果赋值给v3返回。

如果是奇数，就先分离出一个，然后在采用快速幂法，最后通过v3返回。

好了关键的函数都分析完了，整体思路就是：

1.先用z3约束器求出a1数组的值，也即异或操作里的a1数组
2.通过异或操作，a1已知，求出dword_140025520[]数组
3.dword_140025520[]已知，通过快速幂爆破出str

所以代码如下

  1. from z3 import *
  2. #z3约束器
  3. a1=[0]*20
  4. for i in range(20):
  5.     a1[i]=Int('a1['+str(i)+']')
  6.  
  7. s = Solver()
  8. s.add((20 * a1[19] * 19 * a1[18]
  9.       + 14 * a1[13]
  10.       + 13 * a1[12]
  11.       + 11 * a1[10] * 10 * a1[9]
  12.       + 30 * a1[5]
  13.       + 5 * a1[4]
  14.       + a1[0]
  15.       + 2 * a1[1]
  16.       - 3 * a1[2]
  17.       - 4 * a1[3]
  18.       - 7 * a1[6]
  19.       + 8 * a1[7]
  20.       - 9 * a1[8]
  21.       - 12 * a1[11]
  22.       - 16 * a1[15] * 15 * a1[14]
  23.       - 17 * a1[16]
  24.       - 18 * a1[17]) == 2582239)
  25. s.add((20 * a1[19] * 19 * a1[18]
  26.       + 14 * a1[13]
  27.       + 13 * a1[12]
  28.       + 11 * a1[10] * 10 * a1[9]
  29.       + 30 * a1[5]
  30.       - 7 * a1[6]
  31.       + 8 * a1[7]
  32.       - 9 * a1[8]
  33.       + 5 * a1[4]
  34.       + 3 * a1[2]
  35.       + 2 * a1[1] * a1[0]
  36.       - 4 * a1[3]
  37.       - 12 * a1[11]
  38.       - 16 * a1[15] * 15 * a1[14]
  39.       - (18 * a1[17]
  40.          + 17 * a1[16])) == 2602741)
  41. s.add((19 * a1[18]
  42.       + 18 * a1[17]
  43.       + 14 * a1[13] * 13 * a1[12]
  44.       + 12 * a1[11] * 11 * a1[10]
  45.       + 9 * a1[8]
  46.       + 7 * a1[6] * 30 * a1[5]
  47.       + a1[0]
  48.       - 2 * a1[1]
  49.       - 4 * a1[3] * 3 * a1[2]
  50.       - 5 * a1[4]
  51.       + 8 * a1[7]
  52.       - 10 * a1[9]
  53.       - 15 * a1[14]
  54.       - 17 * a1[16] * 16 * a1[15]
  55.       - 20 * a1[19]) == 2668123)
  56. s.add((20 * a1[19] * 19 * a1[18]
  57.       + 14 * a1[13]
  58.       + (13 * a1[12] + 11 * a1[10] - 12 * a1[11]) * 10 * a1[9]
  59.       + 30 * a1[5]
  60.       + 5 * a1[4]
  61.       + a1[0]
  62.       + 2 * a1[1]
  63.       - 3 * a1[2]
  64.       - 4 * a1[3]
  65.       - 7 * a1[6]
  66.       + 8 * a1[7]
  67.       - 9 * a1[8]
  68.       - 16 * a1[15] * 15 * a1[14]
  69.       - 17 * a1[16]
  70.       - 18 * a1[17]) == 2520193)
  71. s.add((18 * a1[17]
  72.       + 17 * a1[16]
  73.       + 15 * a1[14]
  74.       + 13 * a1[12] * 12 * a1[11]
  75.       + 10 * a1[9]
  76.       + 9 * a1[8] * 8 * a1[7]
  77.       + 3 * a1[2] * 2 * a1[1] * a1[0]
  78.       - 4 * a1[3]
  79.       - 5 * a1[4]
  80.       - 30 * a1[5]
  81.       - 7 * a1[6]
  82.       - 11 * a1[10]
  83.       - 14 * a1[13]
  84.       - 16 * a1[15]
  85.       - 19 * a1[18]
  86.       - 20 * a1[19]) == 8904587)
  87. s.add((18 * a1[17]
  88.       + 7 * a1[6] * 30 * a1[5] * 5 * a1[4]
  89.       + 4 * a1[3]
  90.       + 8 * a1[7]
  91.       + a1[0]
  92.       - 2 * a1[1]
  93.       - 3 * a1[2]
  94.       - 9 * a1[8]
  95.       - 11 * a1[10] * 10 * a1[9]
  96.       - 16 * a1[15] * (13 * a1[12] + 12 * a1[11] - 14 * a1[13] - 15 * a1[14])
  97.       - 17 * a1[16]
  98.       - 19 * a1[18]
  99.       - 20 * a1[19]) == 1227620874)
  100. s.add((20 * a1[19] * 19 * a1[18]
  101.       + 17 * a1[16]
  102.       + 14 * a1[13]
  103.       + 13 * a1[12]
  104.       + 12 * a1[11] * 11 * a1[10] * 10 * a1[9]
  105.       + 7 * a1[6] * 30 * a1[5]
  106.       + 5 * a1[4]
  107.       + 3 * a1[2]
  108.       + a1[0]
  109.       + 2 * a1[1]
  110.       + 4 * a1[3]
  111.       + 8 * a1[7]
  112.       - 9 * a1[8]
  113.       - 16 * a1[15] * 15 * a1[14]
  114.       - 18 * a1[17]) == 1836606059)
  115. s.add((20 * a1[19] * 19 * a1[18]
  116.       + 16 * a1[15] * 15 * a1[14]
  117.       + 14 * a1[13]
  118.       + 13 * a1[12]
  119.       + 12 * a1[11]
  120.       + 7 * a1[6] * 30 * a1[5]
  121.       + 5 * a1[4]
  122.       + 2 * a1[1] * a1[0]
  123.       - 3 * a1[2]
  124.       + 4 * a1[3]
  125.       + 8 * a1[7]
  126.       - 9 * a1[8]
  127.       - 10 * a1[9]
  128.       - 11 * a1[10]
  129.       - 17 * a1[16]
  130.       - 18 * a1[17]) == 8720560)
  131. s.add((20 * a1[19] * 19 * a1[18]
  132.       + 14 * a1[13]
  133.       + 13 * a1[12]
  134.       + 11 * a1[10] * (10 * a1[9] + 30 * a1[5] + 5 * a1[4] + 4 * a1[3] - 7 * a1[6] + 8 * a1[7] - 9 * a1[8])
  135.       + a1[0]
  136.       + 2 * a1[1]
  137.       - 3 * a1[2]
  138.       - 12 * a1[11]
  139.       - (16 * a1[15] - 17 * a1[16] - 18 * a1[17]) * 15 * a1[14]) == 11387045)
  140. s.add((20 * a1[19] * 19 * a1[18]
  141.       + 16 * a1[15] * 15 * a1[14]
  142.       + 14 * a1[13]
  143.       + 11 * a1[10] * 10 * a1[9]
  144.       + 9 * a1[8]
  145.       + 3 * a1[2]
  146.       + a1[0]
  147.       - 2 * a1[1]
  148.       + 4 * a1[3]
  149.       - 5 * a1[4]
  150.       - 30 * a1[5]
  151.       - 7 * a1[6]
  152.       + 8 * a1[7]
  153.       - 12 * a1[11]
  154.       - 13 * a1[12]
  155.       - 17 * a1[16]
  156.       - 18 * a1[17]) == 7660269)
  157. s.add((20 * a1[19] * 19 * a1[18]
  158.       + 14 * a1[13]
  159.       + 13 * a1[12]
  160.       + 11 * a1[10] * 10 * a1[9]
  161.       - 12 * a1[11]
  162.       + a1[0]
  163.       + 2 * a1[1]
  164.       - (4 * a1[3] * 3 * a1[2]
  165.          - 5 * a1[4]
  166.          - 30 * a1[5])
  167.       - 7 * a1[6]
  168.       + 8 * a1[7]
  169.       - 9 * a1[8]
  170.       - 16 * a1[15] * 15 * a1[14]
  171.       - 17 * a1[16]
  172.       - 18 * a1[17]) == 2461883)
  173. s.add((14 * a1[13]
  174.       + 11 * a1[10] * 10 * a1[9]
  175.       + 9 * a1[8] * 8 * a1[7]
  176.       + 7 * a1[6]
  177.       + 2 * a1[1] * a1[0]
  178.       - 4 * a1[3] * 3 * a1[2]
  179.       - 5 * a1[4]
  180.       - 30 * a1[5]
  181.       - 12 * a1[11]
  182.       - 13 * a1[12]
  183.       - 15 * a1[14]
  184.       - 17 * a1[16] * 16 * a1[15]
  185.       - 18 * a1[17]
  186.       - 19 * a1[18]
  187.       - 20 * a1[19]) == -966296)
  188. s.add((14 * a1[13]
  189.       + 13 * a1[12]
  190.       + (11 * a1[10] * 10 * a1[9] + 30 * a1[5] + 5 * a1[4] + 3 * a1[2] + 4 * a1[3] - 7 * a1[6] + 8 * a1[7] - 9 * a1[8])
  191.       * 2
  192.       * a1[1]
  193.       + a1[0]
  194.       - 12 * a1[11]
  195.       - 15 * a1[14]
  196.       - 16 * a1[15]
  197.       - 17 * a1[16]
  198.       - 18 * a1[17]
  199.       - 20 * a1[19] * 19 * a1[18]) == 254500223)
  200. s.add((16 * a1[15] * 15 * a1[14]
  201.       + 14 * a1[13]
  202.       + 11 * a1[10] * 10 * a1[9]
  203.       + 7 * a1[6] * 30 * a1[5]
  204.       + a1[0]
  205.       - 2 * a1[1]
  206.       - 3 * a1[2]
  207.       - 5 * a1[4] * 4 * a1[3]
  208.       + 8 * a1[7]
  209.       - 9 * a1[8]
  210.       - 12 * a1[11]
  211.       - 13 * a1[12]
  212.       - 17 * a1[16]
  213.       - 18 * a1[17]
  214.       - 19 * a1[18]
  215.       - 20 * a1[19]) == 6022286)
  216. s.add((18 * a1[17]
  217.       + 16 * a1[15]
  218.       - 17 * a1[16]
  219.       + 14 * a1[13]
  220.       + 12 * a1[11]
  221.       + 11 * a1[10] * 10 * a1[9]
  222.       + 30 * a1[5]
  223.       + 5 * a1[4]
  224.       + 4 * a1[3] * 3 * a1[2]
  225.       + 2 * a1[1] * a1[0]
  226.       - 9 * a1[8] * 8 * a1[7] * 7 * a1[6]
  227.       - 13 * a1[12]
  228.       - 15 * a1[14]
  229.       - 19 * a1[18]
  230.       - 20 * a1[19]) == -636956022)
  231. s.add((20 * a1[19] * 19 * a1[18]
  232.       + 13 * a1[12]
  233.       + 12 * a1[11]
  234.       + 11 * a1[10] * 10 * a1[9]
  235.       + 7 * a1[6]
  236.       + 30 * a1[5]
  237.       + 5 * a1[4]
  238.       + 3 * a1[2] * 2 * a1[1] * a1[0]
  239.       - 4 * a1[3]
  240.       - 9 * a1[8] * 8 * a1[7]
  241.       - 14 * a1[13]
  242.       - 15 * a1[14]
  243.       - 16 * a1[15]
  244.       - 17 * a1[16]
  245.       - 18 * a1[17]) == 10631829)
  246. s.add((20 * a1[19] * 19 * a1[18]
  247.       + 16 * a1[15]
  248.       - 17 * a1[16]
  249.       - 18 * a1[17]
  250.       + 15 * a1[14] * 14 * a1[13]
  251.       + 13 * a1[12]
  252.       + 11 * a1[10] * 10 * a1[9]
  253.       - 12 * a1[11]
  254.       + 7 * a1[6]
  255.       + (4 * a1[3] - 5 * a1[4] - 30 * a1[5]) * 3 * a1[2]
  256.       + a1[0]
  257.       + 2 * a1[1]
  258.       + 8 * a1[7]
  259.       - 9 * a1[8]) == 6191333)
  260. s.add((14 * a1[13]
  261.       + 10 * a1[9] * 9 * a1[8] * 8 * a1[7]
  262.       + 5 * a1[4]
  263.       + 4 * a1[3] * 3 * a1[2]
  264.       + 2 * a1[1] * a1[0]
  265.       - 7 * a1[6] * 30 * a1[5]
  266.       - 11 * a1[10]
  267.       - 13 * a1[12] * 12 * a1[11]
  268.       - 16 * a1[15] * 15 * a1[14]
  269.       - 18 * a1[17] * 17 * a1[16]
  270.       - 20 * a1[19] * 19 * a1[18]) == 890415359)
  271. s.add((20 * a1[19]
  272.       + 19 * a1[18]
  273.       + 18 * a1[17]
  274.       + 16 * a1[15]
  275.       - 17 * a1[16]
  276.       + 12 * a1[11]
  277.       + 11 * a1[10]
  278.       + 10 * a1[9]
  279.       + 9 * a1[8]
  280.       + 30 * a1[5]
  281.       + a1[0]
  282.       + 4 * a1[3] * 3 * a1[2] * 2 * a1[1]
  283.       - 5 * a1[4]
  284.       - 7 * a1[6]
  285.       + 8 * a1[7]
  286.       - 13 * a1[12]
  287.       - 14 * a1[13]
  288.       - 15 * a1[14]) == 23493664)
  289. s.add((20 * a1[19] * 19 * a1[18]
  290.       + 13 * a1[12]
  291.       + 12 * a1[11]
  292.       + 10 * a1[9]
  293.       + 3 * a1[2] * 2 * a1[1]
  294.       + a1[0]
  295.       - 4 * a1[3]
  296.       - 5 * a1[4]
  297.       + 8 * a1[7] * 7 * a1[6] * 30 * a1[5]
  298.       - 9 * a1[8]
  299.       - 11 * a1[10]
  300.       - 14 * a1[13]
  301.       - 16 * a1[15] * 15 * a1[14]
  302.       - 17 * a1[16]
  303.       - 18 * a1[17]) == 1967260144)
  304. for i in range(20):
  305.     s.add(a1[i]<=0xFF)      #每个字符是char类型
  306.     s.add(a1[i]>=0)
  307. if s.check() == sat:
  308.     print(s.model())
  309.  
  310. #求dword_140025520[]
  311. a1=[104,97,104,97,104,97,116,104,105,115,105,115,102,97,99,107,102,108,97,103][::-1]
  312. d4D0=[4615, 19616, 20257, 57, 107811, 570, 2342, 19623, 25952,54, 108955, 19624, 113632, 14085, 2342, 30675, 39576,
  313.       25979, 24, 2833]
  314. #倒序
  315. d520=[]
  316.  
  317. for i in range(len(a1)):
  318.     b=a1[i]^d4D0[i]
  319.     d520.append(b)
  320. print(d520)
  321.  
  322. #求str，即flag
  323. flag=''
  324. a3= [7, 7, 7, 9, 5, 6, 7, 7, 7, 9, 7, 7, 5, 7, 7, 7, 5, 7, 9, 7]
  325.  
  326. for i in range(20):   #j是要求的
  327.     for k in range(32,128):
  328.         v3=1
  329.         k1=k
  330.         a2=a3[i]
  331.         while(a2):
  332.             if (a2 & 1):
  333.                 v3=v3*k1
  334.             k1=k1*k1%1000
  335.             a2=a2>>2
  336.         if v3==d520[i]:
  337.             flag+=chr(k)
  338.             break
  339. print(flag)
  340.  
  341.  
  342.

 [MoeCTF 2022]Art

题目下载：下载

首先看一看题目标签和描述，可以获得一些小提示

可以知道考点是upx和dfs。

脱壳：直接upx -d 文件名就可以脱壳，载入IDA

 从上面提示可以知道这个方程有多个解，所以需要爆破来解，其中只有一个加密算法且存在多解的情况，所以采用dfs爆搜，代码如下：

  1. check = [0x2, 0x18, 0xf, 0xf8, 0x19, 0x4, 0x27, 0xd8, 0xeb, 0x0, 0x35, 0x48, 0x4d, 0x2a, 0x45, 0x6b, 0x59, 0x2e, 0x43, 0x1, 0x18, 0x5c, 0x9, 0x9, 0x9, 0x9, 0xb5, 0x7d]
  2. tmp = [0]*28
  3. tmp[len(check)-1]=check[-1]
  4. #(check[-1])
  5.  
  6. def DFS(deep):
  7.     if deep == 0:
  8.         print(bytes(tmp))
  9.     else:
  10.         for i in range(0xff):
  11.             if (i ^ 0x19) ^ (i % 0x11 + tmp[deep]) == check[deep - 1]:
  12.                 #print(i)
  13.                 tmp[deep - 1] = i
  14.                 DFS(deep - 1)
  15. DFS(len(check)-1)

[HDCTF2023]basketball

题目下载：下载

载入IDA，先看第一部分

 首先获得两个key，然后进行输入，输入到s数组。进入f()函数，

进行异或操作，里面有一个text_66函数，跟进：

容易知道text_66是辗转相除，这里的关键是求这两个key，采用爆破枚举方式，代码如下：
 

  1. str=[85, 105, 104, 120, 33, 104, 114, 33, 96, 33, 105, 98, 101, 117, 33, 124, 105, 106, 117, 33, 72, 33, 105, 100, 109, 113, 43, 120, 110, 116, 33, 104, 114, 43, 115, 100, 108, 104, 111, 101, 33, 120, 110, 116, 33, 117, 110, 33, 98, 73, 100, 98, 106, 33, 117, 105, 100, 33, 96, 115, 115, 96, 120, 33, 96, 111, 101, 33, 117, 105, 115, 100, 100, 33, 111, 116, 102, 99, 100, 115, 114, 33, 98, 96, 111, 33, 119, 98, 100, 118, 33, 96, 114, 33, 96, 33, 102, 115, 110, 116, 113]
  2.  
  3. def f(k1_0,k2_0):
  4.     for i in range(len(str)):
  5.         k1_0 = (str[i] + k1_0) % 300
  6.         k2_0 = (str[i] + k2_0) % 300
  7.         str[i] ^= text_66(k1_0, k2_0)
  8.  
  9. def text_66(a,b):
  10.     aa=a
  11.     ba=b
  12.     if a<b:
  13.         aa,ba=ba,aa
  14.     if ba:
  15.         result = text_66(ba, aa % ba)
  16.     else:
  17.         result = aa
  18.     return result
  19.  
  20. for x in range(100):
  21.     for y in range(100):
  22.         str=[85, 105, 104, 120, 33, 104, 114, 33, 96, 33, 105, 98, 101, 117, 33, 124, 105, 106, 117, 33, 72, 33, 105, 100, 109, 113, 43, 120, 110, 116, 33, 104, 114, 43, 115, 100, 108, 104, 111, 101, 33, 120, 110, 116, 33, 117, 110, 33, 98, 73, 100, 98, 106, 33, 117, 105, 100, 33, 96, 115, 115, 96, 120, 33, 96, 111, 101, 33, 117, 105, 115, 100, 100, 33, 111, 116, 102, 99, 100, 115, 114, 33, 98, 96, 111, 33, 119, 98, 100, 118, 33, 96, 114, 33, 96, 33, 102, 115, 110, 116, 113]
  23.         f(x,y)
  24.         flag=1
  25.         for i in str:
  26.             if i>=127 or i<32:
  27.                 flag=0
  28.                 break
  29.         if flag==1:
  30.             print(bytes(str))

 观察结果：I help you is remind you to check the array and three numbers can view as a group可以知道提示三个数可以看成一组，就可以想到RGB(之前没见过，所以我不能反应过来这个是RGB)

在根据给的hint：
可以写有关RGB的代码(这里学习一下)

  1. from PIL import Image
  2.  
  3. with open('array.txt绝对地址', 'r') as f:
  4.     data = f.readlines()  # txt中所有字符串读入data
  5.  
  6.     for line in data:
  7.         list = line.split(' ')  # 将单个数据分隔开存好
  8. f.close()
  9.  
  10. x = 637  # x坐标  通过对txt里的行数进行整数分解 宽度
  11. y = 561  # y坐标  x * y = 行数              高度
  12.  
  13. im = Image.new("RGB", (x, y))  # 创建图片
  14.  
  15. index = 0
  16.  
  17. for j in range(0, y):  # 通过每个rgb点生成图片
  18.     for i in range(0, x):
  19.         im.putpixel((i, j), (int(list[index]), int(list[index + 1]), int(list[index + 2])))  # 将rgb转化为像素
  20.         index += 3
  21.  
  22. im.show()

 运行后发现图片

再根据提示

 message是英文形式，根据我想打篮球得到：I want to play basketball，又因为要凑够28个，所以是I want to play basketballI w

在看main第二部分代码：

 刚才得到的便是str数组，num数组又已知，可以异或得到flag

  1. flag=[1, 100, 52, 53, 40, 15, 4, 69, 46, 109, 47, 40, 55, 55, 92, 94, 62, 70, 23, 72, 8, 82, 29, 65, 16, 117, 117, 10]
  2. xor_key='I want to play basketballI w'
  3. for i in range(len(flag)):
  4.     flag[i]^=ord(xor_key[i])
  5. print(bytes(flag))
  6.  
  7. #HDCTF{$1AM_DVN|<_5|-|0|-|<U}

声明：本文内容由网友自发贡献，不代表【wpsshop博客】立场，版权归原作者所有，本站不承担相应法律责任。如您发现有侵权的内容，请联系我们。转载请注明出处：https://www.wpsshop.cn/w/Monodyee/article/detail/501700
推荐阅读
相关标签

Copyright © 2003-2013 www.wpsshop.cn 版权所有，并保留所有权利。

  

闽ICP备14008679号