pyc逆コンパイルの例

pyc タイプの逆コンパイルでは、ファイルヘッダーを変更する必要があることがあります。出題者はファイルのヘッダー部分を変更し、逆コンパイルしたコードを分析してソースコードを作成し、フラグを取得する必要があります。

ファイルヘッダー#

python ファイルヘッダーのフォーマット：

MAGIC_1_0 = 0x00999902,
MAGIC_1_1 = 0x00999903,
MAGIC_1_3 = 0x0A0D2E89,
MAGIC_1_4 = 0x0A0D1704,
MAGIC_1_5 = 0x0A0D4E99,
MAGIC_1_6 = 0x0A0DC4FC,

MAGIC_2_0 = 0x0A0DC687,
MAGIC_2_1 = 0x0A0DEB2A,
MAGIC_2_2 = 0x0A0DED2D,
MAGIC_2_3 = 0x0A0DF23B,
MAGIC_2_4 = 0x0A0DF26D,
MAGIC_2_5 = 0x0A0DF2B3,
MAGIC_2_6 = 0x0A0DF2D1,
MAGIC_2_7 = 0x0A0DF303,

MAGIC_3_0 = 0x0A0D0C3A,
MAGIC_3_1 = 0x0A0D0C4E,
MAGIC_3_2 = 0x0A0D0C6C,
MAGIC_3_3 = 0x0A0D0C9E,
MAGIC_3_4 = 0x0A0D0CEE,
MAGIC_3_5 = 0x0A0D0D16,
MAGIC_3_5_3 = 0x0A0D0D17,
MAGIC_3_6 = 0x0A0D0D33,
MAGIC_3_7 = 0x0A0D0D42,
MAGIC_3_8 = 0x0A0D0D55,
MAGIC_3_9 = 0x0A0D0D61,

pyc ファイルを生成する方法

python コードは以下の通りです（ファイル名：pyc.py）：

name = input("あなたの名前は何ですか？ ")
print(f"こんにちは、{name}!")

以下のコマンドで生成します：

python3 -m py_compile pyc.py

3.9 のファイルヘッダーは以下の通りで、つまり0x0A0D0D61です。

ctf の問題で pyc の逆向きが関与する場合、大部分は pyc ファイルを逆コンパイルして python コードに戻し、分析を行う必要があります。

ツール#

pyc 逆コンパイルツールにはオンラインとオフラインの 2 種類があります。

1、オンライン pyc、pyo 逆コンパイル python 逆コンパイル

http://tools.bugscaner.com/decompyle/

https://tool.lu/pyc/

2、オフラインツールにはuncompyle6とEasy Python Decompilerがあります。

uncompyle6は、コンパイルされた Python プログラム（つまり.pyc ファイル）を元のソースコードに逆コンパイルするための Python ライブラリとツールで、1.0-3.8 の python バージョンをサポートしています。

プロジェクトアドレス：GitHub - rocky/python-uncompyle6: A cross-version Python bytecode decompiler

Easy Python Decompilerも Python バイトコード逆コンパイラで、pyc と pyo ファイルを逆コンパイルでき、1.0-3.4 の python バージョンをサポートしています。

ダウンロードアドレス：Easy Python Decompiler download | SourceForge.net

インスタンス#

ダウンロードした pyc ファイル名から、ファイル名からおおよそ python3.7 バージョンであることが推測できます。

16 進エディタで開くと、明らかにファイルヘッダーが変更されており、正常な python3.7 の pyc ファイルと比較します。

正常な python 3.7 pyc のファイルヘッダー内容は以下の図の通りです：

変更後の内容は以下の通りです：

コードを復元する

uncompyle6 game.cpython-37.pyc > main.py

復元された python コードは以下の通りです：

