[Writeup] Reversing.Kr | Position

こんにちは、ky0ta168 です。

「Reversing.Kr | Position」をかなり時間がかかりましたが、試行錯誤して解けて達成感があったため、Writeupを残したいと思います。

※ コマンド、ツール等の説明はしません。

※ 私の推測が含まれるため、記載内容が正しいとは限りません。

とりあえず実行#

配布されたPosition.exeを実行します。

正しいNameとSerialを入力したら良いと推測できます。

配布されるファイルに、ReadMe.txtがあります。

ReversingKr KeygenMe

Find the Name when the Serial is 76876-77776 This problem has several answers.

Password is ***p

Serialが76876-77776の場合、Nameは何になるかという問題のようです。

また、Password is ***pとあるので、4文字でかつ末尾がpとなることが推測できます。

Ghidraで分析#

GhidraでPosition.exeを解析します。

判定付近のコードを調査#

実行してみた結果、正しくないNameとSerialを入力した場合、Wrongと表示されることがわかりました。

Wrongを検索してみます。

2行目のデコンパイル結果を見てみます。

FUN_00401740の結果をもとに、Correct!とWrongの表示を切り替えていることがわかりました。

判定コードを調査#

FUN_00401740のデコンパイル結果を見てみます。

1
undefined4 FUN_00401740(int param_1)
2

3
{
4
  byte bVar1;
5
  byte bVar2;
6
  wchar_t wVar3;
7
  wchar_t wVar4;
8
  wchar_t *pwVar5;
9
  int iVar6;
10
  int iVar7;
11
  size_t sVar8;
12
  int local_1c;
13
  int local_18;
14
  CStringT<> local_14 [4];
15
  void *local_10;
16
  undefined1 *puStack_c;
17
  undefined4 local_8;
18

19
  local_8 = 0xffffffff;
20
  puStack_c = &LAB_00402acb;
21
  local_10 = ExceptionList;
22
                    /* CStringT<wchar_t,class_StrTraitMFC_DLL<wchar_t,class_ATL::ChTraitsCRT<wchar_t >_>_>
23
                       * param_1 for GetWindowTextW */
24
                    /* CStringT<wchar_t,class_StrTraitMFC_DLL<wchar_t,class_ATL::ChTraitsCRT<wchar_t >_>_>
25
                       * this for
26
                       CStringT<wchar_t,class_StrTraitMFC_DLL<wchar_t,class_ATL::ChTraitsCRT<wchar_t >_>_>
27
                        */
28
                    /* CStringT<wchar_t,class_StrTraitMFC_DLL<wchar_t,class_ATL::ChTraitsCRT<wchar_t >_>_>
29
                       * this for
30
                       CStringT<wchar_t,class_StrTraitMFC_DLL<wchar_t,class_ATL::ChTraitsCRT<wchar_t >_>_>
31
                        */
32
                    /* CStringT<wchar_t,class_StrTraitMFC_DLL<wchar_t,class_ATL::ChTraitsCRT<wchar_t >_>_>
33
                       * this for
34
                       CStringT<wchar_t,class_StrTraitMFC_DLL<wchar_t,class_ATL::ChTraitsCRT<wchar_t >_>_>
35
                        */
36
  ExceptionList = &local_10;
37
  ATL::CStringT<>::CStringT<>((CStringT<> *)&local_1c);
38
  iVar7 = 0;
39
  local_8 = 0;
40
  ATL::CStringT<>::CStringT<>((CStringT<> *)&local_18);
41
  ATL::CStringT<>::CStringT<>(local_14);
42
                    /* CWnd * this for GetWindowTextW */
43
  local_8 = CONCAT31(local_8._1_3_,2);
44
  CWnd::GetWindowTextW((CWnd *)(param_1 + 0x130),(CStringT<> *)&local_1c);
45
  if (*(int *)(local_1c + -0xc) == 4) {
46
    iVar6 = 0;
47
    do {
48
                    /* CSimpleStringT<wchar_t,1> * this for GetAt */
49
      wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)&local_1c,iVar6);
50
      if (((ushort)wVar3 < 0x61) ||
51
         (wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt
52
                            ((CSimpleStringT<wchar_t,1> *)&local_1c,iVar6), 0x7a < (ushort)wVar3))
53
      goto LAB_004017ab;
54
      iVar6 = iVar6 + 1;
55
    } while (iVar6 < 4);
