bctf

上周四、五给BCTF 2016出了两道题。

题目

BCTF 2015中的题目，名为CamlMaze。向解出此题的217、PPP、Gallopsled、Dragon Sector表达祝贺。

描述：

Caml has found a foggy maze. Please direct him to find the gold.

The source code of Caml Featherweight may be helpful.

本题是字节码逆向题，供选手下载的user.tgz包含camlfwrun(字节码解释器)、bytecode(字节码，是一段客户端程序，用我的Caml Featherweight编译生成)、camlfwod(用ocamlrun执行的字节码查看器，名字来源于objdump)。和Caml Featherweight相比，camlfwrun经过了少许修改，在解释前会向服务端创建socket，是为了适配交互式逆向/pwn类CTF题目，静态编译，已被strip -s。

名字中的Caml源于Categorical Abstract Machine Language，一个ML语言的方言。