# uncompyle6 version 3.9.0
# Python bytecode version base 3.7.0 (3394)
# Decompiled from: Python 3.9.12 (main, Mar 26 2022, 15:44:31) 
# [Clang 13.1.6 (clang-1316.0.21.2)]
# Embedded file name: game.py
# Compiled at: 2020-02-02 19:15:47
# Size of source mod 2**32: 12 bytes
"""スネークゲーム"""
import random, sys, time, pygame
from pygame.locals import *
from collections import deque
SCREEN_WIDTH = 600
SCREEN_HEIGHT = 480
SIZE = 20
LINE_WIDTH = 1
SCOPE_X = (
 0, SCREEN_WIDTH // SIZE - 1)
SCOPE_Y = (2, SCREEN_HEIGHT // SIZE - 1)
FOOD_STYLE_LIST = [
 (10, (255, 100, 100)), (20, (100, 255, 100)), (30, (100, 100, 255))]
LIGHT = (100, 100, 100)
DARK = (200, 200, 200)
BLACK = (0, 0, 0)
RED = (200, 30, 30)
BGCOLOR = (40, 40, 60)

def print_text(screen, font, x, y, text, fcolor=(255, 255, 255)):
    imgText = font.render(text, True, fcolor)
    screen.blit(imgText, (x, y))


def init_snake():
    snake = deque()
    snake.append((2, SCOPE_Y[0]))
    snake.append((1, SCOPE_Y[0]))
    snake.append((0, SCOPE_Y[0]))
    return snake


def create_food(snake):
    food_x = random.randint(SCOPE_X[0], SCOPE_X[1])
    food_y = random.randint(SCOPE_Y[0], SCOPE_Y[1])
    while (food_x, food_y) in snake:
        food_x = random.randint(SCOPE_X[0], SCOPE_X[1])
        food_y = random.randint(SCOPE_Y[0], SCOPE_Y[1])

    return (
     food_x, food_y)


def get_food_style():
    return FOOD_STYLE_LIST[random.randint(0, 2)]


def main():
    pygame.init()
    screen = pygame.display.set_mode((SCREEN_WIDTH, SCREEN_HEIGHT))
    pygame.display.set_caption('スネークゲーム')
    font1 = pygame.font.SysFont('SimHei', 24)
    font2 = pygame.font.Font(None, 72)
    fwidth, fheight = font2.size('ゲームオーバー')
    b = True
    snake = init_snake()
    food = create_food(snake)
    food_style = get_food_style()
    pos = (1, 0)
    game_over = True
    start = False
    score = 0
    orispeed = 0.5
    speed = orispeed
    last_move_time = None
    pause = False
    while 1:
        for event in pygame.event.get():
            if event.type == QUIT:
                sys.exit()

        screen.fill(BGCOLOR)
        for x in range(SIZE, SCREEN_WIDTH, SIZE):
            pygame.draw.line(screen, BLACK, (x, SCOPE_Y[0] * SIZE), (x, SCREEN_HEIGHT), LINE_WIDTH)

        for y in range(SCOPE_Y[0] * SIZE, SCREEN_HEIGHT, SIZE):
            pygame.draw.line(screen, BLACK, (0, y), (SCREEN_WIDTH, y), LINE_WIDTH)

        curTime = game_over or time.time()
        if curTime - last_move_time > speed and not pause:
            b = True
            last_move_time = curTime
            next_s = (snake[0][0] + pos[0], snake[0][1] + pos[1])
            if next_s == food:
                snake.appendleft(next_s)
                score += food_style[0]
                speed = orispeed - 0.03 * (score // 100)
                food = create_food(snake)
                food_style = get_food_style()
            else:
                if SCOPE_X[0] <= next_s[0] <= SCOPE_X[1]:
                    if SCOPE_Y[0] <= next_s[1] <= SCOPE_Y[1]:
                        if next_s not in snake:
                            snake.appendleft(next_s)
                            snake.pop()
                        else:
                            game_over = True
                    if not game_over:
                        pygame.draw.rect(screen, food_style[1], (food[0] * SIZE, food[1] * SIZE, SIZE, SIZE), 0)
                    for s in snake:
                        pygame.draw.rect(screen, DARK, (s[0] * SIZE + LINE_WIDTH, s[1] * SIZE + LINE_WIDTH,
                         SIZE - LINE_WIDTH * 2, SIZE - LINE_WIDTH * 2), 0)

                    print_text(screen, font1, 30, 7, f"速度: {score // 100}")
                    print_text(screen, font1, 450, 7, f"得点: {score}")
                    if score > 1000:
                        flag = [
                         30, 196, 
                         52, 252, 49, 220, 7, 243, 
                         3, 241, 24, 224, 40, 230, 
                         25, 251, 28, 233, 40, 237, 
                         4, 225, 4, 215, 40, 231, 
                         22, 237, 14, 251, 10, 169]
                        for i in range(0, len(flag), 2):
                            flag[i], flag[i + 1] = flag[i + 1] ^ 136, flag[i] ^ 119

                        print_text(screen, font2, (SCREEN_WIDTH - fwidth) // 2, (SCREEN_HEIGHT - fheight) // 2, bytes(flag).decode(), RED)
                        pygame.display.update()
                    if game_over:
                        if start:
                            print_text(screen, font2, (SCREEN_WIDTH - fwidth) // 2, (SCREEN_HEIGHT - fheight) // 2, 'ゲームオーバー', RED)
                pygame.display.update()


if __name__ == '__main__':
    main()
# okay decompiling game.cpython-37.pyc

python ファイルを分析した結果、これはゲームで、遊んで得点が 1000 点を超えるとフラグを取得できることがわかります。重要なコードは以下の通りです：

if score > 1000:
	flag = [
	 30, 196, 
	 52, 252, 49, 220, 7, 243, 
	 3, 241, 24, 224, 40, 230, 
	 25, 251, 28, 233, 40, 237, 
	 4, 225, 4, 215, 40, 231, 
	 22, 237, 14, 251, 10, 169]
	for i in range(0, len(flag), 2):
		flag[i], flag[i + 1] = flag[i + 1] ^ 136, flag[i] ^ 119

フラグを取得するためのコードを作成します。

flag = [30, 196, 52, 252, 49, 220, 7, 243, 3, 241, 24, 224, 40, 230, 25, 251, 28, 233, 40, 237, 4, 225, 4, 215, 40, 231, 22, 237, 14, 251, 10, 169]

for i in range(0, len(flag), 2):
    flag[i], flag[i + 1] = flag[i + 1] ^ 136, flag[i] ^ 119
result = ""

for i in range(0, len(flag), 2):
    char = chr(flag[i]) + chr(flag[i + 1])
    result += char

print(result) //フラグを取得 LitCTF{python_snake_is_so_easy!}

画像は以下から取得しました：https://wallhaven.cc/w/1pdg63