56
    do {
57
      iVar6 = 0;
58
      do {
59
        if (iVar7 != iVar6) {
60
          wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt
61
                            ((CSimpleStringT<wchar_t,1> *)&local_1c,iVar6);
62
          wVar4 = ATL::CSimpleStringT<wchar_t,1>::GetAt
63
                            ((CSimpleStringT<wchar_t,1> *)&local_1c,iVar7);
64
          if (wVar4 == wVar3) goto LAB_004017ab;
65
        }
66
        iVar6 = iVar6 + 1;
67
      } while (iVar6 < 4);
68
      iVar7 = iVar7 + 1;
69
    } while (iVar7 < 4);
70
    CWnd::GetWindowTextW((CWnd *)(param_1 + 0x1a4),(CStringT<> *)&local_18);
71
    if ((*(int *)(local_18 + -0xc) == 0xb) &&
72
       (wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)&local_18,5),
73
       wVar3 == L'-')) {
74
      wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)&local_1c,0);
75
      bVar1 = (byte)wVar3;
76
      wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)&local_1c,1);
77
      bVar2 = (byte)wVar3;
78
      iVar7 = 10;
79
                    /* int param_1 for GetBuffer */
80
      sVar8 = 10;
81
                    /* CSimpleStringT<wchar_t,1> * this for GetBuffer */
82
      pwVar5 = ATL::CSimpleStringT<wchar_t,1>::GetBuffer((CSimpleStringT<wchar_t,1> *)local_14,10);
83
      _itow_s((uint)(byte)((bVar2 >> 2 & 1) + 1) + (uint)(byte)((bVar1 & 1) + 5),pwVar5,sVar8,iVar7)
84
      ;
85
      wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)local_14,0);
86
      wVar4 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)&local_18,0);
87
      if (wVar4 == wVar3) {
88
        ATL::CSimpleStringT<wchar_t,1>::ReleaseBuffer((CSimpleStringT<wchar_t,1> *)local_14,-1);
89
        iVar7 = 10;
90
                    /* int param_1 for GetBuffer */
91
        sVar8 = 10;
92
                    /* CSimpleStringT<wchar_t,1> * this for GetBuffer */
93
        pwVar5 = ATL::CSimpleStringT<wchar_t,1>::GetBuffer((CSimpleStringT<wchar_t,1> *)local_14,10)
94
        ;
95
        _itow_s((uint)(byte)((bVar2 >> 3 & 1) + 1) + (uint)(byte)((bVar1 >> 3 & 1) + 5),pwVar5,sVar8
96
                ,iVar7);
97
        wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)&local_18,1);
98
        wVar4 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)local_14,0);
99
        if (wVar3 == wVar4) {
100
          ATL::CSimpleStringT<wchar_t,1>::ReleaseBuffer((CSimpleStringT<wchar_t,1> *)local_14,-1);
101
          iVar7 = 10;
102
                    /* int param_1 for GetBuffer */
103
          sVar8 = 10;
104
                    /* CSimpleStringT<wchar_t,1> * this for GetBuffer */
105
          pwVar5 = ATL::CSimpleStringT<wchar_t,1>::GetBuffer
106
                             ((CSimpleStringT<wchar_t,1> *)local_14,10);
107
          _itow_s((uint)(byte)((bVar2 >> 4 & 1) + 1) + (uint)(byte)((bVar1 >> 1 & 1) + 5),pwVar5,
108
                  sVar8,iVar7);
109
          wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)&local_18,2);
110
          wVar4 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)local_14,0);
