TSG CTF-2021 PWN
题目作者: 未知
一 血: admin889
一血奖励: 0金币
解 决: 1
提 示:
描 述: I heard "value restriction" is important for the soundness of the OCaml type system. Well, you may think this chall is "unsound hole challenge of the strage (non-famous?) language"? This is "partially" no. First, OCaml is famous! :) Joking aside (not joking!), you may notice that this challenge 1. complies to an OCaml VM binary (not native binary!) using `ocamlc` (not `ocamlopt`) 2. executes the VM binary using `ocamlrun` I love breaking analyses proven to be safe.
附 件: 下载