111
          if (wVar3 == wVar4) {
112
            ATL::CSimpleStringT<wchar_t,1>::ReleaseBuffer((CSimpleStringT<wchar_t,1> *)local_14,-1);
113
            iVar7 = 10;
114
                    /* int param_1 for GetBuffer */
115
            sVar8 = 10;
116
                    /* CSimpleStringT<wchar_t,1> * this for GetBuffer */
117
            pwVar5 = ATL::CSimpleStringT<wchar_t,1>::GetBuffer
118
                               ((CSimpleStringT<wchar_t,1> *)local_14,10);
119
            _itow_s((uint)(byte)((bVar2 & 1) + 1) + (uint)(byte)((bVar1 >> 2 & 1) + 5),pwVar5,sVar8,
120
                    iVar7);
121
            wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)&local_18,3);
122
            wVar4 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)local_14,0);
123
            if (wVar3 == wVar4) {
124
              ATL::CSimpleStringT<wchar_t,1>::ReleaseBuffer
125
                        ((CSimpleStringT<wchar_t,1> *)local_14,-1);
126
              iVar7 = 10;
127
                    /* int param_1 for GetBuffer */
128
              sVar8 = 10;
129
                    /* CSimpleStringT<wchar_t,1> * this for GetBuffer */
130
              pwVar5 = ATL::CSimpleStringT<wchar_t,1>::GetBuffer
131
                                 ((CSimpleStringT<wchar_t,1> *)local_14,10);
132
              _itow_s((uint)(byte)((bVar2 >> 1 & 1) + 1) + (uint)(byte)((bVar1 >> 4 & 1) + 5),pwVar5
133
                      ,sVar8,iVar7);
134
              wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt
135
                                ((CSimpleStringT<wchar_t,1> *)&local_18,4);
136
              wVar4 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)local_14,0)
137
              ;
138
              if (wVar3 == wVar4) {
139
                ATL::CSimpleStringT<wchar_t,1>::ReleaseBuffer
140
                          ((CSimpleStringT<wchar_t,1> *)local_14,-1);
141
                wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt
142
                                  ((CSimpleStringT<wchar_t,1> *)&local_1c,2);
143
                bVar1 = (byte)wVar3;
144
                wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt
145
                                  ((CSimpleStringT<wchar_t,1> *)&local_1c,3);
146
                bVar2 = (byte)wVar3;
147
                iVar7 = 10;
148
                    /* int param_1 for GetBuffer */
149
                sVar8 = 10;
150
                    /* CSimpleStringT<wchar_t,1> * this for GetBuffer */
151
                pwVar5 = ATL::CSimpleStringT<wchar_t,1>::GetBuffer
152
                                   ((CSimpleStringT<wchar_t,1> *)local_14,10);
153
                _itow_s((uint)(byte)((bVar2 >> 2 & 1) + 1) + (uint)(byte)((bVar1 & 1) + 5),pwVar5,
154
                        sVar8,iVar7);
155
                wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt
156
                                  ((CSimpleStringT<wchar_t,1> *)&local_18,6);
157
                wVar4 = ATL::CSimpleStringT<wchar_t,1>::GetAt
158
                                  ((CSimpleStringT<wchar_t,1> *)local_14,0);
159
                if (wVar3 == wVar4) {
160
                  ATL::CSimpleStringT<wchar_t,1>::ReleaseBuffer
161
                            ((CSimpleStringT<wchar_t,1> *)local_14,-1);
162
                  iVar7 = 10;
163
                    /* int param_1 for GetBuffer */
164
                  sVar8 = 10;
165
                    /* CSimpleStringT<wchar_t,1> * this for GetBuffer */
166
                  pwVar5 = ATL::CSimpleStringT<wchar_t,1>::GetBuffer
167
                                     ((CSimpleStringT<wchar_t,1> *)local_14,10);
168
                  _itow_s((uint)(byte)((bVar2 >> 3 & 1) + 1) + (uint)(byte)((bVar1 >> 3 & 1) + 5),
169
                          pwVar5,sVar8,iVar7);
170
                  wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt
171
                                    ((CSimpleStringT<wchar_t,1> *)&local_18,7);
172
                  wVar4 = ATL::CSimpleStringT<wchar_t,1>::GetAt
173
                                    ((CSimpleStringT<wchar_t,1> *)local_14,0);
174
                  if (wVar3 == wVar4) {
175
                    ATL::CSimpleStringT<wchar_t,1>::ReleaseBuffer
176
                              ((CSimpleStringT<wchar_t,1> *)local_14,-1);
177
                    iVar7 = 10;
178
                    /* int param_1 for GetBuffer */
179
                    sVar8 = 10;
180
                    /* CSimpleStringT<wchar_t,1> * this for GetBuffer */
181
                    pwVar5 = ATL::CSimpleStringT<wchar_t,1>::GetBuffer
182
                                       ((CSimpleStringT<wchar_t,1> *)local_14,10);
183
                    _itow_s((uint)(byte)((bVar2 >> 4 & 1) + 1) + (uint)(byte)((bVar1 >> 1 & 1) + 5),
184
                            pwVar5,sVar8,iVar7);
185
                    wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt
186
                                      ((CSimpleStringT<wchar_t,1> *)&local_18,8);
187
                    wVar4 = ATL::CSimpleStringT<wchar_t,1>::GetAt
188
                                      ((CSimpleStringT<wchar_t,1> *)local_14,0);
189
                    if (wVar3 == wVar4) {
190
                      ATL::CSimpleStringT<wchar_t,1>::ReleaseBuffer
191
                                ((CSimpleStringT<wchar_t,1> *)local_14,-1);
192
                      iVar7 = 10;
193
                    /* int param_1 for GetBuffer */
194
                      sVar8 = 10;
195
                    /* CSimpleStringT<wchar_t,1> * this for GetBuffer */
196
                      pwVar5 = ATL::CSimpleStringT<wchar_t,1>::GetBuffer
197
                                         ((CSimpleStringT<wchar_t,1> *)local_14,10);
198
                      _itow_s((uint)(byte)((bVar2 & 1) + 1) + (uint)(byte)((bVar1 >> 2 & 1) + 5),
199
                              pwVar5,sVar8,iVar7);
200
                      wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt
201
                                        ((CSimpleStringT<wchar_t,1> *)&local_18,9);
202
                      wVar4 = ATL::CSimpleStringT<wchar_t,1>::GetAt
203
                                        ((CSimpleStringT<wchar_t,1> *)local_14,0);
204
                      if (wVar3 == wVar4) {
205
                        ATL::CSimpleStringT<wchar_t,1>::ReleaseBuffer
206
                                  ((CSimpleStringT<wchar_t,1> *)local_14,-1);
207
                        iVar7 = 10;
208
                    /* int param_1 for GetBuffer */
209
                        sVar8 = 10;
210
                    /* CSimpleStringT<wchar_t,1> * this for GetBuffer */
211
                        pwVar5 = ATL::CSimpleStringT<wchar_t,1>::GetBuffer
212
                                           ((CSimpleStringT<wchar_t,1> *)local_14,10);
213
                        _itow_s((uint)(byte)((bVar2 >> 1 & 1) + 1) +
214
                                (uint)(byte)((bVar1 >> 4 & 1) + 5),pwVar5,sVar8,iVar7);
215
                        wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt
216
                                          ((CSimpleStringT<wchar_t,1> *)&local_18,10);
217
                        wVar4 = ATL::CSimpleStringT<wchar_t,1>::GetAt
218
                                          ((CSimpleStringT<wchar_t,1> *)local_14,0);
219
                        if (wVar3 == wVar4) {
220
                          ATL::CSimpleStringT<wchar_t,1>::ReleaseBuffer
221
                                    ((CSimpleStringT<wchar_t,1> *)local_14,-1);
222
                          ATL::CStringT<>::~CStringT<>(local_14);
223
                          ATL::CStringT<>::~CStringT<>((CStringT<> *)&local_18);
224
                          ATL::CStringT<>::~CStringT<>((CStringT<> *)&local_1c);
225
                          ExceptionList = local_10;
226
                          return 1;
227
                        }
228
                      }
229
                    }
230
                  }
231
                }
232
              }
233
            }
234
          }
235
        }
236
      }
237
    }
238
  }
239
LAB_004017ab:
240
  ATL::CStringT<>::~CStringT<>(local_14);
241
  ATL::CStringT<>::~CStringT<>((CStringT<> *)&local_18);
242
  ATL::CStringT<>::~CStringT<>((CStringT<> *)&local_1c);
243
  ExceptionList = local_10;
244
  return 0;
245
}

文字数について#

ReadMe.txtより、Nameが4文字になることがわかっているので、下記のコード(45行目付近)で判定していると推測できます。

45
if (*(int *)(local_1c + -0xc) == 4) {

CWnd::GetWindowTextWで取得した値が、local_1cに格納されています。

よって、local_1cにはNameが格納されています。

CWnd クラス | Microsoft Learn - CWnd::GetWindowText

文字種について#

下記コード(46行目付近)より、入力されたNameを1文字ずつa ~ zであるか確認しているため、Nameは英小文字であることがわかります。

CSimpleStringT クラス | Microsoft Learn - CSimpleStringT::GetAt

46
iVar6 = 0;
47
do {
48
                /* CSimpleStringT<wchar_t,1> * this for GetAt */
49
  wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)&local_1c,iVar6);
50
  if (((ushort)wVar3 < 0x61) ||
51
      (wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt
52
                        ((CSimpleStringT<wchar_t,1> *)&local_1c,iVar6), 0x7a < (ushort)wVar3))
53
  goto LAB_004017ab;
54
  iVar6 = iVar6 + 1;
55
} while (iVar6 < 4);

`Serial`について#

下記コード(70行目付近)より、GetWindowTextWで取得した値の6文字目を'-'と比較しているため、Serialであることが推測できます。

よって、local_18にはSerialの値が格納されていることがわかります。

70
CWnd::GetWindowTextW((CWnd *)(param_1 + 0x1a4),(CStringT<> *)&local_18);
71
if ((*(int *)(local_18 + -0xc) == 0xb) &&
72
    (wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)&local_18,5),
73
    wVar3 == L'-'))

判定処理#

前述のとおり、local_1cにはNameが格納されてるため、下記コード(74行目付近)より、Nameの1文字目と2文字目をそれぞれ、bVar1、bVar2に格納していることがわかります。

74
wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)&local_1c,0);
75
bVar1 = (byte)wVar3;
76
wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)&local_1c,1);
77
bVar2 = (byte)wVar3;

そして、下記コード(78行目付近)ではNameの1文字目と2文字目を使い、>>や&を行った値をpwVar5に格納しています。

pwVar5は、local14を用いてGetBufferを行った戻り値のポインタです。

CSimpleStringT クラス | Microsoft Learn - CSimpleStringT::GetBuffer

78
iVar7 = 10;
79
              /* int param_1 for GetBuffer */
80
sVar8 = 10;
81
              /* CSimpleStringT<wchar_t,1> * this for GetBuffer */
82
pwVar5 = ATL::CSimpleStringT<wchar_t,1>::GetBuffer((CSimpleStringT<wchar_t,1> *)local_14,10);
83
_itow_s((uint)(byte)((bVar2 >> 2 & 1) + 1) + (uint)(byte)((bVar1 & 1) + 5),pwVar5,sVar8,iVar7)
84
;

続いて、判定の箇所です。(85行目付近)

local_14(Nameの1文字目と2文字目を使い変換した値)の1文字目とlocal_8(Serial)の1文字目を比較して正しければ、次の文字の判定へ、誤っていればreturn 0;となります。

85
wVar3 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)local_14,0);
86
wVar4 = ATL::CSimpleStringT<wchar_t,1>::GetAt((CSimpleStringT<wchar_t,1> *)&local_18,0);
87
if (wVar4 == wVar3) {

この後のコードでも、Nameに対して>>や&などを行い、判定処理が続いていきます。

Solver#

今回は、Nameが4文字でかつ、末尾がpであることがわかっているので、総当たりを行い答えを出しました。

1
import string
2
from itertools import product
3

4
input_serial = "76876-77776"
5
letters = string.ascii_lowercase
6

7
for i, j, k, l in product(letters, repeat=4):
8
    name = f"{i}{j}{k}{l}"
9
    if name[3] != "p":
10
        continue
11

12
    bVar1 = ord(name[0])
13
    bVar2 = ord(name[1])
14

15
    # 前半部分のチェック（input_serial の 0〜4）
16
    tmp_cmp = ((bVar2 >> 2 & 1) + 1) + ((bVar1 & 1) + 5)
17
    if str(tmp_cmp) != input_serial[0]:
18
        continue
19

20
    tmp_cmp = ((bVar2 >> 3 & 1) + 1) + ((bVar1 >> 3 & 1) + 5)
21
    if str(tmp_cmp) != input_serial[1]:
22
        continue
23

24
    tmp_cmp = ((bVar2 >> 4 & 1) + 1) + ((bVar1 >> 1 & 1) + 5)
25
    if str(tmp_cmp) != input_serial[2]:
26
        continue
27

28
    tmp_cmp = ((bVar2 & 1) + 1) + ((bVar1 >> 2 & 1) + 5)
29
    if str(tmp_cmp) != input_serial[3]:
30
        continue
31

32
    tmp_cmp = ((bVar2 >> 1 & 1) + 1) + ((bVar1 >> 4 & 1) + 5)
33
    if str(tmp_cmp) != input_serial[4]:
34
        continue
35

36
    # ハイフンを飛ばして後半（input_serial の 6〜10）
37
    bVar1 = ord(name[2])
38
    bVar2 = ord(name[3])
39

40
    tmp_cmp = ((bVar2 >> 2 & 1) + 1) + ((bVar1 & 1) + 5)
41
    if str(tmp_cmp) != input_serial[6]:
42
        continue
43

44
    tmp_cmp = ((bVar2 >> 3 & 1) + 1) + ((bVar1 >> 3 & 1) + 5)
45
    if str(tmp_cmp) != input_serial[7]:
46
        continue
47

48
    tmp_cmp = ((bVar2 >> 4 & 1) + 1) + ((bVar1 >> 1 & 1) + 5)
49
    if str(tmp_cmp) != input_serial[8]:
50
        continue
51

52
    tmp_cmp = ((bVar2 & 1) + 1) + ((bVar1 >> 2 & 1) + 5)
53
    if str(tmp_cmp) != input_serial[9]:
54
        continue
55

56
    tmp_cmp = ((bVar2 >> 1 & 1) + 1) + ((bVar1 >> 4 & 1) + 5)
57
    if str(tmp_cmp) != input_serial[10]:
58
        continue
59

60
    print(name)

実行結果#

1
$ python solver.py
2
bump
3
cqmp
4
ftmp
5
gpmp

いくつか答えが出力されました。

結果的にはgpmp以外はCorrect!と表示され、無事Flagを取得しました。

おまけ#

デコンパイル結果を見た感じ、末尾がpである必要は特にないように見受けられました。

判定処理で正しければ良いので、末尾がpかどうかのコードをコメントアウトし実行した結果、結構多くの答えが出力されました。

末尾の判定をコメントアウトしたSolver

1
import string
2
from itertools import product
3

4
input_serial = "76876-77776"
5
letters = string.ascii_lowercase
6

7
for i, j, k, l in product(letters, repeat=4):
8
    name = f"{i}{j}{k}{l}"
9
    # if name[3] != "p":
10
    #     continue
11

12
    bVar1 = ord(name[0])
13
    bVar2 = ord(name[1])
14

15
    # 前半部分のチェック（input_serial の 0〜4）
16
    tmp_cmp = ((bVar2 >> 2 & 1) + 1) + ((bVar1 & 1) + 5)
17
    if str(tmp_cmp) != input_serial[0]:
18
        continue
19

20
    tmp_cmp = ((bVar2 >> 3 & 1) + 1) + ((bVar1 >> 3 & 1) + 5)
21
    if str(tmp_cmp) != input_serial[1]:
22
        continue
23

24
    tmp_cmp = ((bVar2 >> 4 & 1) + 1) + ((bVar1 >> 1 & 1) + 5)
25
    if str(tmp_cmp) != input_serial[2]:
26
        continue
27

28
    tmp_cmp = ((bVar2 & 1) + 1) + ((bVar1 >> 2 & 1) + 5)
29
    if str(tmp_cmp) != input_serial[3]:
30
        continue
31

32
    tmp_cmp = ((bVar2 >> 1 & 1) + 1) + ((bVar1 >> 4 & 1) + 5)
33
    if str(tmp_cmp) != input_serial[4]:
34
        continue
35

36
    # ハイフンを飛ばして後半（input_serial の 6〜10）
37
    bVar1 = ord(name[2])
38
    bVar2 = ord(name[3])
39

40
    tmp_cmp = ((bVar2 >> 2 & 1) + 1) + ((bVar1 & 1) + 5)
41
    if str(tmp_cmp) != input_serial[6]:
42
        continue
43

44
    tmp_cmp = ((bVar2 >> 3 & 1) + 1) + ((bVar1 >> 3 & 1) + 5)
45
    if str(tmp_cmp) != input_serial[7]:
46
        continue
47

48
    tmp_cmp = ((bVar2 >> 4 & 1) + 1) + ((bVar1 >> 1 & 1) + 5)
49
    if str(tmp_cmp) != input_serial[8]:
50
        continue
51

52
    tmp_cmp = ((bVar2 & 1) + 1) + ((bVar1 >> 2 & 1) + 5)
53
    if str(tmp_cmp) != input_serial[9]:
54
        continue
55

56
    tmp_cmp = ((bVar2 >> 1 & 1) + 1) + ((bVar1 >> 4 & 1) + 5)
57
    if str(tmp_cmp) != input_serial[10]:
58
        continue
59

60
    print(name)

実行結果は下記になりました。

1
$ python solver.py
2
buay
3
bubm
4
buci
5
buex
6
bufl
7
bugh
8
buhu
9
buiq
10
buje
11
buka
12
bult
13
bump
14
bund
15
cqay
16
cqbm
17
cqci
18
cqex
19
cqfl
20
cqgh
21
cqhu
22
cqiq
23
cqje
24
cqka
25
cqlt
26
cqmp
27
cqnd
28
ftay
29
ftbm
30
ftci
31
ftex
32
ftfl
33
ftgh
34
fthu
35
ftiq
36
ftje
37
ftka
38
ftlt
39
ftmp
40
ftnd
41
gpay
42
gpbm
43
gpci
44
gpex
45
gpfl
46
gpgh
47
gphu
48
gpiq
49
gpje
50
gpka
51
gplt
52
gpmp
53
gpnd

試しに、buayを入力したところ、Correct!が表示されたため推測は当たっていました。

ただし、出力された答えの中でも、gpmpと同様にWrongと表示されてしまう文字列もありました。

終わりに#

今回の問題を解いて、判定処理の特定や判定処理を読む力が鍛えられたかと思います。

また、プライベートの時間がそこまで取れない中、4日くらいかけて解きました。1回1回どこまでわかったか、次はなにを調査するかなどをメモしながら進めることができました。

コードリーディングのような集中力が必要な作業が、時間がない中でもできることがわかり、良い収穫となりました。

やる気が出たら、gpmpはなぜWrongとなってしまうのか、調査したいと思います。